Személyi adatlap
Kusper, Gábor
intézmény neve
doktori iskola
időszak
2013-08-01 –
intézmény neve
doktori iskola
időszak
2021-07-26 –
intézmény neve
doktori iskola
időszak
2023-10-26 –
tudományos fokozat
PhD
fokozat megszerzésének éve
2005
fokozat tudományága
fokozatot kiadó intézmény neve
Johannes Kepler Egyetem, honosította a Debreceni Egyetem
tudományos cím
Habilitáció
cím megszerzésének éve
cím tudományága
címet kiadó intézmény neve
Debreceni Egyetem
kutatási terület
SAT probléma, formális módszerek, modell ellenőrzés
jelenlegi kutatásainak tudományága
informatikai tudományok
publikációs munkásság
témakiírások
aktuálisan témavezetett hallgatók
| Mátyás György István | 2027-08-01 | Neveléstudományi Doktori Iskola (EKKE) |
| Toldi Lajos | 2027-08-01 | Neveléstudományi Doktori Iskola (EKKE) (50%) |
| Ujhelyi Gábor | 2026-08-01 | Neveléstudományi Doktori Iskola (EKKE) (50%) |
| Zaletnyik Péter Tibor | 2027-08-01 | Neveléstudományi Doktori Iskola (EKKE) (50%) |
abszolutóriumot szerzett hallgatók
fokozatot szerzett hallgatók
2013
Csaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor Geda: Cube-and-Conquer approach for SAT solving on grids
ANNALES MATHEMATICAE ET INFORMATICAE : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 42: pp. 9-21.
dokumentum típusa: Folyóiratcikk
nyelv: angol
2012
AGRÁRINFORMATIKA / AGRICULTURAL INFORMATICS 3: (1) pp. 52-64.
dokumentum típusa: Folyóiratcikk
nyelv: magyar
2011
Kusper Gábor, Márien Szabolcs: Élelmiszer adatbázis szűrése mennyiségi megszorítások alapján logaritmikus indexeléssel
ACTA AGRARIA KAPOSVÁRIENSIS 15: (3) pp. 13-30.
dokumentum típusa: Folyóiratcikk
független idéző közlemények száma: 2
nyelv: magyar
2010
ANNALES MATHEMATICAE ET INFORMATICAE : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 37: pp. 51-75.
dokumentum típusa: Folyóiratcikk
nyelv: angol
2009
ANNALES MATHEMATICAE ET INFORMATICAE : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 36: pp. 85-101.
dokumentum típusa: Folyóiratcikk
nyelv: angol
2008
ANNALES MATHEMATICAE ET INFORMATICAE : INTERNATIONAL JOURNAL FOR MATHEMATICS AND COMPUTER SCIENCE 35: pp. 75-94.
dokumentum típusa: Folyóiratcikk
független idéző közlemények száma: 1
nyelv: angol
2007
LECTURE NOTES IN COMPUTER SCIENCE 4314: pp. 128-142.
dokumentum típusa: Folyóiratcikk
nyelv: angol
2005
Gábor Kusper: Solving the Resolution-Free SAT Problem by Submodel Propagation in Linear Time
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 43: (1) pp. 129-136.
dokumentum típusa: Folyóiratcikk
független idéző közlemények száma: 1
nyelv: angol
2002
LECTURE NOTES IN COMPUTER SCIENCE 2400: pp. 113-120. Paper 2002.
dokumentum típusa: Folyóiratcikk
független idéző közlemények száma: 4
nyelv: angol
2001
LECTURE NOTES IN COMPUTER SCIENCE 2150: pp. 712-716.
dokumentum típusa: Folyóiratcikk
nyelv: angol