Anton Pirogov

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 12

Top Topics

Quantifier Elimination

Sequenced Genomes

Top Venues

Publications

Anton Pirogov, Peter Pfaffelhuber, Angelika Börsch-Haubold, Bernhard Haubold
High-complexity regions in mammalian genomes are enriched for developmental genes. Bioinform. 37 (19) (2021)
Christof Löding, Anton Pirogov
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. FoSSaCS (2020)
Christof Löding, Anton Pirogov
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. CoRR (2020)
Christof Löding, Anton Pirogov
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp. ICALP (2019)
Normann Decker, Anton Pirogov
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. CoRR (2019)
Anton Pirogov, Peter Pfaffelhuber, Angelika Börsch-Haubold, Bernhard Haubold
High-complexity regions in mammalian genomes are enriched for developmental genes. Bioinform. 35 (11) (2019)
Christof Löding, Anton Pirogov
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp. CoRR (2019)
Christof Löding, Anton Pirogov
New Optimizations and Heuristics for Determinization of Büchi Automata. CoRR (2019)
Christof Löding, Anton Pirogov
New Optimizations and Heuristics for Determinization of Büchi Automata. ATVA (2019)
Normann Decker, Anton Pirogov
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. VMCAI (2019)
Christof Löding, Anton Pirogov
On finitely ambiguous Büchi automata. CoRR (2018)
Christof Löding, Anton Pirogov
On Finitely Ambiguous Büchi Automata. DLT (2018)