by Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S., Purser, David
Published in Logical methods in computer science (01.01.2022)

by Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar
Published in Logical methods in computer science (01.01.2019)

by Chistikov, Dmitry, Haase, Christoph, Halfon, Simon
Published in Theoretical computer science (29.07.2018)

by Chistikov, Dmitry, Majumdar, Rupak, Schepper, Philipp
Published in Proceedings of ACM on programming languages (01.01.2022)

by Chistikov, Dmitry, Dimitrova, Rayna, Majumdar, Rupak
Published in Acta informatica (01.12.2017)

by Chistikov, Dmitry, Goulko, Olga, Kent, Adrian, Paterson, Mike
Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (01.06.2020)

by Chistikov, Dmitry, Goulko, Olga, Kent, Adrian, Paterson, Mike
Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (01.06.2020)

by Chistikov, Dmitry, Dimitrova, Rayna, Majumdar, Rupak
Published in Tools and Algorithms for the Construction and Analysis of Systems (2015)

by Chistikov, Dmitry, Fedorova, Valentina, Voronenko, Andrey
Published in Fundamenta informaticae (2014)

by Atig, Mohamed Faouzi, Chistikov, Dmitry, Hofman, Piotr, Kumar, K. Narayan, Saivasan, Prakash, Zetzsche, Georg
Published in Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016) (05.07.2016)

by Chistikov, Dmitry, Murawski, Andrzej S., Purser, David
Published in Automated Technology for Verification and Analysis (2018)

by Chistikov, Dmitry, Majumdar, Rupak
Published in Automata, Languages, and Programming (2014)

by Chistikov, Dmitry, Mansutti, Alessio, Starchak, Mikhail R
Published in arXiv.org (09.07.2024)

by Chistikov, Dmitry, Martyugin, Pavel, Shirmohammadi, Mahsa
Published in Foundations of Software Science and Computation Structures (2016)

by Chistikov, Dmitry, Englert, Matthias, Lazic, Ranko
Year of Publication 10.06.2023

by Benedikt, Michael, Chistikov, Dmitry, Mansutti, Alessio
Year of Publication 04.05.2023

by Chistikov, Dmitry, Majumdar, Rupak, Niksic, Filip
Published in Computer Aided Verification (2016)

by Atig, Mohamed Faouzi, Chistikov, Dmitry, Hofman, Piotr, Kumar, K Narayan, Saivasan, Prakash, Zetzsche, Georg
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)

by Chistikov, Dmitry, Leroux, Jérôme, Sinclair-Banks, Henry, Waldburger, Nicolas
Year of Publication 21.08.2024

by Chistikov, Dmitry, Majumdar, Rupak
Published in Implementation and Application of Automata (2013)