In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.
PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research
In: The Dynamics of Vehicles on Roads and Tracks. Proceedings of the 24th Symposium of the International Association for Vehicle System Dynamics (IAVSD 2015) CRC Press - Taylor and Francis Group, London, pp. 375-381.
Nonlinear analysis of actuator interventions using robust controlled invariant sets
In: Proceedings of the Sixth International Conference Digital Presentation and Preservation of Cultural and Scientific Heritage DiPP (6) Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Szófia, pp. 81-91. ISSN 1314-4006
New Tourist Service Based on Virtual Reality Glasses in the Town of Miskolc, Hungary