Anton Pirogov

13 papers A* 1B 3C 1Journal 7
YearRankTypeTitle / Venue / Authors
2021 — —
Determinization and ambiguity of classical and probabilistic Büchi automata.
Anton Pirogov
2021 J jnl
High-complexity regions in mammalian genomes are enriched for developmental genes.
Bioinform.
Anton Pirogov, Peter Pfaffelhuber, Angelika Börsch-Haubold, Bernhard Haubold
2020 B conf
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata.
FoSSaCS
Christof Löding, Anton Pirogov
2020 J jnl
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata.
CoRR
Christof Löding, Anton Pirogov
2019 A* conf
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.
ICALP
Christof Löding, Anton Pirogov
2019 J jnl
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.
CoRR
Christof Löding, Anton Pirogov
2019 B conf
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.
VMCAI
Normann Decker, Anton Pirogov
2019 J jnl
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.
CoRR
Normann Decker, Anton Pirogov
2019 J jnl
High-complexity regions in mammalian genomes are enriched for developmental genes.
Bioinform.
Anton Pirogov, Peter Pfaffelhuber, Angelika Börsch-Haubold, Bernhard Haubold
2019 B conf
New Optimizations and Heuristics for Determinization of Büchi Automata.
ATVA
Christof Löding, Anton Pirogov
2019 J jnl
New Optimizations and Heuristics for Determinization of Büchi Automata.
CoRR
Christof Löding, Anton Pirogov
2018 C conf
On Finitely Ambiguous Büchi Automata.
DLT
Christof Löding, Anton Pirogov
2018 J jnl
On finitely ambiguous Büchi automata.
CoRR
Christof Löding, Anton Pirogov