Login
 Forum
 
by institution by research field by name by date by doctoral school  
Search for PhD defense according to doctoral school
name of institution
doctoral school
identification number of the doctoral school
defenses sorted by date




 
Doctoral defenses of Doctoral School of Informatics

name of doctoral candidate

thesis supervisor

co-supervisor

date of defense

title of thesis

date of decision of DS
Csilla Kvaszingerné PrantnerLászló Zsakó2019-11-04 14:00:00A hagyományos és elektronikus tanulási környezet kombinált alkalmazásainak vizsgálata- Oktatói portálok2019-11-21
Krisztina ErdélyiLászló Zsakó2012-05-21 14:00:00Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak2012-07-17
Kinga Emese Kovácsné PusztaiLászló Zsakó2022-05-18 10:30:00Számítógépes gondolkodás a felsőoktatásban2022-06-09
Zsuzsanna Szalayné TahyLászló Zsakó2022-09-30 14:00:00Az informatika (programozás) oktatásának módszertani kérdései2022-10-27
Péter BernátLászló Zsakó2020-05-26 10:30:00A bevezető programozástanítás stratégiái2020-08-06
Róbert PántyaLászló Zsakó2012-11-21 09:00:00Mesterséges intelligencia elemekkel támogatott programozás oktatása2012-12-13
Ágnes Erdősné NémethLászló Zsakó2019-03-14 13:00:00A Logo-tól az Informatikai Olimpiáig Informatikai Tehetséggondozás a Középiskolában2019-04-04
Kristóf SzarvasFerenc Weisz2017-05-15 14:15:00Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben2017-10-12
Gábor FábiánFerenc WeiszLajos Gergó2020-06-22 14:30:00Háromdimenziós testek és felületek számítógépes modelljei és approximációs módszerei2020-08-06
Gábor ValasekJános (1961 - 2020) Vida2016-04-14 12:00:00Nonlinear Geometric Models2016-05-19
Gianfranco PedoneLászló (1931-2020) Varga2012-10-19 13:00:00Multi Agent Systems2012-12-13
Péter SalviTamás Várady2012-12-20 11:00:00Fair Curves and Surfaces2013-03-21
Péter EgriJózsef Váncza2009-11-19 14:30:00Coordination in Production Networks2009-12-17
Ilona BéresMárta Turcsányi-Szabó2022-01-19 15:30:00Technológiával segített oktatási/tanulási módszerek vizsgálata a felsőoktatásban2022-04-12
Boldizsár NémethMáté Tejfel2020-06-05 13:30:00Program abstraction and efficient execution2020-08-06
Gábor TörleyPéter Szlávi2014-06-17 14:00:00Vizualizáció a Programozástanításban2014-09-18
Ágnes ChripkóLászló Szili2016-04-04 14:00:00Fourier-Jacobi-sorok konvergenciája2016-05-19
Zsolt NémethLászló Szili2016-06-27 14:00:00De la Vallée Poussin Type Approximation Methods2016-07-06
Péter TormaCsaba Szepesvári2008-02-22 14:00:00TOWARDS Efficient Vision-based Object Tracking Algorithms: Rehabilitating visual information in Particle filtering2008-06-12
Moohanad Rasheed Hassan JawthariVeronika Stoffa2023-11-17 09:00:00Students Outcomes Prediction using Data Mining2024-02-22
Ladislav VéghVeronika StoffaMárta Turcsányi-Szabó2018-01-30 14:30:00A programozás tanulásának és tanításának támogatása elektronikus tananyagba beépíthető interaktív animációs modellekkel2018-03-08
József UdvarosVeronika StoffaLászló Zsakó2018-01-30 12:30:00A digitális technológiák szerepe és lehetőségei a programozás tanításában2018-03-08
Balázs KirályFerenc SchippMargit Pap2018-12-11 11:30:00Szorzatrendszer-konstrukciók2019-02-07
Levente LócsiFerenc Schipp2015-02-06 11:00:00Racionális függvényrendszerek alkalmazása a jelfeldolgozásban2015-03-19
László Gábor MenyhártTibor Remzső2018-10-05 10:30:00Az XML technológia alapjai- XML az oktatásban, különös tekintettel a programozás oktatására2018-11-29
Ádám SiposZoltán Porkoláb2009-10-19 10:30:00Template metaprogramok hatékony fejlesztése2009-12-17
Gergely Attila NagyZoltán Porkoláb2021-03-04 13:30:00Elements of Multiparadigm Programming in Scala2021-06-10
József MihaliczaZoltán Porkoláb2015-05-29 13:00:00Analysis and Methods for Supporting Generative Metaprogramming in Large Scale C++ Projects2015-10-01
István ZólyomiZoltán Porkoláb2010-01-15 10:30:00Metaprogramok alkalmazása erősen típusos objektum-orientált rendszerek kiterjesztésére2010-04-28
Áron BaráthZoltán Porkoláb2019-03-20 12:00:00Towards Safer Programming Language Constructs2019-04-04
Mihály BiczóZoltán Porkoláb2012-11-30 11:00:00.NET programok minőségi mutatóinak javítása axióma alapú automatizált teszteléssel2012-12-13
Gábor MártonZoltán Porkoláb2019-07-11 12:30:00Tools and Language Elements for Testing, Encapsulation and Controlling Abstraction in Large Scale C++ Projects2019-11-21
Krisztián PóczaZoltán Porkoláb2010-10-26 11:00:00.Net alapú programok minőségének és biztonságának növelése2011-03-17
Norbert PatakiZoltán Porkoláb2013-07-08 11:00:00Generatív programok helyessége2013-09-12
Ábel SinkovicsZoltán Porkoláb2014-01-16 16:00:00The connection between C++ template metaprogramming and functional programming2014-03-20
Hunor Sándor JakabF. Horia PopZoltán Istenes2012-03-19 08:00:00Intelligent Models for Robotic Behavior, Decision Making and Environment Interaction2012-05-03
Gábor HorváthNorbert Pataki2021-08-30 11:30:00Static Analyses for C++ in the Presence of Separate Compilation2021-10-25
Zsolt KatonaTamás Móri2007-04-23 14:00:00Random Graph Models2007-07-12
Balázs Csanád CsájiLászló Monostori2008-12-15 14:00:00Adaptive Resource Control2009-01-29
Khawla BouafiaBálint Molnár2022-01-28 11:30:00Investigation of Modelling of Dynamic Business Processes2022-06-09
Meriem KherboucheBálint MolnárAndrás id. Benczúr2023-12-15 11:00:00Business Process Model to Program: Model Transformation by the Recent Technologies2024-02-22
Chuangtao MaBálint MolnárAndrás id. Benczúr2023-12-08 10:00:00Knowledge Enhanced Schema Matching for Heterogeneous Data Integration2024-02-22
Csaba István SidlóAndrás Lukács2012-07-05 11:00:00Business intelligence on scalable architectures2012-09-13
Dániel VargaAndrás LukácsAndrás Kornai2013-03-18 12:00:00Natural Language Processing of Large Parallel Corpora2013-06-20
Ádám NovákAndrás LukácsIstván Miklós2015-06-29 15:00:00Statistical sequence alignment with applications in evolutionary footprinting and protein secondary structure prdeiction2015-10-01
István BíróAndrás Lukács2010-02-12 14:00:00Document Classification With Latent Dirichlet Allocation2010-04-28
István SzitaAndrás Lőrincz2007-12-13 14:30:00Megerősítéses tanulás komplex környezetekben2008-02-07
Zoltán SzabóAndrás Lőrincz2009-05-26 13:30:00Separation Principles in Independent Process Analysis2009-06-11
Viktor GyenesAndrás Lőrincz2011-10-12 16:30:00Combinatorial - Compositional Representations2011-12-08
Zsolt PalotaiAndrás Lőrincz2008-05-26 11:30:00Distributed Survavible Pipeline Computation and Communication2008-06-12
Zoltán Ádám MilacskiAndrás Lőrincz2021-09-02 15:30:00Temporal Reconstruction Methods in Self-Supervised Machine Learning2021-10-25
Balázs PintérAndrás Lőrincz2019-02-01 16:30:00Word meaning for open domain dialogue systems2019-04-04
Ferenc FejesSándor Laki2024-04-12 10:30:00On Scalable Network Quality of Service
Dhulfiqar A AlwahabSándor Laki2021-09-09 09:30:00Resource Management with AQM2021-10-25
Ákos RudasSándor Laki2022-05-16 12:30:00New Algorithms and Applications in Computational Medicine2022-06-09
Péter KárászLászló Lakatos2009-05-12 16:00:00Cyclic- Waiting and Vacational Queuing Systems2009-06-11
Csaba BiroTamás KozsikGábor Kusper2019-09-13 11:30:00Formal Methods for Modelling Wireless Sensor Networks2019-11-21
Róbert Adrian RillTamás KozsikF. Horia Pop2021-09-29 13:30:00Towards Human-in-the-Loop Cyber-Physical Systems2022-01-28
Gábor János PáliTamás KozsikF. Horia Pop2014-12-12 15:00:00Functional Modelling of Operating Systems2014-12-18
Anna MedveLászló Kozma2014-05-05 10:15:00Modellvezérelt szoftverfejlesztés a gyakorlatban2014-06-12
Balázs UgronLászló Kozma2008-02-15 13:00:00Synzhesis of the synchronisation code of pipeline systems2008-06-12
Szabolcs HajdaraLászló Kozma2008-02-15 15:00:00Designing and synthesizing the synchronization of concurrent object-oriented systems2008-06-12
Ákos DávidLászló Kozma2013-09-26 10:00:00Verification of Computer-Based Software with Model Checking2013-12-11
Antal László TátraiAttila Kovács2014-02-07 10:00:00Distributive and parallel problem solving - methods, data structures and algorithms2014-03-20
Kristóf SzabadosAttila Kovács2018-12-12 10:00:00Quality Aspects of TTCN-3 Based Test Systems2019-02-07
Péter BurcsiAttila Kovács2008-12-16 15:00:00Algorithmic Aspects of Generalized Number Systems2009-01-29
Norbert TihanyiAttila Kovács2019-11-13 11:30:00Numerical computing of extremely large values of the Riemann-Siegel Z-function2020-02-13
Dávid Márk NemeskeyAndrás KornaiAndrás ifj. Benczúr2021-03-22 10:30:00Natural Language Processing Methods for Language Modeling2021-06-10
Péter Lehotay-KéryAttila Kiss2024-02-28 14:00:00Heurisztikus módszerek speciális szövegek hatékony kezelésére
Anh Vu LeAttila Kiss2008-10-10 14:00:00Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes2009-01-29
Ágnes Fogarassyné VathyAttila Kiss2009-01-07 11:00:00Novel Graph Based Clustering and Visualization Algorithms for Data Mining2009-01-29
Péter VörösAttila Kiss2019-11-05 10:30:00Újgenerációs adat- és hálózatbiztonsági módszerek2019-11-21
Gergő GombosAttila Kiss2018-09-10 09:30:00Szemantikus adatok lekérdezése federált és osztott rendszereken2018-09-27
Hayder FatlawiAttila Kiss2024-02-23 12:00:00Toward Effective Classification of Data Stream using Adaptive Machine Learning
Tamás MatuszkaAttila Kiss2016-09-08 10:00:00Szemantikus web technológiák által támogatott kiterjesztett valóság2016-10-13
Gábor RáczAttila Kiss2018-06-12 15:30:00Adatgráfok alkalmazási területei2018-09-27
Péter KovácsZoltán Király2019-11-04 16:30:00Efficient Algorithms for Graph Optimization Problems2019-11-21
Dániel GerbnerGyula Katona2009-12-09 16:00:00Extremal Combinatorial Problems2009-12-17
Gábor NagyImre Kátai2013-04-17 17:00:00Általánosított számrendszerek vizsgálata a komplex számok körében2013-06-20
Mai Khanh Horváth-BuiImre Kátai2021-07-02 09:00:00Arithmetical functions with applications of Maple2021-10-25
László GermánImre Kátai2009-04-28 17:30:00Distribution of additive arithmetical functions2009-06-11
Richárd SzabóGyörgy Kampis2008-04-09 10:00:00Mobil ágensek navigációjának vizsgálataszimulációs környezetekben2008-06-12
Zoltán FarkasPéter Kacsuk2013-10-14 13:00:00A generic grid interoperability solution and discussion of related hierarchical scheduling questions2013-12-11
Sándor CzirbuszAntal Járai2016-06-20 14:00:00Függvényegyenletek regularitási tulajdonságainak vizsgálata számítógéppel2016-07-14
Gyöngyvér KissAntal Járai2017-03-03 13:00:00An Implementation and Analysis of the ECPP Algorithm2017-05-25
Emil VataiAntal Járai2015-02-06 14:00:00Sieving in primality testing and factorization2015-03-19
Attila PásztorZoltán Istenes2013-05-24 11:00:00Modell-robotok felhasználása a multi-ágens alapú robotkooperáció kutatásban és az oktatásban2013-06-20
Viktória Judit BakonyiZoltán Illés2021-05-27 09:30:00Valós-idejű oktatási alkalmazások okoseszközök használatával2021-10-25
Dániel HorpácsiZoltán Horváth2019-01-17 10:30:00Verification and Application of Program Transformations2019-02-07
Máté TejfelZoltán Horváth2008-11-07 16:00:00Funkcionális programozási nyelvek helyességvizsgálata2009-01-29
Roland KirályZoltán Horváth2015-01-12 09:30:00Erland programok transzformációja bonyolultsági mérőszámok alapján2015-03-19
Melinda TóthZoltán Horváth2019-01-16 13:30:00Adat és kiértékelési függőségi elemzés funkcionális nyelvekre- Erlang programok statikus elemzése2019-02-07
Viktória ZsókZoltán Horváth2013-07-08 13:00:00Parallel Functional programming Using D-Clean2013-09-12
Zoltán HernyákZoltán Horváth2010-06-07 16:00:00A D-Box koordinációs nyelv és a futtató rendszer2010-09-30
Rita TakácsZoltán HorváthAttila Oláh2024-01-11 13:00:00Adatalapú é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ére2024-02-22
Péter DiviánszkyZoltán Horváth2013-12-05 14:00:00Referenciák tisztán funkcionális nyelvekben2013-12-11
István BozóZoltán Horváth2019-01-16 10:30:00Erlang programok statikus elemzése és szeletelése2019-02-07
Anna RealeZoltán HorváthMelinda Tóth2022-02-22 10:30:00Enabling 5G Edge Native Applications2022-06-09
Tsegaye Misikir TashuTomás Horváth2021-01-27 10:30:00Semantic-based Automatic Short Essay Evaluation and Recommendation System2021-03-19
Péter KissTomás Horváth2022-01-13 16:30:00Federated Learning of Artificial Neural Networks2022-06-09

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )