Nikola Trčka
About
Nikola Trčka has authored 14 papers that have received a total of 161 indexed citations.
This includes 10 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 5 papers in Management Information Systems. The topics of these papers are Formal Methods in Verification (9 papers), Business Process Modeling and Analysis (5 papers) and Logic, programming, and type systems (4 papers). Nikola Trčka is often cited by papers focused on Formal Methods in Verification (9 papers), Business Process Modeling and Analysis (5 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in The Netherlands, Australia and Spain. Nikola Trčka's co-authors include Wil M. P. van der Aalst, Mykola Pechenizkiy, Bas Luttik, Rob van Glabbeek and Sonja Georgievska and has published in prestigious journals such as Theoretical Computer Science, Information Systems and Performance Evaluation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Bob Sutcliffe Top fields papers by Lionel Uwer are about Top fields papers by Zoltán Tar are about Top fields papers by David Riker are about Top countries impacted by papers by Tobias Meindl Top countries impacted by papers by John Eidinger Top journals papers by Joseph O’Mahoney are published in Top fields papers by Anke Boone are about