Vojtěch Řehák

20 papers and 65 indexed citations i.

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 ACM Transactions on Modeling and Computer Simulation