On Finitely Ambiguous Büchi Automata. - Christof Löding; Anton Pirogov (DLT, 2018)

New Optimizations and Heuristics for Determinization of Büchi Automata. - Christof Löding; Anton Pirogov (ATVA, 2019)

Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp. - Christof Löding; Anton Pirogov (ICALP, 2019)

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. - Normann Decker; Anton Pirogov (VMCAI, 2019)

Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. - Christof Löding; Anton Pirogov (FoSSaCS, 2020)

High-complexity regions in mammalian genomes are enriched for developmental genes. - Anton Pirogov; Peter Pfaffelhuber; Angelika Börsch-Haubold; Bernhard Haubold (Bioinform., 2021)

Determinization and ambiguity of classical and probabilistic Büchi automata. - Anton Pirogov (2021)