Edit Profile Chistikov, Dmitry V. Compute Distance To: Compute Author ID: chistikov.dmitry-v Published as: Chistikov, D. V.; Chistikov, Dmitry; Chistikov, Dmitry V. External Links: ORCID Documents Indexed: 29 Publications since 2009 all top 5 Co-Authors 7 single-authored 5 Majumdar, Rupak 5 Voronenko, Andrey A. 4 Shirmohammadi, Mahsa 3 Haase, Christoph 3 Hofman, Piotr 3 Kiefer, Stefan 3 Marusic, Ines 3 Worrell, James B. 2 Czerwiński, Wojciech 2 Dimitrova, Rayna 2 Fedorova, Valentina Sergeevna 2 Pilipczuk, Michał 2 Wehar, Michael 1 Atig, Mohamed Faouzi 1 Bubnov, S. E. 1 Halfon, Simon 1 Iván, Szabolcs 1 Kumar, K. Narayan 1 Lubiw, Anna 1 Martyugin, Pavel V. 1 Niksic, Filip 1 Saivasan, Prakash 1 Shallit, Jeffrey O. 1 Vyalyi, Mikhail N. 1 Zetzsche, Georg all top 5 Serials 2 Moscow University Computational Mathematics and Cybernetics 2 Computational Mathematics and Modeling 1 Acta Informatica 1 Theoretical Computer Science 1 Discrete Mathematics and Applications 1 Russian Mathematics 1 Journal of Mathematical Sciences (New York) 1 Fundamenta Informaticae 1 Uchenye Zapiski Kazanskogo Gosudarstvennogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 1 Logical Methods in Computer Science 1 SIAM Journal on Applied Algebra and Geometry all top 5 Fields 19 Computer science (68-XX) 8 Information and communication theory, circuits (94-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 18 Publications have been cited 39 times in 29 Documents Cited by ▼ Year ▼ Nonnegative matrix factorization requires irrationality. Zbl 1369.15020Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 4 2017 Learning read-once functions individually. Zbl 1221.94104Voronenko, A. A.; Chistikov, D. V. 4 2009 The taming of the semi-linear set. Zbl 1388.68190Chistikov, Dmitry; Haase, Christoph 3 2016 Notes on counting with finite machines. Zbl 1360.68548Chistikov, Dmitry 3 2014 Certificates of non-membership for classes of read-once functions. Zbl 1318.68099Chistikov, Dmitry; Fedorova, Valentina; Voronenko, Andrey 3 2014 Unary pushdown automata and straight-line programs. Zbl 1409.68156Chistikov, Dmitry; Majumdar, Rupak 3 2014 Iterated Boolean functions in the elementary basis. Zbl 1250.94075Voronenko, A. A.; Fedorova, V. S.; Chistikov, D. V. 3 2011 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 2 2017 The complexity of regular abstractions of one-counter languages. Zbl 1401.68142Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg 2 2016 Shortest paths in one-counter systems. Zbl 06591836Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael 2 2016 A uniformization theorem for nested word to word transductions. Zbl 1298.68128Chistikov, Dmitry; Majumdar, Rupak 2 2013 Checking tests for read-once functions over arbitrary bases. Zbl 1360.06006Chistikov, Dmitry V. 2 2012 On rationality of nonnegative matrix factorization. Zbl 1418.15013Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2017 On restricted nonnegative matrix factorization. Zbl 1388.15010Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2016 Synchronizing automata over nested words. Zbl 06591824Chistikov, Dmitry; Martyugin, Pavel; Shirmohammadi, Mahsa 1 2016 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 1 2015 Learning read once functions using subcube parity queries. Zbl 1260.94098Voronenko, A. A.; Chistikov, D. V. 1 2011 Some test length bounds for nonrepeating functions in the \(\{ \& , \vee \}\) basis. Zbl 1202.94233Bubnov, S. E.; Voronenko, A. A.; Chistikov, D. V. 1 2010 Nonnegative matrix factorization requires irrationality. Zbl 1369.15020Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 4 2017 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 2 2017 On rationality of nonnegative matrix factorization. Zbl 1418.15013Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2017 The taming of the semi-linear set. Zbl 1388.68190Chistikov, Dmitry; Haase, Christoph 3 2016 The complexity of regular abstractions of one-counter languages. Zbl 1401.68142Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg 2 2016 Shortest paths in one-counter systems. Zbl 06591836Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael 2 2016 On restricted nonnegative matrix factorization. Zbl 1388.15010Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2016 Synchronizing automata over nested words. Zbl 06591824Chistikov, Dmitry; Martyugin, Pavel; Shirmohammadi, Mahsa 1 2016 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 1 2015 Notes on counting with finite machines. Zbl 1360.68548Chistikov, Dmitry 3 2014 Certificates of non-membership for classes of read-once functions. Zbl 1318.68099Chistikov, Dmitry; Fedorova, Valentina; Voronenko, Andrey 3 2014 Unary pushdown automata and straight-line programs. Zbl 1409.68156Chistikov, Dmitry; Majumdar, Rupak 3 2014 A uniformization theorem for nested word to word transductions. Zbl 1298.68128Chistikov, Dmitry; Majumdar, Rupak 2 2013 Checking tests for read-once functions over arbitrary bases. Zbl 1360.06006Chistikov, Dmitry V. 2 2012 Iterated Boolean functions in the elementary basis. Zbl 1250.94075Voronenko, A. A.; Fedorova, V. S.; Chistikov, D. V. 3 2011 Learning read once functions using subcube parity queries. Zbl 1260.94098Voronenko, A. A.; Chistikov, D. V. 1 2011 Some test length bounds for nonrepeating functions in the \(\{ \& , \vee \}\) basis. Zbl 1202.94233Bubnov, S. E.; Voronenko, A. A.; Chistikov, D. V. 1 2010 Learning read-once functions individually. Zbl 1221.94104Voronenko, A. A.; Chistikov, D. V. 4 2009 all cited Publications top 5 cited Publications all top 5 Cited by 55 Authors 9 Chistikov, Dmitry V. 3 Czerwiński, Wojciech 3 Voronenko, Andrei A. 2 Hofman, Piotr 2 Kaftan, D. V. 2 Kiefer, Stefan 2 Pilipczuk, Michał 2 Shirmohammadi, Mahsa 2 Voronenko, Andrey A. 2 Wehar, Michael 2 Worrell, James B. 1 Andrés Montoya, Juan 1 Atig, Mohamed Faouzi 1 Belle, Vaishak 1 Belovs, Aleksandrs 1 Bollig, Benedikt 1 Brualdi, Richard Anthony 1 Bubnov, S. E. 1 Chen, Haiming 1 Dahl, Geir 1 De Raedt, Luc 1 Doyen, Laurent 1 Filiot, Emmanuel 1 Forejt, Vojtěch 1 Ge, Cunjing 1 Haase, Christoph 1 Halfon, Simon 1 Jančar, Petr 1 Lasota, Sławomir 1 Lu, Ping 1 Ma, Feifei 1 Marusic, Ines 1 Massart, Thierry Jacques 1 Meyer, Roland 1 Morettin, Paolo 1 Muskalla, Sebastian 1 Nguyen, Danny 1 Okhotin, Alexander 1 Padrol, Arnau 1 Pak, Igor 1 Passerini, Andrea 1 Quaas, Karin 1 Raskin, Jean-François 1 Reynier, Pierre-Alain 1 Saivasan, Prakash 1 Salomaa, Kai T. 1 Sangnier, Arnaud 1 Sebastiani, Roberto 1 Servais, Frédéric 1 Shitov, Yaroslav Nikolaevich 1 Talbot, Jean-Marc 1 Wu, Zhilin 1 Yakaryılmaz, Abuzer 1 Zhang, Jian 1 Zhang, Peng all top 5 Cited in 14 Serials 5 Moscow University Computational Mathematics and Cybernetics 3 Journal of Computer and System Sciences 3 Computational Mathematics and Modeling 3 Logical Methods in Computer Science 2 Theoretical Computer Science 2 SIAM Journal on Discrete Mathematics 1 Artificial Intelligence 1 Information and Computation 1 International Journal of Approximate Reasoning 1 International Journal of Foundations of Computer Science 1 Linear Algebra and its Applications 1 SIAM Review 1 Journal of Mathematical Sciences (New York) 1 SIAM Journal on Applied Algebra and Geometry all top 5 Cited in 11 Fields 18 Computer science (68-XX) 8 Information and communication theory, circuits (94-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Convex and discrete geometry (52-XX) 1 Number theory (11-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year