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
In: Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2016. Vol. 2 SciTePress, Setúbal, pp. 102-109.
Analysis of input delay systems using integral quadratic constraint