Hungarian Doctoral Council

Doctoral defenses of Doctoral School of Informatics

Export data in CSV format

Restore original arrangement

1 101

Results: 142 Visible: 1-100

name of doctoral candidate	thesis supervisor	co-supervisor	date of defense	title of thesis	date of decision of DS

Ábel Sinkovics	Zoltán Porkoláb		2014-01-16 16:00:00	The connection between C++ template metaprogramming and functional programming	2014-03-20
Ádám Novák	András Lukács	István Miklós	2015-06-29 15:00:00	Statistical sequence alignment with applications in evolutionary footprinting and protein secondary structure prdeiction	2015-10-01
Ádám Sipos	Zoltán Porkoláb		2009-10-19 10:30:00	Template metaprogramok hatékony fejlesztése	2009-12-17
Adrienn Szabó	András ifj. Benczúr		2016-05-30 11:00:00	Approaches to Efficient Multiple Sequence Alignment and Protein Search	2016-07-14
Ágnes Chripkó	László Szili		2016-04-04 14:00:00	Fourier-Jacobi-sorok konvergenciája	2016-05-19
Ágnes Erdősné Németh	László Zsakó		2019-03-14 13:00:00	A Logo-tól az Informatikai Olimpiáig Informatikai Tehetséggondozás a Középiskolában	2019-04-04
Ágnes Fogarassyné Vathy	Attila Kiss		2009-01-07 11:00:00	Novel Graph Based Clustering and Visualization Algorithms for Data Mining	2009-01-29
Ahmad Salem Ahmad Altarawneh	Dmitrij Csetverikov		2022-05-18 13:30:00	Deep Learning Applications in Computer Vision: Experimental and Comparative Study	2022-06-09
Ákos Dávid	László Kozma		2013-09-26 10:00:00	Verification of Computer-Based Software with Model Checking	2013-12-11
Ákos László Hajnal	István Forgács	László Zsolt Varga	2013-09-13 13:00:00	Practical Application of program Slicing and its Use in Software Testing and Maintenance	2013-12-11
Ákos Rudas	Sándor Laki		2022-05-16 12:30:00	New Algorithms and Applications in Computational Medicine	2022-06-09
András Molnár	András id. Benczúr		2007-12-13 14:30:00	Általános partíciós adatbázismodell. Funkcionális függőségi rendszerek elemzése	2008-02-07
Anh Vu Le	Attila Kiss		2008-10-10 14:00:00	Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes	2009-01-29
Anna Medve	László Kozma		2014-05-05 10:15:00	Modellvezérelt szoftverfejlesztés a gyakorlatban	2014-06-12
Anna Reale	Zoltán Horváth	Melinda Tóth	2022-02-22 10:30:00	Enabling 5G Edge Native Applications	2022-06-09
Antal László Tátrai	Attila Kovács		2014-02-07 10:00:00	Distributive and parallel problem solving - methods, data structures and algorithms	2014-03-20
Áron Baráth	Zoltán Porkoláb		2019-03-20 12:00:00	Towards Safer Programming Language Constructs	2019-04-04
Attila Pásztor	Zoltán Istenes		2013-05-24 11:00:00	Modell-robotok felhasználása a multi-ágens alapú robotkooperáció kutatásban és az oktatásban	2013-06-20
Balázs Csanád Csáji	László Monostori		2008-12-15 14:00:00	Adaptive Resource Control	2009-01-29
Balázs Dezső	István Fekete		2012-10-26 12:00:00	Optimization methods in remote sensing and geoinformatics	2012-12-13
Balázs Király	Ferenc Schipp	Margit Pap	2018-12-11 11:30:00	Szorzatrendszer-konstrukciók	2019-02-07
Balázs Kósa	András id. Benczúr		2013-12-16 10:00:00	Structural Recursions on Edge-Labelled Graphs	2014-03-20
Balázs Pintér	András Lőrincz		2019-02-01 16:30:00	Word meaning for open domain dialogue systems	2019-04-04
Balázs Szalkai	Vince Grolmusz		2018-11-21 14:30:00	Algoritmikus kérdések a bioinformatika területén	2019-02-07
Balázs Torma	László Gerencsér		2011-03-16 10:00:00	Fundamental and Technical Analysis of Financial Markets	2011-06-15
Balázs Ugron	László Kozma		2008-02-15 13:00:00	Synzhesis of the synchronisation code of pipeline systems	2008-06-12
Bálint Zoltán Daróczy	András ifj. Benczúr		2017-02-20 14:00:00	Machine Learning Methods for Multimedia Information Retrieval	2017-05-25
Boldizsár Németh	Máté Tejfel		2020-06-05 13:30:00	Program abstraction and efficient execution	2020-08-06
Chuangtao Ma	Bálint Molnár	András id. Benczúr	2023-12-08 10:00:00	Knowledge Enhanced Schema Matching for Heterogeneous Data Integration	2024-02-22
Csaba Bálint	Lajos Gergó	Gábor Valasek	2024-01-11 13:00:00	Távolságalapú felületábrázolások és megjelenítésük	2024-02-22
Csaba Biro	Tamás Kozsik	Gábor Kusper	2019-09-13 11:30:00	Formal Methods for Modelling Wireless Sensor Networks	2019-11-21
Csaba István Sidló	András Lukács		2012-07-05 11:00:00	Business intelligence on scalable architectures	2012-09-13
Csaba Kerepesi	Vince Grolmusz		2018-05-04 14:30:00	Data Mining in Genomics, Metagenomics and Connectomics	2018-06-01
Csilla Kvaszingerné Prantner	László Zsakó		2019-11-04 14:00:00	A hagyományos és elektronikus tanulási környezet kombinált alkalmazásainak vizsgálata- Oktatói portálok	2019-11-21
Dániel Baráth	Levente Hajder		2019-12-05 14:30:00	Affine Correspondences and their Applications for Model Estimation	2020-02-13
Dániel Gerbner	Gyula Katona		2009-12-09 16:00:00	Extremal Combinatorial Problems	2009-12-17
Dániel Horpácsi	Zoltán Horváth		2019-01-17 10:30:00	Verification and Application of Program Transformations	2019-02-07
Dániel Varga	András Lukács	András Kornai	2013-03-18 12:00:00	Natural Language Processing of Large Parallel Corpora	2013-06-20
Dávid Márk Nemeskey	András Kornai	András ifj. Benczúr	2021-03-22 10:30:00	Natural Language Processing Methods for Language Modeling	2021-06-10
Dávid Siklósi	András ifj. Benczúr		2016-06-03 13:00:00	Assesing the Quality of Web via Semi-Supervised Methods	2016-07-14
Dénes Bartha	Péter Burcsi		2022-02-03 13:30:00	Reconstructibility of Tree Graphs	2022-04-12
Dhulfiqar A Alwahab	Sándor Laki		2021-09-09 09:30:00	Resource Management with AQM	2021-10-25
Emil Vatai	Antal Járai		2015-02-06 14:00:00	Sieving in primality testing and factorization	2015-03-19
Ferenc Fejes	Sándor Laki		2024-04-12 10:30:00	On Scalable Network Quality of Service
Frederick Ayala Gomez	András ifj. Benczúr		2019-05-07 16:30:00	Context- Aware Recommendations for Groups in Location- Based Social Networks and Academic Social Networks	2019-09-26
Gábor Fábián	Ferenc Weisz	Lajos Gergó	2020-06-22 14:30:00	Háromdimenziós testek és felületek számítógépes modelljei és approximációs módszerei	2020-08-06
Gábor Horváth	Norbert Pataki		2021-08-30 11:30:00	Static Analyses for C++ in the Presence of Separate Compilation	2021-10-25
Gábor János Páli	Tamás Kozsik	F. Horia Pop	2014-12-12 15:00:00	Functional Modelling of Operating Systems	2014-12-18
Gábor Kudela	Csaba Hegedűs	Imre Balásházy	2019-06-26 12:30:00	Aeroszoldepozíciós légzőrendszeri modell fejlesztése	2019-09-26
Gábor Márton	Zoltán Porkoláb		2019-07-11 12:30:00	Tools and Language Elements for Testing, Encapsulation and Controlling Abstraction in Large Scale C++ Projects	2019-11-21
Gábor Nagy	Imre Kátai		2013-04-17 17:00:00	Általánosított számrendszerek vizsgálata a komplex számok körében	2013-06-20
Gábor Rácz	Attila Kiss		2018-06-12 15:30:00	Adatgráfok alkalmazási területei	2018-09-27
Gábor Törley	Péter Szlávi		2014-06-17 14:00:00	Vizualizáció a Programozástanításban	2014-09-18
Gábor Valasek	János (1961 - 2020) Vida		2016-04-14 12:00:00	Nonlinear Geometric Models	2016-05-19
Gánor Csárdi	Péter Érdi		2010-02-26 14:00:00	Modeling Complex Systems by Evolving Networks	2010-04-28
Gergely Attila Nagy	Zoltán Porkoláb		2021-03-04 13:30:00	Elements of Multiparadigm Programming in Scala	2021-06-10
Gergely Dévai	Zoltán Csörnyei		2017-06-27 14:00:00	Programhelyesség-bizonyítás fordítási időben	2018-03-08
Gergő Bognár	Sándor Fridli		2020-02-24 14:30:00	Orvosi jel- és képfeldolgozás transzformációs módszerekkel	2020-03-12
Gergő Gombos	Attila Kiss		2018-09-10 09:30:00	Szemantikus adatok lekérdezése federált és osztott rendszereken	2018-09-27
Gianfranco Pedone	László (1931-2020) Varga		2012-10-19 13:00:00	Multi Agent Systems	2012-12-13
Gyöngyvér Kiss	Antal Járai		2017-03-03 13:00:00	An Implementation and Analysis of the ECPP Algorithm	2017-05-25
Gyula István Szabó	András id. Benczúr		2014-12-05 14:00:00	XML és Félig-Struktúrált Adatbázisok Függőségei	2014-12-18
Hayder Fatlawi	Attila Kiss		2024-02-23 12:00:00	Toward Effective Classification of Data Stream using Adaptive Machine Learning
Hunor Sándor Jakab	F. Horia Pop	Zoltán Istenes	2012-03-19 08:00:00	Intelligent Models for Robotic Behavior, Decision Making and Environment Interaction	2012-05-03
Ilona Béres	Márta Turcsányi-Szabó		2022-01-19 15:30:00	Technológiával segített oktatási/tanulási módszerek vizsgálata a felsőoktatásban	2022-04-12
István András Seres	Péter Burcsi		2023-11-28 13:00:00	Security and Privacy of Cryptocurrency Applications	2024-02-22
István Bíró	András Lukács		2010-02-12 14:00:00	Document Classification With Latent Dirichlet Allocation	2010-04-28
István Bozó	Zoltán Horváth		2019-01-16 10:30:00	Erlang programok statikus elemzése és szeletelése	2019-02-07
István László	István Fekete		2014-11-07 11:00:00	A spektrális, térbeli és időbeli dimenziók kapcsolatának vizsgálata és felhasználása a digitális űrfelvételek osztályozásában	2014-12-18
István Szita	András Lőrincz		2007-12-13 14:30:00	Megerősítéses tanulás komplex környezetekben	2008-02-07
István Zólyomi	Zoltán Porkoláb		2010-01-15 10:30:00	Metaprogramok alkalmazása erősen típusos objektum-orientált rendszerek kiterjesztésére	2010-04-28
Iván Eichhardt	Dmitrij Csetverikov		2020-09-03 11:30:00	Affine Correspondences and Challenges in Multi-Sensor Systems	2020-11-23
János Márk Szalai-Gindl	István Csabai	László Dobos	2020-07-06 15:30:00	Adatintenzív módszerek tudományos adatok kezelésére kozmológiai, térinformatikai és biológiai alkalmazásokkal	2020-08-06
József Bozsik	Róbert Fullér		2016-06-13 10:00:00	Heurisztikus eljárások alkalmazása a csődelőrejelzésekben	2016-07-14
József Mihalicza	Zoltán Porkoláb		2015-05-29 13:00:00	Analysis and Methods for Supporting Generative Metaprogramming in Large Scale C++ Projects	2015-10-01
József Molnár	Dmitrij Csetverikov		2011-12-19 11:30:00	Variációs módszerek a gépi látásban	2012-05-03
József Udvaros	Veronika Stoffa	László Zsakó	2018-01-30 12:30:00	A digitális technológiák szerepe és lehetőségei a programozás tanításában	2018-03-08
Károly Csalogány	András ifj. Benczúr		2010-06-03 10:15:00	Methods for Web Spam Filtering	2010-09-30
Katalin Anna Lázár	Erzsébet Csuhaj Varjú	András Lőrincz	2011-01-10 14:00:00	A Formal Language Theoretic Approach to Self-Orgainzing Networks	2011-06-15
Khawla Bouafia	Bálint Molnár		2022-01-28 11:30:00	Investigation of Modelling of Dynamic Business Processes	2022-06-09
Kinga Emese Kovácsné Pusztai	László Zsakó		2022-05-18 10:30:00	Számítógépes gondolkodás a felsőoktatásban	2022-06-09
Kristóf Szabados	Attila Kovács		2018-12-12 10:00:00	Quality Aspects of TTCN-3 Based Test Systems	2019-02-07
Kristóf Szarvas	Ferenc Weisz		2017-05-15 14:15:00	Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben	2017-10-12
Krisztián Pócza	Zoltán Porkoláb		2010-10-26 11:00:00	.Net alapú programok minőségének és biztonságának növelése	2011-03-17
Krisztina Erdélyi	László Zsakó		2012-05-21 14:00:00	Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak	2012-07-17
Ladislav Végh	Veronika Stoffa	Márta Turcsányi-Szabó	2018-01-30 14:30:00	A programozás tanulásának és tanításának támogatása elektronikus tananyagba beépíthető interaktív animációs modellekkel	2018-03-08
László Gábor Menyhárt	Tibor Remzső		2018-10-05 10:30:00	Az XML technológia alapjai- XML az oktatásban, különös tekintettel a programozás oktatására	2018-11-29
László Germán	Imre Kátai		2009-04-28 17:30:00	Distribution of additive arithmetical functions	2009-06-11
Levente Lócsi	Ferenc Schipp		2015-02-06 11:00:00	Racionális függvényrendszerek alkalmazása a jelfeldolgozásban	2015-03-19
Mai Khanh Horváth-Bui	Imre Kátai		2021-07-02 09:00:00	Arithmetical functions with applications of Maple	2021-10-25
Marcell János Uray	Péter Burcsi		2022-03-31 12:30:00	Algebrai számokkal kapcsolatos algoritmusok és számítások	2022-06-09
Máté Tejfel	Zoltán Horváth		2008-11-07 16:00:00	Funkcionális programozási nyelvek helyességvizsgálata	2009-01-29
Melinda Tóth	Zoltán Horváth		2019-01-16 13:30:00	Adat és kiértékelési függőségi elemzés funkcionális nyelvekre- Erlang programok statikus elemzése	2019-02-07
Meriem Kherbouche	Bálint Molnár	András id. Benczúr	2023-12-15 11:00:00	Business Process Model to Program: Model Transformation by the Recent Technologies	2024-02-22
Mihály Biczó	Zoltán Porkoláb		2012-11-30 11:00:00	.NET programok minőségi mutatóinak javítása axióma alapú automatizált teszteléssel	2012-12-13
Miklós Kurucz	András ifj. Benczúr		2012-04-25 14:00:00	Data Mining Applications of Singular Value Decomposition	2012-09-13
Moohanad Rasheed Hassan Jawthari	Veronika Stoffa		2023-11-17 09:00:00	Students Outcomes Prediction using Data Mining	2024-02-22
Norbert Pataki	Zoltán Porkoláb		2013-07-08 11:00:00	Generatív programok helyessége	2013-09-12
Norbert Tihanyi	Attila Kovács		2019-11-13 11:30:00	Numerical computing of extremely large values of the Riemann-Siegel Z-function	2020-02-13
Paul Yash	Sándor Fridli		2022-03-16 14:30:00	Epileptic seizures and sleep states detection using hybrid approaches	2022-06-09

Export data in CSV format

Restore original arrangement

1 101

Results: 142 Visible: 1-100