Jasen Markovski
About
Jasen Markovski has authored 21 papers that have received a total of 108 indexed citations.
This includes 20 papers in Computational Theory and Mathematics, 5 papers in Management Information Systems and 5 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (19 papers), Petri Nets in System Modeling (19 papers) and Real-Time Systems Scheduling (5 papers). Jasen Markovski is often cited by papers focused on Formal Methods in Verification (19 papers), Petri Nets in System Modeling (19 papers) and Real-Time Systems Scheduling (5 papers) and collaborates with scholars based in The Netherlands, Slovakia and China. Jasen Markovski's co-authors include E.P. de Vink, J. C. M. Baeten, J.E. Rooda, Nikola Trčka and D.A. van Beek and has published in prestigious journals such as Performance Evaluation, Science of Computer Programming and Discrete Event Dynamic Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Anisur Rahaman Molla are about Top fields papers by Lívia Barbosa are about Top countries impacted by papers by S. M. Sakerin Top journals papers by Sharon McDonough are published in Top fields papers by Pawel Mekarski are about Top countries impacted by papers by Silvia Crafà Top authors papers by Tanish Zaveri are co-authored with Top fields papers by G.Ya. Kurkin are about