Items where Author is "Kovásznai, Gergely"

Article

Adil, Ali Adil and Kovásznai, Gergely and Khalid, Mustafa (2025) Automated fair team formation in STEAM activities using Satisfiability Modulo Theories (SMT). ANNALES MATHEMATICAE ET INFORMATICAE, 61. pp. 1-14. ISSN 1787-6117

Kovács, Ádám and Gunics, Roland and Kovásznai, Gergely and Tajti, Tibor (2025) Soft voting robustness in neural network ensembles with empirical analysis and formal verification. ANNALES MATHEMATICAE ET INFORMATICAE, 61. pp. 171-185. ISSN 1787-6117

Kovásznai, Gergely and Kiss, Dorina Hedvig and Mlinkó, Péter (2023) Formal verification for quantized neural networks. Annales Mathematicae et Informaticae, 57. pp. 36-48. ISSN 1787-6117

Kovásznai, Gergely and Varga, Imre (2023) Special Issue on Applied Informatics. INFOCOMMUNICATIONS JOURNAL, 15 (SI). p. 1. ISSN 2061-2079

Nsaif, Mohammed and Kovásznai, Gergely and Malik, Ali and de Fréin, Ruairí (2023) Survey of Routing Techniques-Based Optimization of Energy Consumption in SD-DCN. INFOCOMMUNICATIONS JOURNAL, 15 (SI). pp. 35-42. ISSN 2061-2079

Kovásznai, Gergely and Gajdár, Krisztián and Narodytska, Nina (2021) Portfolio solver for verifying Binarized Neural Networks. Annales Mathematicae et Informaticae, 53. pp. 183-200. ISSN 1787-6117

Book Section

Hu, Ming and Kovásznai, Gergely (2025) Web-based facial expression recognition using hybrid deep learning. In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eszterházy Károly Katolikus Egyetem Líceum Kiadó, Eger, pp. 102-114. ISBN 9789634963035

Monograph

Dömösi, Pál Béla and Battyányi, Péter and Csáki, Tibor and Egri-Nagy, Attila and Fazekas, Szilárd Zsolt and Horváth, Géza and Kovásznai, Gergely and Nagy, Benedek (2009) Absztrakt automaták és formális nyelvek = Abstract Automata and Formal Languages. Project Report. OTKA.