×
Edit Profile (opens in new tab)

Pirogov, Anton

Co-Author Distance
Author ID: pirogov.anton Recent zbMATH articles by "Pirogov, Anton"
Published as: Pirogov, Anton
Documents Indexed: 6 Publications since 2014, including 1 Additional arXiv Preprint
Co-Authors: 2 Co-Authors with 5 Joint Publications
59 Co-Co-Authors

Co-Authors

0 single-authored
4 Löding, Christof
1 Decker, Normann
1 Sadowski, G.

Serials

Fields

5 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 16 times in 15 Documents Cited by ▼ Year ▼
New optimizations and heuristics for determinization of Büchi automata. Zbl 1437.68101
Löding, Christof; Pirogov, Anton
7
2019
On finitely ambiguous Büchi automata. Zbl 1517.68206
Löding, Christof; Pirogov, Anton
5
2018
Determinization of Büchi automata: unifying the approaches of Safra and Muller-Schupp. Zbl 07561613
Löding, Christof; Pirogov, Anton
4
2019
New optimizations and heuristics for determinization of Büchi automata. Zbl 1437.68101
Löding, Christof; Pirogov, Anton
7
2019
Determinization of Büchi automata: unifying the approaches of Safra and Muller-Schupp. Zbl 07561613
Löding, Christof; Pirogov, Anton
4
2019
On finitely ambiguous Büchi automata. Zbl 1517.68206
Löding, Christof; Pirogov, Anton
5
2018
all cited Publications top 5 cited Publications
all top 5

Cited by 40 Authors

5 Li, Yong
4 Vardi, Moshe Ya’akov
3 Havlena, Vojtěch
3 Lengál, Ondřej
3 Šmahlíková, Barbora
3 Turrini, Andrea
3 Zhang, Lijun
2 Feng, Weizhi
2 Löding, Christof
1 Baier, Christel
1 Casares, Antonio
1 Colange, Maximilien
1 Colcombet, Thomas
1 Dekker, Maurice
1 Dubois, Jérôme
1 Duret-Lutz, Alexandre
1 Fijalkow, Nathanaël
1 Fogarty, Seth J.
1 Gbaguidi Aisse, Alexandre
1 Gillard, Clément
1 Jantsch, Simon
1 John, Tobias
1 Kiefer, Stefan
1 Kloibhofer, Johannes
1 Klüppelholz, Sascha
1 Lauko, Henrich
1 Lehtinen, Karoliina
1 Marti, Johannes
1 Martin, Antoine
1 Medioni, Thomas
1 Pirogov, Anton
1 Rabinovich, Alexander
1 Renault, Etienne
1 Renkin, Florian
1 Schlehuber-Caissier, Philipp
1 Stachon, Max Philip
1 Tiferet, Doron
1 Tsay, Yih-Kuen
1 Venema, Yde
1 Widdershoven, Cas

Cited in 3 Serials

2 Information and Computation
1 Fundamenta Informaticae
1 TheoretiCS

Cited in 2 Fields

15 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year