Kovásznai Gergely

Az adatok frissességéről nyilatkozott: 2024-10-22

Debreceni Egyetem

Informatikai Tudományok Doktori Iskola

2019-03-25 –

https://sites.google.com/site/gkovasz/

Eszterházy Károly Katolikus Egyetem

egyetemi oktató

Formális módszerek, statikus verifikáció, SAT, SMT, OMT, formális logika, mesterséges intelligencia

informatikai tudományok

publikációs lista az MTMT-ben
MTMT közlemény és idéző összefoglaló táblázat

aktuális témakiírások és összes témakiírás

Ali Ali Adil	2028-08-01	Informatikai Tudományok Doktori Iskola (DE)
Dongzhe Ren	2029-01-01	Informatikai Tudományok Doktori Iskola (DE)
Yang Yunqiao	2029-01-01	Informatikai Tudományok Doktori Iskola (DE)

Al-Shamarti Mohammed Ridha Nsaif

2024

Informatikai Tudományok Doktori Iskola (DE)

Nsaif Mohammed, Kovásznai Gergely, Malik Ali, de Fréin Ruairí: QoS-Aware Power-Optimized Path Selection for Data Center Networks (Q-PoPS)

ELECTRONICS (SWITZ) 13: (15) pp. 1-26.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Nsaif Mohammed, Kovásznai Gergely, Malik Ali, De Fréin Ruairí: SM-FPLF: Link-State Prediction For Software-Defined DCN Power Optimization

IEEE ACCESS 4: pp. 1-24.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Kovásznai Gergely, Nsaif Mohammed: Integer Programming Based Optimization of Power Consumption for Data Center Networks

ACTA CYBERNETICA

dokumentum típusa: Folyóiratcikk

nyelv: angol

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), Institute of Electrical and Electronics Engineers (IEEE) (2022) pp. 217-222.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 5

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 3

nyelv: angol

Gergely Kovásznai, Balázs Erdélyi, Csaba Biró: Investigations of graph properties in terms of wireless sensor network optimization

In: IEEE (szerk.) 2018 IEEE International Conference on Future IoT Technologies, Future IoT 2018, Institute of Electrical and Electronics Engineers (IEEE) (2018) pp. 1-8.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 9

nyelv: angol

Kovásznai Gergely, Andreas Fröhlich, Armin Biere: Complexity of Fixed-Size Bit-Vector Logics

THEORY OF COMPUTING SYSTEMS 59: (2) pp. 323-376.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 36

nyelv: angol

Fröhlich Andreas, Kovásznai Gergely, Biere Armin, Veith Helmut: iDQ: Instantiation-Based DQBF Solving

In: Pragmatics of SAT 2014, (2014) pp. 103-116.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 45

nyelv: angol

Andreas Fröhlich, Gergely Kovásznai, Armin Biere: A DPLL Algorithm for Solving DQBF

In: Pragmatics of SAT 2012, (2012) FKB-POS12

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 34

nyelv: angol

Gergely Kovásznai, Andreas Fröhlich, Armin Biere: On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width

In: 10th International Workshop on Satisfiability Modulo Theories, (2012) pp. 44-55.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 25

nyelv: angol