Bejelentkezés
Fórum
Szervezet
tisztségviselők
tagintézmények
határozatok
alapító okirat
ügyrend
Doktori képzés
doktori iskolák
intézményenként
tudományáganként
azonosító alapján
megszűnt
oktatók
név alapján
kutatási téma szerint
archívum
témakiírások
doktori iskolánként
tudományáganként
kutatási téma szerint
témavezetések
hallgatók keresése
Doktori védések
intézményenként
tudományáganként
név szerint
dátum szerint
doktori iskolánként
Honosított fokozatok
intézményenként
tudományáganként
név szerint
dátum szerint
Habilitációs előadások
intézményenként
tudományterületenként
név szerint
Dokumentumok
nyilvános anyagok
hírek
jogszabályok
útmutatók
Kapcsolatok
elérhetőségünk
partnereink
intézményenként
tudományáganként
név szerint
dátum szerint
doktori iskolánként
Doktori védések lekérdezése doktori iskolánként
intézmény neve
--- Kérem, válasszon! ---
Állatorvostudományi Egyetem
Andrássy Gyula Budapesti Német Nyelvű Egyetem
Budapesti Corvinus Egyetem
Budapesti Gazdasági Egyetem
Budapesti Műszaki és Gazdaságtudományi Egyetem
Debreceni Egyetem
Debreceni Református Hittudományi Egyetem
Eötvös Loránd Tudományegyetem
Eszterházy Károly Katolikus Egyetem
Evangélikus Hittudományi Egyetem
Kaposvári Egyetem
Károli Gáspár Református Egyetem
Közép-európai Egyetem
Liszt Ferenc Zeneművészeti Egyetem
Magyar Agrár- és Élettudományi Egyetem
Magyar Képzőművészeti Egyetem
Magyar Testnevelési és Sporttudományi Egyetem
Milton Friedman Egyetem
Miskolci Egyetem
Moholy-Nagy Művészeti Egyetem
Nemzeti Közszolgálati Egyetem
Neumann János Egyetem
Nyugat-magyarországi Egyetem
Óbudai Egyetem
Országos Rabbiképző – Zsidó Egyetem
Pannon Egyetem
Pázmány Péter Katolikus Egyetem
Pécsi Tudományegyetem
Semmelweis Egyetem
Soproni Egyetem
Széchenyi István Egyetem
Szegedi Tudományegyetem
Színház- és Filmművészeti Egyetem
Wesley János Lelkészképző Főiskola
Zrínyi Miklós Nemzetvédelmi Egyetem
doktori iskola
--- Kérem, válasszon! ---
keresett doktori iskola azonosítója
időpont szerint
jövőbeli vagy nemrég lezajlott védések
megtörtént sikeres védések
eredménytelen védések
elmaradt védések
további védések
Informatika Doktori Iskola doktori védései
Adatok exportálása CSV formátumban.
Alapértelmezett rendezés visszaállítása
1
101
Találatok: 147 Látható: 1-100
doktorjelölt neve
témavezető
társ témavezető
védés időpontja
értekezés címe
cím odaítélése /döntés dátuma
Erdélyi Krisztina
Zsakó László
2012-05-21 14:00:00
Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak
2012-07-17
Kvaszingerné Prantner Csilla
Zsakó László
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
Bende Imre
Zsakó László
2024-06-07 11:00:00
AZ ALGORITMUSVIZUALIZÁCIÓ FELHASZNÁLÁSI LEHETŐSÉGEINEK VIZSGÁLATA AZ ALGORITMUSOKTATÁSBAN
Pántya Róbert
Zsakó László
2012-11-21 09:00:00
Mesterséges intelligencia elemekkel támogatott programozás oktatása
2012-12-13
Erdősné Németh Ágnes
Zsakó László
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
Kovácsné Pusztai Kinga Emese
Zsakó László
2022-05-18 10:30:00
Számítógépes gondolkodás a felsőoktatásban
2022-06-09
Szalayné Tahy Zsuzsanna
Zsakó László
2022-09-30 14:00:00
Az informatika (programozás) oktatásának módszertani kérdései
2022-10-27
Bernát Péter
Zsakó László
2020-05-26 10:30:00
A bevezető programozástanítás stratégiái
2020-08-06
Szarvas Kristóf
Weisz Ferenc
2017-05-15 14:15:00
Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben
2017-10-12
Nagy-Csiha Zsuzsanna
Weisz Ferenc
Pap Margit
2024-06-18 15:00:00
Blaschke függvényekkel és Malmquist - Takenaka rendszerekkel kapcsolatos eredmények kiterjesztése
Fábián Gábor
Weisz Ferenc
Gergó Lajos
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
Valasek Gábor
Vida János (1961 - 2020)
2016-04-14 12:00:00
Nonlinear Geometric Models
2016-05-19
Pedone Gianfranco
Varga László (1931-2020)
2012-10-19 13:00:00
Multi Agent Systems
2012-12-13
Salvi Péter
Várady Tamás
2012-12-20 11:00:00
Fair Curves and Surfaces
2013-03-21
Egri Péter
Váncza József
2009-11-19 14:30:00
Coordination in Production Networks
2009-12-17
Béres Ilona
Turcsányi-Szabó Márta
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
Altangerel Gereltsetseg
Tejfel Máté
2024-07-02 12:30:00
Advanced Data Plane Applications and Optimization Possibilities
Németh Boldizsár
Tejfel Máté
2020-06-05 13:30:00
Program abstraction and efficient execution
2020-08-06
Törley Gábor
Szlávi Péter
2014-06-17 14:00:00
Vizualizáció a Programozástanításban
2014-09-18
Chripkó Ágnes
Szili László
2016-04-04 14:00:00
Fourier-Jacobi-sorok konvergenciája
2016-05-19
Németh Zsolt
Szili László
2016-06-27 14:00:00
De la Vallée Poussin Type Approximation Methods
2016-07-06
Torma Péter
Szepesvári Csaba
2008-02-22 14:00:00
TOWARDS Efficient Vision-based Object Tracking Algorithms: Rehabilitating visual information in Particle filtering
2008-06-12
Végh Ladislav
Stoffa Veronika
Turcsányi-Szabó Márta
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
Hassan Jawthari Moohanad Rasheed
Stoffa Veronika
2023-11-17 09:00:00
Students Outcomes Prediction using Data Mining
2024-02-22
Udvaros József
Stoffa Veronika
Zsakó László
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
Király Balázs
Schipp Ferenc
Pap Margit
2018-12-11 11:30:00
Szorzatrendszer-konstrukciók
2019-02-07
Lócsi Levente
Schipp Ferenc
2015-02-06 11:00:00
Racionális függvényrendszerek alkalmazása a jelfeldolgozásban
2015-03-19
Menyhárt László Gábor
Remzső Tibor
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
Biczó Mihály
Porkoláb Zoltán
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
Pócza Krisztián
Porkoláb Zoltán
2010-10-26 11:00:00
.Net alapú programok minőségének és biztonságának növelése
2011-03-17
Nagy Gergely Attila
Porkoláb Zoltán
2021-03-04 13:30:00
Elements of Multiparadigm Programming in Scala
2021-06-10
Szalay Richárd
Porkoláb Zoltán
2024-06-13 10:30:00
Static Analyses for Enhancing the Maintenance and Evolution of Large-Scale C++ Software Systems
Baráth Áron
Porkoláb Zoltán
2019-03-20 12:00:00
Towards Safer Programming Language Constructs
2019-04-04
Pataki Norbert
Porkoláb Zoltán
2013-07-08 11:00:00
Generatív programok helyessége
2013-09-12
Fekete Anett
Porkoláb Zoltán
2024-06-05 14:00:00
Integration of code comprehension support into the software development process
Márton Gábor
Porkoláb Zoltán
2019-07-11 12:30:00
Tools and Language Elements for Testing, Encapsulation and Controlling Abstraction in Large Scale C++ Projects
2019-11-21
Sinkovics Ábel
Porkoláb Zoltán
2014-01-16 16:00:00
The connection between C++ template metaprogramming and functional programming
2014-03-20
Sipos Ádám
Porkoláb Zoltán
2009-10-19 10:30:00
Template metaprogramok hatékony fejlesztése
2009-12-17
Mihalicza József
Porkoláb Zoltán
2015-05-29 13:00:00
Analysis and Methods for Supporting Generative Metaprogramming in Large Scale C++ Projects
2015-10-01
Zólyomi István
Porkoláb Zoltán
2010-01-15 10:30:00
Metaprogramok alkalmazása erősen típusos objektum-orientált rendszerek kiterjesztésére
2010-04-28
Jakab Hunor Sándor
Pop F. Horia
Istenes Zoltán
2012-03-19 08:00:00
Intelligent Models for Robotic Behavior, Decision Making and Environment Interaction
2012-05-03
Horváth Gábor
Pataki Norbert
2021-08-30 11:30:00
Static Analyses for C++ in the Presence of Separate Compilation
2021-10-25
Katona Zsolt
Móri Tamás
2007-04-23 14:00:00
Random Graph Models
2007-07-12
Csáji Balázs Csanád
Monostori László
2008-12-15 14:00:00
Adaptive Resource Control
2009-01-29
Ma Chuangtao
Molnár Bálint
Benczúr András id.
2023-12-08 10:00:00
Knowledge Enhanced Schema Matching for Heterogeneous Data Integration
2024-02-22
Bouafia Khawla
Molnár Bálint
2022-01-28 11:30:00
Investigation of Modelling of Dynamic Business Processes
2022-06-09
Kherbouche Meriem
Molnár Bálint
Benczúr András id.
2023-12-15 11:00:00
Business Process Model to Program: Model Transformation by the Recent Technologies
2024-02-22
Varga Dániel
Lukács András
Kornai András
2013-03-18 12:00:00
Natural Language Processing of Large Parallel Corpora
2013-06-20
Novák Ádám
Lukács András
Miklós István
2015-06-29 15:00:00
Statistical sequence alignment with applications in evolutionary footprinting and protein secondary structure prdeiction
2015-10-01
Bíró István
Lukács András
2010-02-12 14:00:00
Document Classification With Latent Dirichlet Allocation
2010-04-28
Sidló Csaba István
Lukács András
2012-07-05 11:00:00
Business intelligence on scalable architectures
2012-09-13
Szabó Zoltán
Lőrincz András
2009-05-26 13:30:00
Separation Principles in Independent Process Analysis
2009-06-11
Gyenes Viktor
Lőrincz András
2011-10-12 16:30:00
Combinatorial - Compositional Representations
2011-12-08
Palotai Zsolt
Lőrincz András
2008-05-26 11:30:00
Distributed Survavible Pipeline Computation and Communication
2008-06-12
Pintér Balázs
Lőrincz András
2019-02-01 16:30:00
Word meaning for open domain dialogue systems
2019-04-04
Milacski Zoltán Ádám
Lőrincz András
2021-09-02 15:30:00
Temporal Reconstruction Methods in Self-Supervised Machine Learning
2021-10-25
Szita István
Lőrincz András
2007-12-13 14:30:00
Megerősítéses tanulás komplex környezetekben
2008-02-07
Yan Yuping
Ligeti Péter
2024-07-03 13:00:00
PRIVACY-PRESERVING TECHNIQUES IN DATA ACCESS AND SHARING
Rudas Ákos
Laki Sándor
2022-05-16 12:30:00
New Algorithms and Applications in Computational Medicine
2022-06-09
A Alwahab Dhulfiqar
Laki Sándor
2021-09-09 09:30:00
Resource Management with AQM
2021-10-25
Kárász Péter
Lakatos László
2009-05-12 16:00:00
Cyclic- Waiting and Vacational Queuing Systems
2009-06-11
Biro Csaba
Kozsik Tamás
Kusper Gábor
2019-09-13 11:30:00
Formal Methods for Modelling Wireless Sensor Networks
2019-11-21
Rill Róbert Adrian
Kozsik Tamás
Pop F. Horia
2021-09-29 13:30:00
Towards Human-in-the-Loop Cyber-Physical Systems
2022-01-28
Páli Gábor János
Kozsik Tamás
Pop F. Horia
2014-12-12 15:00:00
Functional Modelling of Operating Systems
2014-12-18
Medve Anna
Kozma László
2014-05-05 10:15:00
Modellvezérelt szoftverfejlesztés a gyakorlatban
2014-06-12
Ugron Balázs
Kozma László
2008-02-15 13:00:00
Synzhesis of the synchronisation code of pipeline systems
2008-06-12
Hajdara Szabolcs
Kozma László
2008-02-15 15:00:00
Designing and synthesizing the synchronization of concurrent object-oriented systems
2008-06-12
Dávid Ákos
Kozma László
2013-09-26 10:00:00
Verification of Computer-Based Software with Model Checking
2013-12-11
Tihanyi Norbert
Kovács Attila
2019-11-13 11:30:00
Numerical computing of extremely large values of the Riemann-Siegel Z-function
2020-02-13
Tátrai Antal László
Kovács Attila
2014-02-07 10:00:00
Distributive and parallel problem solving - methods, data structures and algorithms
2014-03-20
Szabados Kristóf
Kovács Attila
2018-12-12 10:00:00
Quality Aspects of TTCN-3 Based Test Systems
2019-02-07
Burcsi Péter
Kovács Attila
2008-12-16 15:00:00
Algorithmic Aspects of Generalized Number Systems
2009-01-29
Nemeskey Dávid Márk
Kornai András
Benczúr András ifj.
2021-03-22 10:30:00
Natural Language Processing Methods for Language Modeling
2021-06-10
Le Anh Vu
Kiss Attila
2008-10-10 14:00:00
Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes
2009-01-29
Fogarassyné Vathy Ágnes
Kiss Attila
2009-01-07 11:00:00
Novel Graph Based Clustering and Visualization Algorithms for Data Mining
2009-01-29
Gombos Gergő
Kiss Attila
2018-09-10 09:30:00
Szemantikus adatok lekérdezése federált és osztott rendszereken
2018-09-27
Matuszka Tamás
Kiss Attila
2016-09-08 10:00:00
Szemantikus web technológiák által támogatott kiterjesztett valóság
2016-10-13
Rácz Gábor
Kiss Attila
2018-06-12 15:30:00
Adatgráfok alkalmazási területei
2018-09-27
Vörös Péter
Kiss Attila
2019-11-05 10:30:00
Újgenerációs adat- és hálózatbiztonsági módszerek
2019-11-21
Kovács Péter
Király Zoltán
2019-11-04 16:30:00
Efficient Algorithms for Graph Optimization Problems
2019-11-21
Gerbner Dániel
Katona Gyula
2009-12-09 16:00:00
Extremal Combinatorial Problems
2009-12-17
Horváth-Bui Mai Khanh
Kátai Imre
2021-07-02 09:00:00
Arithmetical functions with applications of Maple
2021-10-25
Germán László
Kátai Imre
2009-04-28 17:30:00
Distribution of additive arithmetical functions
2009-06-11
Nagy Gábor
Kátai Imre
2013-04-17 17:00:00
Általánosított számrendszerek vizsgálata a komplex számok körében
2013-06-20
Szabó Richárd
Kampis György
2008-04-09 10:00:00
Mobil ágensek navigációjának vizsgálataszimulációs környezetekben
2008-06-12
Farkas Zoltán
Kacsuk Péter
2013-10-14 13:00:00
A generic grid interoperability solution and discussion of related hierarchical scheduling questions
2013-12-11
Kiss Gyöngyvér
Járai Antal
2017-03-03 13:00:00
An Implementation and Analysis of the ECPP Algorithm
2017-05-25
Vatai Emil
Járai Antal
2015-02-06 14:00:00
Sieving in primality testing and factorization
2015-03-19
Czirbusz Sándor
Járai Antal
2016-06-20 14:00:00
Függvényegyenletek regularitási tulajdonságainak vizsgálata számítógéppel
2016-07-14
Pásztor Attila
Istenes Zoltán
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
Bakonyi Viktória Judit
Illés Zoltán
2021-05-27 09:30:00
Valós-idejű oktatási alkalmazások okoseszközök használatával
2021-10-25
Tóth Melinda
Horváth Zoltán
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
Király Roland
Horváth Zoltán
2015-01-12 09:30:00
Erland programok transzformációja bonyolultsági mérőszámok alapján
2015-03-19
Zsók Viktória
Horváth Zoltán
2013-07-08 13:00:00
Parallel Functional programming Using D-Clean
2013-09-12
Hernyák Zoltán
Horváth Zoltán
2010-06-07 16:00:00
A D-Box koordinációs nyelv és a futtató rendszer
2010-09-30
Diviánszky Péter
Horváth Zoltán
2013-12-05 14:00:00
Referenciák tisztán funkcionális nyelvekben
2013-12-11
Bozó István
Horváth Zoltán
2019-01-16 10:30:00
Erlang programok statikus elemzése és szeletelése
2019-02-07
Takács Rita
Horváth Zoltán
Oláh Attila
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
Horpácsi Dániel
Horváth Zoltán
2019-01-17 10:30:00
Verification and Application of Program Transformations
2019-02-07
Reale Anna
Horváth Zoltán
Tóth Melinda
2022-02-22 10:30:00
Enabling 5G Edge Native Applications
2022-06-09
Adatok exportálása CSV formátumban.
Alapértelmezett rendezés visszaállítása
1
101
Találatok: 147 Látható: 1-100
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )