1.
Kovásznai, G. ; Kiss, D.H. ; Mlinkó, P.
Formal verification for quantized neural networks
ANNALES MATHEMATICAE ET INFORMATICAE 57 pp. 36-48. , 13 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:34623343 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos | Hibás
Szakcikk (Folyóiratcikk) | Tudományos[34623343] [Nyilvános]
2.
Kovásznai, Gergely ; Nsaif, Mohammed
Integer Programming Based Optimization of Power Consumption for Data Center Networks
ACTA CYBERNETICA , 17 p. (2023)
DOI DEA Egyéb URL
Közlemény:34534646 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34534646] [Nyilvános]
3.
Gazdag, Zsolt (szerk.) ; Iván, szabolcs (szerk.) ; Kovásznai, Gergely (szerk.)
Proceedings of the 16th International Conference on Automata and Formal Languages
Electronic Proceedings in Theoretical Computer Science (EPTCS) (2023) , 284 p.
DOI
Közlemény:34439161 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[34439161] [Nyilvános]
4.
Kovásznai, Gergely ; Varga, Imre
Special Issue on Applied Informatics
INFOCOMMUNICATIONS JOURNAL 15 : Special Issue pp. 1-1. , 1 p. (2023)
REAL WoS
Közlemény:34131002 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34131002] [Nyilvános]
5.
Nsaif, Mohammed ; Kovásznai, Gergely ; Malik, Ali ; de Fréin, Ruairí
Survey of Routing Techniques-Based Optimization of Energy Consumption in SD-DCN
INFOCOMMUNICATIONS JOURNAL 15 : Special Issue pp. 35-42. , 8 p. (2023)
DOI REAL WoS DEA Scopus Egyéb URL
Közlemény:34130917 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34130917] [Nyilvános]
6.
Nsaif, Mohammed ; Kovasznai, G. ; Abboosh, M. ; Malik, A. ; Frein, R.D.
ML-Based Online Traffic Classification for SDNs
In: Fazekas, István (szerk.) 2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS) : Proceedings
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2022) 337 p. pp. 217-222. , 6 p.
DOI DEA Scopus Egyéb URL
Közlemény:33293087 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[33293087] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
7.
Nsaif, Mohammed ✉ ; Kovásznai, Gergely ; Rácz, Anett ; Malik, Ali ; de Fréin, Ruairí
An Adaptive Routing Framework for Efficient Power Consumption in Software-Defined Datacenter Networks
ELECTRONICS (SWITZ) 10 : 23 p. 3027 (2021)
DOI WoS DEA Scopus Egyéb URL
Közlemény:32545784 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 2 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos[32545784] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 2, Függő: 2, Nem jelölt: 0
8.
Kovásznai, Gergely ; Gajdár, Krisztián ; Narodytska, Nina
Portfolio solver for verifying Binarized Neural Networks
ANNALES MATHEMATICAE ET INFORMATICAE 53 pp. 183-200. , 18 p. (2021)
DOI WoS Scopus Egyéb URL
Közlemény:32169794 Nyilvános Forrás Idéző Duplum Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1 (Nem nyilvános: 1)
Szakcikk (Folyóiratcikk) | Tudományos[32169794] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
9.
Kovásznai, G. ; Fazekas, I. ; Tómács, T.
Preface
CEUR WORKSHOP PROCEEDINGS 2650 Paper: 85090852348 (2020)
Scopus
Közlemény:32842987 Nyilvános Forrás Folyóiratcikk (Hozzászólás, helyreigazítás ) Tudományos
Hozzászólás, helyreigazítás (Folyóiratcikk) | Tudományos[32842987] [Nyilvános]
10.
Kovásznai, Gergely
Szenzorhálózatok optimalizálása formális módszerekkel (2020)
online előadás, https://uni-eszterhazy.hu/matinf/formalis-modszerek-az-informatikaban,
Közlemény:32169856 Nyilvános Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[32169856] [Nyilvános]
2024-04-24 15:51