In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs
In: Képfeldolgozók és Alakfelismerők Társaságának 10. országos konferenciája, 2015.01.27-2015.01.30, Kecskemét.
Influence of using different segmentation methods on the fractal properties of the identified retinal vascular networks in healthy retinas and in retinas with vein occlusion
In: IEEE International Symposium on Circuits and Systems, ISCAS 2015 Proceedings - IEEE International Symposium on Circuits and Systems (2015-J) IEEE, New York, pp. 401-404. ISSN 0271-4310
Overview of CNN research: 25 years history and the current trends
In: 7th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM), CIS & RAM IEEE, Siem Reap, pp. 193-198.
How the sensitivity measures can be computed for different Youla regulators