Tomáš Masopust

62 papers and 370 indexed citations i.

About

Tomáš Masopust has authored 62 papers that have received a total of 370 indexed citations. This includes 56 papers in Computational Theory and Mathematics, 27 papers in Artificial Intelligence and 22 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (35 papers), Formal Methods in Verification (30 papers) and semigroups and automata theory (22 papers). Tomáš Masopust is often cited by papers focused on Petri Nets in System Modeling (35 papers), Formal Methods in Verification (30 papers) and semigroups and automata theory (22 papers) and collaborates with scholars based in Czechia, The Netherlands and Germany. Tomáš Masopust's co-authors include Jan Komenda, Jan H. van Schuppen, Spyros Reveliotis, Alexander Meduna and Xiang Yin and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Systems & Control Letters

In The Last Decade

Rankless by CCL
2025