( en | de | ru )

 

Disambiguation of "Pirogov, Anton"

Author of the publication

copydeleteadd this publication to your clipboard
On finitely ambiguous Büchi automata.

, and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Antoni

Hans Hubert Anton

Ernst Antony

Bertold Antonik

Mathilde Antony

 

Other publications of authors with the same name

Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp., and . ICALP, volume 132 of LIPIcs, page 120:1-120:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)On Finitely Ambiguous Büchi Automata., and . DLT, volume 11088 of Lecture Notes in Computer Science, page 503-515. Springer, (2018)Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata., and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 522-541. Springer, (2020)High-complexity regions in mammalian genomes are enriched for developmental genes., , , and . Bioinform., 35 (11): 1813-1819 (2019)High-complexity regions in mammalian genomes are enriched for developmental genes., , , and . Bioinform., 37 (19): 3388 (2021)Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic., and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 513-534. Springer, (2019)Determinization and ambiguity of classical and probabilistic Büchi automata.. RWTH Aachen University, Germany, (2021)New Optimizations and Heuristics for Determinization of Büchi Automata., and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 317-333. Springer, (2019)