Hungarian Doctoral Council

Doctoral defenses of Doctoral School of Informatics

Export data in CSV format

Restore original arrangement

1 101

Results: 141 Visible: 1-100

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

Péter Lehotay-Kéry	Attila Kiss		2024-02-28 14:00:00	Heurisztikus módszerek speciális szövegek hatékony kezelésére
Ferenc Fejes	Sándor Laki		2024-04-12 10:30:00	On Scalable Network Quality of Service
Zsolt Katona	Tamás Móri		2007-04-23 14:00:00	Random Graph Models	2007-07-12
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
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
Zsolt Gyula Hernáth	András id. Benczúr		2007-11-29 10:00:00	Az adatoknak a valós világ modellezésében betöltött szerepéről: az adat és ami mögötte van	2008-02-07
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
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
Zsolt Palotai	András Lőrincz		2008-05-26 11:30:00	Distributed Survavible Pipeline Computation and Communication	2008-06-12
Szabolcs Hajdara	László Kozma		2008-02-15 15:00:00	Designing and synthesizing the synchronization of concurrent object-oriented systems	2008-06-12
Balázs Ugron	László Kozma		2008-02-15 13:00:00	Synzhesis of the synchronisation code of pipeline systems	2008-06-12
Balázs Csanád Csáji	László Monostori		2008-12-15 14:00:00	Adaptive Resource Control	2009-01-29
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
Péter Burcsi	Attila Kovács		2008-12-16 15:00:00	Algorithmic Aspects of Generalized Number Systems	2009-01-29
Ágnes Fogarassyné Vathy	Attila Kiss		2009-01-07 11:00:00	Novel Graph Based Clustering and Visualization Algorithms for Data Mining	2009-01-29
Máté Tejfel	Zoltán Horváth		2008-11-07 16:00:00	Funkcionális programozási nyelvek helyességvizsgálata	2009-01-29
László Germán	Imre Kátai		2009-04-28 17:30:00	Distribution of additive arithmetical functions	2009-06-11
Péter Kárász	László Lakatos		2009-05-12 16:00:00	Cyclic- Waiting and Vacational Queuing Systems	2009-06-11
Zoltán Szabó	András Lőrincz		2009-05-26 13:30:00	Separation Principles in Independent Process Analysis	2009-06-11
Ádám Sipos	Zoltán Porkoláb		2009-10-19 10:30:00	Template metaprogramok hatékony fejlesztése	2009-12-17
Dániel Gerbner	Gyula Katona		2009-12-09 16:00:00	Extremal Combinatorial Problems	2009-12-17
Péter Egri	József Váncza		2009-11-19 14:30:00	Coordination in Production Networks	2009-12-17
Gánor Csárdi	Péter Érdi		2010-02-26 14:00:00	Modeling Complex Systems by Evolving Networks	2010-04-28
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
István Bíró	András Lukács		2010-02-12 14:00:00	Document Classification With Latent Dirichlet Allocation	2010-04-28
Zoltán Hernyák	Zoltán Horváth		2010-06-07 16:00:00	A D-Box koordinációs nyelv és a futtató rendszer	2010-09-30
Károly Csalogány	András ifj. Benczúr		2010-06-03 10:15:00	Methods for Web Spam Filtering	2010-09-30
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
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
Rafael Ördög	Vince Grolmusz		2010-12-01 09:00:00	Data Mining and Data Handling in the Field of Bioinformatics	2011-03-17
Balázs Torma	László Gerencsér		2011-03-16 10:00:00	Fundamental and Technical Analysis of Financial Markets	2011-06-15
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
Viktor Gyenes	András Lőrincz		2011-10-12 16:30:00	Combinatorial - Compositional Representations	2011-12-08
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
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
Krisztina Erdélyi	László Zsakó		2012-05-21 14:00:00	Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak	2012-07-17
Miklós Kurucz	András ifj. Benczúr		2012-04-25 14:00:00	Data Mining Applications of Singular Value Decomposition	2012-09-13
Csaba István Sidló	András Lukács		2012-07-05 11:00:00	Business intelligence on scalable architectures	2012-09-13
Gianfranco Pedone	László (1931-2020) Varga		2012-10-19 13:00:00	Multi Agent Systems	2012-12-13
Balázs Dezső	István Fekete		2012-10-26 12:00:00	Optimization methods in remote sensing and geoinformatics	2012-12-13
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
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
Péter Salvi	Tamás Várady		2012-12-20 11:00:00	Fair Curves and Surfaces	2013-03-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
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
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
Á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
Á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
Anna Medve	László Kozma		2014-05-05 10:15:00	Modellvezérelt szoftverfejlesztés a gyakorlatban	2014-06-12
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
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
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
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
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
Á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
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 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
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
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
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
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
Csaba Kerepesi	Vince Grolmusz		2018-05-04 14:30:00	Data Mining in Genomics, Metagenomics and Connectomics	2018-06-01
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
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
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
Á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
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
Csaba Biro	Tamás Kozsik	Gábor Kusper	2019-09-13 11:30:00	Formal Methods for Modelling Wireless Sensor Networks	2019-11-21

Export data in CSV format

Restore original arrangement

1 101

Results: 141 Visible: 1-100