Hungarian Doctoral Council

Doctoral defenses of Doctoral School of Informatics

Export data in CSV format

Restore original arrangement

1 101

Results: 145 Visible: 1-100

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

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
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
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
Á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
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
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
Anna Reale	Zoltán Horváth	Melinda Tóth	2022-02-22 10:30:00	Enabling 5G Edge Native Applications	2022-06-09
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
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
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
Zsuzsanna Nagy-Csiha	Ferenc Weisz	Margit Pap	2024-06-18 15:00:00	Blaschke függvényekkel és Malmquist - Takenaka rendszerekkel kapcsolatos eredmények kiterjesztése
Balázs Király	Ferenc Schipp	Margit Pap	2018-12-11 11:30:00	Szorzatrendszer-konstrukciók	2019-02-07
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
Á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
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
Csaba Biro	Tamás Kozsik	Gábor Kusper	2019-09-13 11:30:00	Formal Methods for Modelling Wireless Sensor Networks	2019-11-21
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
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
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
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
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
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
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
Zsolt Németh	László Szili		2016-06-27 14:00:00	De la Vallée Poussin Type Approximation Methods	2016-07-06
Péter Kárász	László Lakatos		2009-05-12 16:00:00	Cyclic- Waiting and Vacational Queuing Systems	2009-06-11
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
Norbert Pataki	Zoltán Porkoláb		2013-07-08 11:00:00	Generatív programok helyessége	2013-09-12
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
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
Gánor Csárdi	Péter Érdi		2010-02-26 14:00:00	Modeling Complex Systems by Evolving Networks	2010-04-28
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
Balázs Szalkai	Vince Grolmusz		2018-11-21 14:30:00	Algoritmikus kérdések a bioinformatika területén	2019-02-07
Zoltán Pusztai	Levente Hajder		2019-11-08 15:00:00	Accurate Sensor Calibration for Geometric Computer Vision	2020-02-13
Balázs Torma	László Gerencsér		2011-03-16 10:00:00	Fundamental and Technical Analysis of Financial Markets	2011-06-15
Á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
Iván Eichhardt	Dmitrij Csetverikov		2020-09-03 11:30:00	Affine Correspondences and Challenges in Multi-Sensor Systems	2020-11-23
Miklós Kurucz	András ifj. Benczúr		2012-04-25 14:00:00	Data Mining Applications of Singular Value Decomposition	2012-09-13
Emil Vatai	Antal Járai		2015-02-06 14:00:00	Sieving in primality testing and factorization	2015-03-19
Szabolcs Hajdara	László Kozma		2008-02-15 15:00:00	Designing and synthesizing the synchronization of concurrent object-oriented systems	2008-06-12
Péter Burcsi	Attila Kovács		2008-12-16 15:00:00	Algorithmic Aspects of Generalized Number Systems	2009-01-29
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
Péter Salvi	Tamás Várady		2012-12-20 11:00:00	Fair Curves and Surfaces	2013-03-21
Gábor Valasek	János (1961 - 2020) Vida		2016-04-14 12:00:00	Nonlinear Geometric Models	2016-05-19
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
Péter Egri	József Váncza		2009-11-19 14:30:00	Coordination in Production Networks	2009-12-17
Ákos Dávid	László Kozma		2013-09-26 10:00:00	Verification of Computer-Based Software with Model Checking	2013-12-11
Balázs Kósa	András id. Benczúr		2013-12-16 10:00:00	Structural Recursions on Edge-Labelled Graphs	2014-03-20
Csaba Kerepesi	Vince Grolmusz		2018-05-04 14:30:00	Data Mining in Genomics, Metagenomics and Connectomics	2018-06-01
Péter Kovács	Zoltán Király		2019-11-04 16:30:00	Efficient Algorithms for Graph Optimization Problems	2019-11-21
Zoltán Megyesi	Dmitrij Csetverikov		2010-06-04 11:00:00	Dense Matching Methods for 3D Scene Reconstruction from Wide Baseline Images	2010-09-30
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
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
Tekla Tóth	Levente Hajder		2024-01-18 13:30:00	Target-Based LiDAR-Camera Calibration	2024-02-22
Rudolf Szendrei	István Elek		2014-11-28 14:00:00	Topográfiai térképek automatikus raszter-vektor konverziója	2014-12-18
Dániel Horpácsi	Zoltán Horváth		2019-01-17 10:30:00	Verification and Application of Program Transformations	2019-02-07
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
Richárd Szabó	György Kampis		2008-04-09 10:00:00	Mobil ágensek navigációjának vizsgálataszimulációs környezetekben	2008-06-12
Gianfranco Pedone	László (1931-2020) Varga		2012-10-19 13:00:00	Multi Agent Systems	2012-12-13
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
Richárd Szalay	Zoltán Porkoláb		2024-06-13 10:30:00	Static Analyses for Enhancing the Maintenance and Evolution of Large-Scale C++ Software Systems
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
László Germán	Imre Kátai		2009-04-28 17:30:00	Distribution of additive arithmetical functions	2009-06-11
Péter Kiss	Tomás Horváth		2022-01-13 16:30:00	Federated Learning of Artificial Neural Networks	2022-06-09
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
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
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
István Bíró	András Lukács		2010-02-12 14:00:00	Document Classification With Latent Dirichlet Allocation	2010-04-28
Ákos Rudas	Sándor Laki		2022-05-16 12:30:00	New Algorithms and Applications in Computational Medicine	2022-06-09
Anna Medve	László Kozma		2014-05-05 10:15:00	Modellvezérelt szoftverfejlesztés a gyakorlatban	2014-06-12
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
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
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
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
Balázs Csanád Csáji	László Monostori		2008-12-15 14:00:00	Adaptive Resource Control	2009-01-29
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
Róbert Pántya	László Zsakó		2012-11-21 09:00:00	Mesterséges intelligencia elemekkel támogatott programozás oktatása	2012-12-13
Ágnes Chripkó	László Szili		2016-04-04 14:00:00	Fourier-Jacobi-sorok konvergenciája	2016-05-19
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
Ádám Sipos	Zoltán Porkoláb		2009-10-19 10:30:00	Template metaprogramok hatékony fejlesztése	2009-12-17
Khawla Bouafia	Bálint Molnár		2022-01-28 11:30:00	Investigation of Modelling of Dynamic Business Processes	2022-06-09
Péter Diviánszky	Zoltán Horváth		2013-12-05 14:00:00	Referenciák tisztán funkcionális nyelvekben	2013-12-11
Károly Csalogány	András ifj. Benczúr		2010-06-03 10:15:00	Methods for Web Spam Filtering	2010-09-30
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
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 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
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
Péter Torma	Csaba Szepesvári		2008-02-22 14:00:00	TOWARDS Efficient Vision-based Object Tracking Algorithms: Rehabilitating visual information in Particle filtering	2008-06-12
Gergely Attila Nagy	Zoltán Porkoláb		2021-03-04 13:30:00	Elements of Multiparadigm Programming in Scala	2021-06-10
Csaba István Sidló	András Lukács		2012-07-05 11:00:00	Business intelligence on scalable architectures	2012-09-13
Imre Bende	László Zsakó		2024-06-07 11:00:00	AZ ALGORITMUSVIZUALIZÁCIÓ FELHASZNÁLÁSI LEHETŐSÉGEINEK VIZSGÁLATA AZ ALGORITMUSOKTATÁSBAN
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
Máté Tejfel	Zoltán Horváth		2008-11-07 16:00:00	Funkcionális programozási nyelvek helyességvizsgálata	2009-01-29
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
Gyöngyvér Kiss	Antal Járai		2017-03-03 13:00:00	An Implementation and Analysis of the ECPP Algorithm	2017-05-25
Áron Baráth	Zoltán Porkoláb		2019-03-20 12:00:00	Towards Safer Programming Language Constructs	2019-04-04
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
Paul Yash	Sándor Fridli		2022-03-16 14:30:00	Epileptic seizures and sleep states detection using hybrid approaches	2022-06-09
Moohanad Rasheed Hassan Jawthari	Veronika Stoffa		2023-11-17 09:00:00	Students Outcomes Prediction using Data Mining	2024-02-22
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

Export data in CSV format

Restore original arrangement

1 101

Results: 145 Visible: 1-100