Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Dmitry
    Last name: Chistikov
    DBLP: 16/8319
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 27  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Rationality of Nonnegative Matrix Factorization.
    Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19 2017 (0) 2017
    Conference paper
    Dmitry Chistikov, Szabolcs Iván, Anna Lubiw, Jeffrey Shallit.
    Fractional Coverings, Greedy Coverings, and Rectifier Networks.
    34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany 2017 (0) 2017
    Conference paper
    Dmitry Chistikov, Christoph Haase.
    On the Complexity of Quantified Integer Programming.
    44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland 2017 (0) 2017
    Conference paper
    Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche.
    Complexity of regular abstractions of one-counter languages.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Dmitry Chistikov, Rupak Majumdar, Filip Niksic.
    Hitting Families of Schedules for Asynchronous Programs.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar.
    Shortest Paths in One-Counter Systems.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi.
    Synchronizing Automata over Nested Words.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    Nonnegative Matrix Factorization Requires Irrationality.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Rupak Majumdar, Filip Niksic.
    Hitting Families of Schedules for Asynchronous Programs.
    Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Christoph Haase.
    The Taming of the Semi-Linear Set.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche.
    The complexity of regular abstractions of one-counter languages.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar.
    Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar.
    Shortest paths in one-counter systems.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Dmitry Chistikov, Christoph Haase, Simon Halfon.
    Context-Free Commutative Grammars with Integer Counters and Resets.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Dmitry Chistikov, Rupak Majumdar.
    Unary Pushdown Automata and Straight-Line Programs.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Dmitry Chistikov, Valentina Fedorova, Andrei A. Voronenko.
    Certificates of Non-Membership for Classes of Read-Once Functions.
    Fundam. Inform. 2014, Volume 132 (0) 2014
    Conference paper
    Dmitry Chistikov, Rupak Majumdar.
    Unary Pushdown Automata and Straight-Line Programs.
    Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II 2014 (0) 2014
    Journal article
    Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar.
    Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Dmitry Chistikov.
    Notes on Counting with Finite Machines.
    34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India 2014 (0) 2014
    Conference paper
    Dmitry Chistikov, Rupak Majumdar.
    A Uniformization Theorem for Nested Word to Word Transductions.
    Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Dmitry Chistikov.
    Checking Tests for Read-Once Functions over Arbitrary Bases.
    Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Dmitry Chistikov.
    Checking Tests for Read-Once Functions over Arbitrary Bases
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Dmitry Chistikov.
    Testing Monotone Read-Once Functions.
    Combinatorial Algorithms - 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers 2011 (0) 2011
    Show item 1 to 25 of 27  

    Your query returned 27 matches in the database.