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

István András Seres	Péter Burcsi		2023-11-28 13:00:00	Security and Privacy of Cryptocurrency Applications	2024-02-22
Moohanad Rasheed Hassan Jawthari	Veronika Stoffa		2023-11-17 09:00:00	Students Outcomes Prediction using Data Mining	2024-02-22
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
Rita Takács	Zoltán Horváth	Attila Oláh	2024-01-11 13:00:00	Adatalapú és a “Z” generáció sajátosságait figyelembe vevő új módszerek az informatikus képzésben a lemorzsolódás megelőzésére	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
Tekla Tóth	Levente Hajder		2024-01-18 13:30:00	Target-Based LiDAR-Camera Calibration	2024-02-22
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
Tamás Balassa	Péter Horváth		2022-07-08 09:00:00	Cell identification and phenotyping using classical machine learning and deep learning	2022-10-27
Zsuzsanna Szalayné Tahy	László Zsakó		2022-09-30 14:00:00	Az informatika (programozás) oktatásának módszertani kérdései	2022-10-27
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
Péter Kiss	Tomás Horváth		2022-01-13 16:30:00	Federated Learning of Artificial Neural Networks	2022-06-09
Paul Yash	Sándor Fridli		2022-03-16 14:30:00	Epileptic seizures and sleep states detection using hybrid approaches	2022-06-09
Ákos Rudas	Sándor Laki		2022-05-16 12:30:00	New Algorithms and Applications in Computational Medicine	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
Khawla Bouafia	Bálint Molnár		2022-01-28 11:30:00	Investigation of Modelling of Dynamic Business Processes	2022-06-09
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
Anna Reale	Zoltán Horváth	Melinda Tóth	2022-02-22 10:30:00	Enabling 5G Edge Native Applications	2022-06-09
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
Dénes Bartha	Péter Burcsi		2022-02-03 13:30:00	Reconstructibility of Tree Graphs	2022-04-12
Róbert Adrian Rill	Tamás Kozsik	F. Horia Pop	2021-09-29 13:30:00	Towards Human-in-the-Loop Cyber-Physical Systems	2022-01-28
Viktória Judit Bakonyi	Zoltán Illés		2021-05-27 09:30:00	Valós-idejű oktatási alkalmazások okoseszközök használatával	2021-10-25
Mai Khanh Horváth-Bui	Imre Kátai		2021-07-02 09:00:00	Arithmetical functions with applications of Maple	2021-10-25
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
Zoltán Ádám Milacski	András Lőrincz		2021-09-02 15:30:00	Temporal Reconstruction Methods in Self-Supervised Machine Learning	2021-10-25
Dhulfiqar A Alwahab	Sándor Laki		2021-09-09 09:30:00	Resource Management with AQM	2021-10-25
Gergely Attila Nagy	Zoltán Porkoláb		2021-03-04 13:30:00	Elements of Multiparadigm Programming in Scala	2021-06-10
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
Tsegaye Misikir Tashu	Tomás Horváth		2021-01-27 10:30:00	Semantic-based Automatic Short Essay Evaluation and Recommendation System	2021-03-19
Iván Eichhardt	Dmitrij Csetverikov		2020-09-03 11:30:00	Affine Correspondences and Challenges in Multi-Sensor Systems	2020-11-23
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
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
Péter Bernát	László Zsakó		2020-05-26 10:30:00	A bevezető programozástanítás stratégiái	2020-08-06
Boldizsár Németh	Máté Tejfel		2020-06-05 13:30:00	Program abstraction and efficient execution	2020-08-06
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
Dániel Baráth	Levente Hajder		2019-12-05 14:30:00	Affine Correspondences and their Applications for Model Estimation	2020-02-13
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
Zoltán Pusztai	Levente Hajder		2019-11-08 15:00:00	Accurate Sensor Calibration for Geometric Computer Vision	2020-02-13
Csaba Biro	Tamás Kozsik	Gábor Kusper	2019-09-13 11:30:00	Formal Methods for Modelling Wireless Sensor Networks	2019-11-21
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
Péter Kovács	Zoltán Király		2019-11-04 16:30:00	Efficient Algorithms for Graph Optimization Problems	2019-11-21
Péter Vörös	Attila Kiss		2019-11-05 10:30:00	Újgenerációs adat- és hálózatbiztonsági módszerek	2019-11-21
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
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 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
Á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
Balázs Pintér	András Lőrincz		2019-02-01 16:30:00	Word meaning for open domain dialogue systems	2019-04-04
Áron Baráth	Zoltán Porkoláb		2019-03-20 12:00:00	Towards Safer Programming Language Constructs	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
Dániel Horpácsi	Zoltán Horváth		2019-01-17 10:30:00	Verification and Application of Program Transformations	2019-02-07
Kristóf Szabados	Attila Kovács		2018-12-12 10:00:00	Quality Aspects of TTCN-3 Based Test Systems	2019-02-07
István Bozó	Zoltán Horváth		2019-01-16 10:30:00	Erlang programok statikus elemzése és szeletelése	2019-02-07
Balázs Király	Ferenc Schipp	Margit Pap	2018-12-11 11:30:00	Szorzatrendszer-konstrukciók	2019-02-07
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
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
Gábor Rácz	Attila Kiss		2018-06-12 15:30:00	Adatgráfok alkalmazási területei	2018-09-27
Gergő Gombos	Attila Kiss		2018-09-10 09:30:00	Szemantikus adatok lekérdezése federált és osztott rendszereken	2018-09-27
Csaba Kerepesi	Vince Grolmusz		2018-05-04 14:30:00	Data Mining in Genomics, Metagenomics and Connectomics	2018-06-01
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
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
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
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
Gyöngyvér Kiss	Antal Járai		2017-03-03 13:00:00	An Implementation and Analysis of the ECPP Algorithm	2017-05-25
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
Tamás Matuszka	Attila Kiss		2016-09-08 10:00:00	Szemantikus web technológiák által támogatott kiterjesztett valóság	2016-10-13
Péter Kovács	Sándor Fridli		2016-05-17 14:00:00	Transformation methods in signal processing	2016-07-14
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
Sándor Czirbusz	Antal Járai		2016-06-20 14:00:00	Függvényegyenletek regularitási tulajdonságainak vizsgálata számítógéppel	2016-07-14
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
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
Zsolt Németh	László Szili		2016-06-27 14:00:00	De la Vallée Poussin Type Approximation Methods	2016-07-06
Ágnes Chripkó	László Szili		2016-04-04 14:00:00	Fourier-Jacobi-sorok konvergenciája	2016-05-19
Gábor Valasek	János (1961 - 2020) Vida		2016-04-14 12:00:00	Nonlinear Geometric Models	2016-05-19
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
Sándor Laki	István Csabai	Gábor Vattay	2015-06-17 09:00:00	Analysis of complex communication networks: from measurement control to optimization	2015-10-01
Á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
Viktória Tóth	János Gonda	András Sárközy	2015-03-24 14:00:00	Ütközés és lavinahatás vizsgálata véges pszeudovéletlen sorozatokban	2015-05-14
Roland Király	Zoltán Horváth		2015-01-12 09:30:00	Erland programok transzformációja bonyolultsági mérőszámok alapján	2015-03-19
Emil Vatai	Antal Járai		2015-02-06 14:00:00	Sieving in primality testing and factorization	2015-03-19
Levente Lócsi	Ferenc Schipp		2015-02-06 11:00:00	Racionális függvényrendszerek alkalmazása a jelfeldolgozásban	2015-03-19
Rudolf Szendrei	István Elek		2014-11-28 14:00:00	Topográfiai térképek automatikus raszter-vektor konverziója	2014-12-18
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
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
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
Péter Mátray	István Csabai	Gábor Vattay	2014-05-29 17:00:00	Az Internet térbeli szerkezetének elemzése és a Hálózati Mérések Virtuális Obszervatóriuma	2014-09-18
Gábor Törley	Péter Szlávi		2014-06-17 14:00:00	Vizualizáció a Programozástanításban	2014-09-18
Anna Medve	László Kozma		2014-05-05 10:15:00	Modellvezérelt szoftverfejlesztés a gyakorlatban	2014-06-12
Ábel Sinkovics	Zoltán Porkoláb		2014-01-16 16:00:00	The connection between C++ template metaprogramming and functional programming	2014-03-20
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
Balázs Kósa	András id. Benczúr		2013-12-16 10:00:00	Structural Recursions on Edge-Labelled Graphs	2014-03-20
Ákos Dávid	László Kozma		2013-09-26 10:00:00	Verification of Computer-Based Software with Model Checking	2013-12-11
Zoltán Farkas	Péter Kacsuk		2013-10-14 13:00:00	A generic grid interoperability solution and discussion of related hierarchical scheduling questions	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
Péter Diviánszky	Zoltán Horváth		2013-12-05 14:00:00	Referenciák tisztán funkcionális nyelvekben	2013-12-11
Norbert Pataki	Zoltán Porkoláb		2013-07-08 11:00:00	Generatív programok helyessége	2013-09-12
Viktória Zsók	Zoltán Horváth		2013-07-08 13:00:00	Parallel Functional programming Using D-Clean	2013-09-12
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
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
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
Péter Salvi	Tamás Várady		2012-12-20 11:00:00	Fair Curves and Surfaces	2013-03-21
Gianfranco Pedone	László (1931-2020) Varga		2012-10-19 13:00:00	Multi Agent Systems	2012-12-13

Export data in CSV format

Restore original arrangement

1 101

Results: 142 Visible: 1-100