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 10 of 27  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    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 0001.
    On Restricted Nonnegative Matrix Factorization.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    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
    Show item 1 to 10 of 27  

    Your query returned 27 matches in the database.