Kovásznai Gergely - ODT Személyi adatlap


	Bejelentkezés Fórum Szervezet tisztségviselők tagintézmények határozatok alapító okirat ügyrend Doktori képzés doktori iskolák intézményenként tudományáganként azonosító alapján megszűnt oktatók név alapján kutatási téma szerint archívum témakiírások doktori iskolánként tudományáganként kutatási téma szerint témavezetések hallgatók keresése Doktori védések intézményenként tudományáganként név szerint dátum szerint doktori iskolánként Honosított fokozatok intézményenként tudományáganként név szerint dátum szerint Habilitációs előadások intézményenként tudományterületenként név szerint Dokumentumok nyilvános anyagok hírek jogszabályok útmutatók Kapcsolatok elérhetőségünk partnereink

Személyi adatlap

Nyomtatási kép

ARCHÍV OLDAL
Az adatok hitelességéről nyilatkozott: 2020. III. 31.

Személyes adatok

név	Kovásznai Gergely
intézmény neve	Debreceni Egyetem
doktori iskola	DE Informatikai Tudományok Doktori Iskola (témavezető Az oktató valamelyik doktori iskolában egy vagy több doktorandusz vagy doktorjelölt munkáját irányítja. )
doktori képzéssel kapcsolatos munkájának megoszlása	DE Informatikai Tudományok Doktori Iskola 100%
adott-e már oktatóként valamely doktori iskolát működtető intézménynek akkreditációs nyilatkozatot?	Eszterházy Károly Katolikus Egyetem

Elérhetőségek
	saját honlap
	saját honlap (angol)

Fokozat, cím
tudományos fokozat, cím	PhD
fokozat megszerzésének éve	2007
fokozat tudományága	matematika- és számítástudományok
fokozatot kiadó intézmény neve	Debreceni Egyetem
tudományos fokozat, cím	Habilitáció
fokozat megszerzésének éve	2018
fokozat tudományága	informatikai tudományok
fokozatot kiadó intézmény neve	Debreceni Egyetem

Jelenlegi munkahelyek
2007 -	Eszterházy Károly Katolikus Egyetem egyetemi oktató

Témavezetés

témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma

ezek közül abszolutóriumot szerzettek száma

témavezetettjei közül fokozatot szereztek:

jelenlegi doktorandusz hallgatói az abszolutórium várható évével:

Al-Shamarti Mohammed Ridha Nsaif

(PhD)

(2024/08)

DE-ITDI

Témakiírások

Kutatás
kutatási terület	Formális módszerek, statikus verifikáció, SAT, SMT, OMT, formális logika, mesterséges intelligencia
jelenlegi kutatásainak tudományága	informatikai tudományok

Közlemények

2018

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, IEEE (2018) pp. 1-8.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 3
nyelv: angol

2018

Gergely Kovásznai, Csaba Biró, Balázs Erdélyi: Puli – A Problem-Specific OMT solver, In: 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), (2018) 362
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
független idéző közlemények száma: 4
nyelv: angol
Teljes szöveg

2017

Gergely Kovásznai, Csaba Biró, Balázs Erdélyi: Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers, CEUR WORKSHOP PROCEEDINGS 1889: pp. 15-27.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
független idéző közlemények száma: 3
nyelv: angol
Teljes szöveg

2016

Gergely Kovásznai: What is the State-of-the-Art in DQBF solving?, In: Emil, Vatai (szerk.) 11th Joint Conference on Mathematics and Computer Science, CEUR-WS.org (2016) pp. 185-196.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol

2016

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/Szakcikk
független idéző közlemények száma: 18
nyelv: angol
URL

2014

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: Konferenciacikk/Előadás vagy poszter cikke
független idéző közlemények száma: 26
nyelv: angol

2013

Fröhlich Andreas, Kovásznai Gergely, Biere Armin: More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding, LECTURE NOTES IN COMPUTER SCIENCE 2013: (7913) pp. 378-390.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 9
nyelv: angol

2012

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: Konferenciacikk/Előadás vagy poszter cikke
független idéző közlemények száma: 22
nyelv: angol

2012

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: Konferenciacikk/Előadás vagy poszter cikke
független idéző közlemények száma: 18
nyelv: angol

2011

Gergely Kovásznai: Developing an expert system for diet recommendation, In: Szakál, A (szerk.) Applied Computational Intelligence and Informatics (SACI) 2011, IEEE Hungary Section (2011) pp. 505-509.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 23
nyelv: angol
URL

a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:

126

Tudománymetriai adatok

Tudományos közlemény- és idézőlista mycite adattárban

a 10 válogatott közlemény közé kiválasztható közleményeinek száma:

összes tudományos és felsőoktatási közleményének száma:

kiválasztható monográfiák és szakkönyvek:

monográfiák és szakkönyvek száma melyben fejezetet/részt írt:

összes tudományos közleményének és alkotásainak független idézettségi száma:

226

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).