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 authors papers by Sunita Vikrant Dhavale are co-authored with Top journals papers by Srinivasan Chandrasekharan are published in Top countries impacted by papers by Kaul Top authors papers by A Jouannelle are co-authored with Top fields papers by Chao Jia are about Top journals papers by Joana Rita Chora are published in Top fields papers by Sadiq Abdulwahed Ahmed Ismail are about Top journals papers by Seon Kim are published in