Items where Author is "Kovásznai, Gergely"

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

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.