Vojtěch Řehák
About
Vojtěch Řehák has authored 20 papers that have received a total of 65 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 7 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (13 papers), Petri Nets in System Modeling (7 papers) and Logic, programming, and type systems (4 papers). Vojtěch Řehák is often cited by papers focused on Formal Methods in Verification (13 papers), Petri Nets in System Modeling (7 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Czechia, Germany and India. Vojtěch Řehák's co-authors include Jan Strejček, Tomǎš Brázdil, Jan Krčál, Antonı́n Kučera and Jan Křetínský and has published in prestigious journals such as Information and Computation, Acta Informatica and IEEE Transactions on Cognitive Communications and Networking.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Dmitry Mouromtsev Breakdown of academic impact, for papers by Hellmut Flashar Breakdown of academic impact, for papers by Stuart Carroll Breakdown of academic impact, for papers by C. Budtz-Jørgensen Breakdown of academic impact, for papers by Madeleine B. Stern Breakdown of academic impact, for papers by Olena Rubanenko Breakdown of academic impact, for papers by Roberto Ramos Barbosa Breakdown of academic impact, for papers by Konrad Schmid