Tomáš Masopust

62 papers and 372 indexed citations i.

About

Tomáš Masopust has authored 62 papers that have received a total of 372 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

side by side view

Countries citing papers authored by Tomáš Masopust

Since Specialization
Citations
Rankless by CCL
2025