Tomǎš Brázdil
About
Tomǎš Brázdil has authored 37 papers that have received a total of 247 indexed citations.
This includes 25 papers in Computational Theory and Mathematics, 21 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (25 papers), Logic, programming, and type systems (12 papers) and Petri Nets in System Modeling (7 papers). Tomǎš Brázdil is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, programming, and type systems (12 papers) and Petri Nets in System Modeling (7 papers) and collaborates with scholars based in Czechia, United Kingdom and Germany. Tomǎš Brázdil's co-authors include Antonı́n Kučera, Vojtěch Forejt, Václav Brožek, Krishnendu Chatterjee and Kousha Etessami and has published in prestigious journals such as Nature Communications, Journal of the ACM and Talanta
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Mohsen Mehrara are about Top authors papers by Catherine Driscoll are co-authored with Top journals papers by Mochamad Soelton are published in Top fields papers by Gábor Halmai are about Top countries impacted by papers by Lucia Rapanotti Top journals papers by Carroll L. Riley are published in Top fields papers by C. H. S. Spaull are about Top authors papers by C. Kavitha are co-authored with