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 Other URL
Publication:34623343 Published Core Citing Duplum Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34623343] [Approved]
2.
Kovásznai, Gergely ; Nsaif, Mohammed
Integer Programming Based Optimization of Power Consumption for Data Center Networks
ACTA CYBERNETICA , 17 p. (2023)
DOI DEA Other URL
Publication:34534646 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34534646] [Approved]
3.
Gazdag, Zsolt (eds.) ; Iván, szabolcs (eds.) ; Kovásznai, Gergely (eds.)
Proceedings of the 16th International Conference on Automata and Formal Languages
Electronic Proceedings in Theoretical Computer Science (EPTCS) (2023) , 284 p.
DOI
Publication:34439161 Published Core Conference proceedings Scientific
Conference proceedings | Scientific[34439161] [Approved]
4.
Kovásznai, Gergely ; Varga, Imre
Special Issue on Applied Informatics
INFOCOMMUNICATIONS JOURNAL 15 : Special Issue pp. 1-1. , 1 p. (2023)
REAL WoS
Publication:34131002 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34131002] [Approved]
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 Other URL
Publication:34130917 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34130917] [Approved]
6.
Nsaif, Mohammed ; Kovasznai, G. ; Abboosh, M. ; Malik, A. ; Frein, R.D.
ML-Based Online Traffic Classification for SDNs
In: Fazekas, István (eds.) 2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS) : Proceedings
Piscataway (NJ), United States of America : IEEE (2022) 337 p. pp. 217-222. , 6 p.
DOI DEA Scopus Other URL
Publication:33293087 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[33293087] [Approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 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 Other URL
Publication:32545784 Published Core Journal Article (Article ) Scientific
Citing papers: 4 | Independent citation: 2 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Article (Journal Article) | Scientific[32545784] [Approved]
All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 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 Other URL
Publication:32169794 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1 (Not published: 1)
Article (Journal Article) | Scientific[32169794] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
9.
Kovásznai, G. ; Fazekas, I. ; Tómács, T.
Preface
CEUR WORKSHOP PROCEEDINGS 2650 Paper: 85090852348 (2020)
Scopus
Publication:32842987 Published Core Journal Article (Comment, Correction ) Scientific
Comment, Correction (Journal Article) | Scientific[32842987] [Approved]
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,
Publication:32169856 Published Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[32169856] [Approved]
2024-05-06 07:07