×

zbMATH — the first resource for mathematics

Chistikov, Dmitry V.

Compute Distance To:
Author ID: chistikov.dmitry-v Recent zbMATH articles by "Chistikov, Dmitry V."
Published as: Chistikov, D. V.; Chistikov, Dmitry; Chistikov, Dmitry V.
External Links: ORCID
Documents Indexed: 29 Publications since 2009

Publications by Year

Citations contained in zbMATH

18 Publications have been cited 39 times in 29 Documents Cited by Year
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
4
2017
Learning read-once functions individually. Zbl 1221.94104
Voronenko, A. A.; Chistikov, D. V.
4
2009
The taming of the semi-linear set. Zbl 1388.68190
Chistikov, Dmitry; Haase, Christoph
3
2016
Notes on counting with finite machines. Zbl 1360.68548
Chistikov, Dmitry
3
2014
Certificates of non-membership for classes of read-once functions. Zbl 1318.68099
Chistikov, Dmitry; Fedorova, Valentina; Voronenko, Andrey
3
2014
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
2014
Iterated Boolean functions in the elementary basis. Zbl 1250.94075
Voronenko, A. A.; Fedorova, V. S.; Chistikov, D. V.
3
2011
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
Shortest paths in one-counter systems. Zbl 06591836
Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael
2
2016
A uniformization theorem for nested word to word transductions. Zbl 1298.68128
Chistikov, Dmitry; Majumdar, Rupak
2
2013
Checking tests for read-once functions over arbitrary bases. Zbl 1360.06006
Chistikov, Dmitry V.
2
2012
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2016
Synchronizing automata over nested words. Zbl 06591824
Chistikov, Dmitry; Martyugin, Pavel; Shirmohammadi, Mahsa
1
2016
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
1
2015
Learning read once functions using subcube parity queries. Zbl 1260.94098
Voronenko, A. A.; Chistikov, D. V.
1
2011
Some test length bounds for nonrepeating functions in the \(\{ \& , \vee \}\) basis. Zbl 1202.94233
Bubnov, S. E.; Voronenko, A. A.; Chistikov, D. V.
1
2010
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
4
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
The taming of the semi-linear set. Zbl 1388.68190
Chistikov, Dmitry; Haase, Christoph
3
2016
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
Shortest paths in one-counter systems. Zbl 06591836
Chistikov, Dmitry; Czerwiński, Wojciech; Hofman, Piotr; Pilipczuk, Michał; Wehar, Michael
2
2016
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2016
Synchronizing automata over nested words. Zbl 06591824
Chistikov, Dmitry; Martyugin, Pavel; Shirmohammadi, Mahsa
1
2016
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
1
2015
Notes on counting with finite machines. Zbl 1360.68548
Chistikov, Dmitry
3
2014
Certificates of non-membership for classes of read-once functions. Zbl 1318.68099
Chistikov, Dmitry; Fedorova, Valentina; Voronenko, Andrey
3
2014
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
2014
A uniformization theorem for nested word to word transductions. Zbl 1298.68128
Chistikov, Dmitry; Majumdar, Rupak
2
2013
Checking tests for read-once functions over arbitrary bases. Zbl 1360.06006
Chistikov, Dmitry V.
2
2012
Iterated Boolean functions in the elementary basis. Zbl 1250.94075
Voronenko, A. A.; Fedorova, V. S.; Chistikov, D. V.
3
2011
Learning read once functions using subcube parity queries. Zbl 1260.94098
Voronenko, A. A.; Chistikov, D. V.
1
2011
Some test length bounds for nonrepeating functions in the \(\{ \& , \vee \}\) basis. Zbl 1202.94233
Bubnov, S. E.; Voronenko, A. A.; Chistikov, D. V.
1
2010
Learning read-once functions individually. Zbl 1221.94104
Voronenko, A. A.; Chistikov, D. V.
4
2009

Citations by Year