Anton Pirogov

According to our database, Anton Pirogov authored at least 7 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Determinization and ambiguity of classical and probabilistic Büchi automata.

Anton Pirogov

PhD thesis, 2021

High-complexity regions in mammalian genomes are enriched for developmental genes.

Anton Pirogov, Peter Pfaffelhuber, Angelika Börsch-Haubold, Bernhard Haubold

Bioinform., 2021

2020

Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata.

Christof Löding, Anton Pirogov

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.

Normann Decker, Anton Pirogov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.

Christof Löding, Anton Pirogov

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

New Optimizations and Heuristics for Determinization of Büchi Automata.

Christof Löding, Anton Pirogov

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

On Finitely Ambiguous Büchi Automata.

Christof Löding, Anton Pirogov

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018