Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2019. III. 29.
Személyes adatok
Kovásznai Gergely
név Kovásznai Gergely
intézmény neve
doktori iskola
DE Informatikai Tudományok Doktori Iskola (témakiíró)
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 Egyetem
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 Egyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 0
ezek közül abszolutóriumot szerzettek száma 0
témavezetettjei közül fokozatot szereztek:
  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:
31
összes tudományos és felsőoktatási közleményének száma:
46
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
0 
összes tudományos közleményének és alkotásainak független idézettségi száma:
141

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )