Gergely Kovásznai - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

VALIDITY EXPIRED
personal data approved: 2020. III. 31.

Personal data

name	Gergely Kovásznai
name of institution	University of Debrecen
doctoral school	DE Doctoral School of Informatics (Supervisor Az oktató valamelyik doktori iskolában egy vagy több doktorandusz vagy doktorjelölt munkáját irányítja. )
the share of work in the different doctoral schools.	DE Doctoral School of Informatics 100%
accreditation statement submitted to:	Eszterházy Károly Catholic University

Contact details
	own web page

Academic title
scientific degree, title	Ph.D.
year degree was obtained	2007
discipline to which degree belongs	mathematics and computing
institution granting the degree	University of Debrecen
scientific degree, title	Habilitation
year degree was obtained	2018
discipline to which degree belongs	computer sciences
institution granting the degree	University of Debrecen

Employment
2007 -	Eszterházy Károly Catholic University university professor or researcher

Thesis topic supervisor

number of doctoral students supervised until now

number of students who fulfilled course requirements

students who obtained their degrees:

present PhD students:

Mohammed Ridha Nsaif Al-Shamarti

(PhD)

(2024/08)

UD-DSI

Thesis topic proposals

Research
research area	Formal methods, static verification, SAT, SMT, OMT, formal logic, artificial intelligence
research field in which current research is conducted	computer sciences

Publications

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.
type of document: Part of book/Proceedings Paper
number of independent citations: 3
language: English

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
type of document: Conference paper/Előadás vagy poszter cikke
number of independent citations: 4
language: English
Full text

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.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 3
language: English
Full text

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.
type of document: Conference paper/Előadás vagy poszter cikke
language: English

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.
type of document: Journal paper/Article
number of independent citations: 18
language: English
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.
type of document: Conference paper/Előadás vagy poszter cikke
number of independent citations: 26
language: English

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.
type of document: Journal paper/Article
number of independent citations: 9
language: English

2012

Andreas Fröhlich, Gergely Kovásznai, Armin Biere: A DPLL Algorithm for Solving DQBF, In: Pragmatics of SAT 2012, (2012) FKB-POS12
type of document: Conference paper/Előadás vagy poszter cikke
number of independent citations: 22
language: English

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.
type of document: Conference paper/Előadás vagy poszter cikke
number of independent citations: 18
language: English

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.
type of document: Part of book/Proceedings Paper
number of independent citations: 23
language: English
URL

Number of independent citations to these publications:

126

Scientometric data

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

number of independent citations to scientific publications and creative works:

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).