Antonı́n Kučera
About
Antonı́n Kučera has authored 64 papers that have received a total of 568 indexed citations.
This includes 47 papers in Computational Theory and Mathematics, 29 papers in Artificial Intelligence and 11 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (46 papers), Petri Nets in System Modeling (19 papers) and Logic, programming, and type systems (18 papers). Antonı́n Kučera is often cited by papers focused on Formal Methods in Verification (46 papers), Petri Nets in System Modeling (19 papers) and Logic, programming, and type systems (18 papers) and collaborates with scholars based in Czechia, United Kingdom and Germany. Antonı́n Kučera's co-authors include Tomǎš Brázdil, Vojtěch Forejt, Václav Brožek, Richard Mayr and Krishnendu Chatterjee and has published in prestigious journals such as Journal of the ACM, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Shannon R. McCurdy Top journals papers by Il‐Chul Moon are published in Top countries impacted by papers by Yifei Zhu Top fields papers by Zhanwen Yang are about Top journals papers by Nicolas Falvo are published in Top countries impacted by papers by Nihal Olgaç Dündar Top countries impacted by papers by Sultan Ayaz‐Alkaya Top journals papers by Piotr Jaśkowski are published in