Bejelentkezés
 Fórum
 
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
doktori iskola
keresett doktori iskola azonosítója
időpont szerint




 
Informatika Doktori Iskola doktori védései

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
Udvaros JózsefStoffa VeronikaZsakó László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
Laki SándorCsabai IstvánVattay Gábor2015-06-17 09:00:00Analysis of complex communication networks: from measurement control to optimization2015-10-01
Mátray PéterCsabai IstvánVattay Gábor2014-05-29 17:00:00Az Internet térbeli szerkezetének elemzése és a Hálózati Mérések Virtuális Obszervatóriuma2014-09-18
Hajnal Ákos LászlóForgács IstvánVarga László Zsolt2013-09-13 13:00:00Practical Application of program Slicing and its Use in Software Testing and Maintenance2013-12-11
Bálint CsabaGergó LajosValasek Gábor2024-01-11 13:00:00Távolságalapú felületábrázolások és megjelenítésük2024-02-22
Végh LadislavStoffa VeronikaTurcsányi-Szabó Márta2018-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
Reale AnnaHorváth ZoltánTóth Melinda2022-02-22 10:30:00Enabling 5G Edge Native Applications2022-06-09
Tóth ViktóriaGonda JánosSárközy András2015-03-24 14:00:00Ütközés és lavinahatás vizsgálata véges pszeudovéletlen sorozatokban2015-05-14
Páli Gábor JánosKozsik TamásPop F. Horia2014-12-12 15:00:00Functional Modelling of Operating Systems2014-12-18
Rill Róbert AdrianKozsik TamásPop F. Horia2021-09-29 13:30:00Towards Human-in-the-Loop Cyber-Physical Systems2022-01-28
Király BalázsSchipp FerencPap Margit2018-12-11 11:30:00Szorzatrendszer-konstrukciók2019-02-07
Nagy-Csiha ZsuzsannaWeisz FerencPap Margit2024-06-18 15:00:00Blaschke függvényekkel és Malmquist - Takenaka rendszerekkel kapcsolatos eredmények kiterjesztése
Takács RitaHorváth ZoltánOláh Attila2024-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
Novák ÁdámLukács AndrásMiklós István2015-06-29 15:00:00Statistical sequence alignment with applications in evolutionary footprinting and protein secondary structure prdeiction2015-10-01
Lázár Katalin AnnaCsuhaj Varjú ErzsébetLőrincz András2011-01-10 14:00:00A Formal Language Theoretic Approach to Self-Orgainzing Networks2011-06-15
Biro CsabaKozsik TamásKusper Gábor2019-09-13 11:30:00Formal Methods for Modelling Wireless Sensor Networks2019-11-21
Varga DánielLukács AndrásKornai András2013-03-18 12:00:00Natural Language Processing of Large Parallel Corpora2013-06-20
Jakab Hunor SándorPop F. HoriaIstenes Zoltán2012-03-19 08:00:00Intelligent Models for Robotic Behavior, Decision Making and Environment Interaction2012-05-03
Fábián GáborWeisz FerencGergó Lajos2020-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
Szalai-Gindl János MárkCsabai IstvánDobos László2020-07-06 15:30:00Adatintenzív módszerek tudományos adatok kezelésére kozmológiai, térinformatikai és biológiai alkalmazásokkal2020-08-06
Nemeskey Dávid MárkKornai AndrásBenczúr András ifj.2021-03-22 10:30:00Natural Language Processing Methods for Language Modeling2021-06-10
Kherbouche MeriemMolnár BálintBenczúr András id.2023-12-15 11:00:00Business Process Model to Program: Model Transformation by the Recent Technologies2024-02-22
Ma ChuangtaoMolnár BálintBenczúr András id.2023-12-08 10:00:00Knowledge Enhanced Schema Matching for Heterogeneous Data Integration2024-02-22
Kudela GáborHegedűs CsabaBalásházy Imre2019-06-26 12:30:00Aeroszoldepozíciós légzőrendszeri modell fejlesztése2019-09-26
Tashu Tsegaye MisikirHorváth Tomás2021-01-27 10:30:00Semantic-based Automatic Short Essay Evaluation and Recommendation System2021-03-19
Tejfel MátéHorváth Zoltán2008-11-07 16:00:00Funkcionális programozási nyelvek helyességvizsgálata2009-01-29
Kósa BalázsBenczúr András id.2013-12-16 10:00:00Structural Recursions on Edge-Labelled Graphs2014-03-20
Nagy GáborKátai Imre2013-04-17 17:00:00Általánosított számrendszerek vizsgálata a komplex számok körében2013-06-20
Kerepesi CsabaGrolmusz Vince2018-05-04 14:30:00Data Mining in Genomics, Metagenomics and Connectomics2018-06-01
A Alwahab DhulfiqarLaki Sándor2021-09-09 09:30:00Resource Management with AQM2021-10-25
Zólyomi IstvánPorkoláb Zoltán2010-01-15 10:30:00Metaprogramok alkalmazása erősen típusos objektum-orientált rendszerek kiterjesztésére2010-04-28
Szendrei RudolfElek István2014-11-28 14:00:00Topográfiai térképek automatikus raszter-vektor konverziója2014-12-18
Horpácsi DánielHorváth Zoltán2019-01-17 10:30:00Verification and Application of Program Transformations2019-02-07
Uray Marcell JánosBurcsi Péter2022-03-31 12:30:00Algebrai számokkal kapcsolatos algoritmusok és számítások2022-06-09
Ördög RafaelGrolmusz Vince2010-12-01 09:00:00Data Mining and Data Handling in the Field of Bioinformatics2011-03-17
Mihalicza JózsefPorkoláb Zoltán2015-05-29 13:00:00Analysis and Methods for Supporting Generative Metaprogramming in Large Scale C++ Projects2015-10-01
Seres István AndrásBurcsi Péter2023-11-28 13:00:00Security and Privacy of Cryptocurrency Applications2024-02-22
Molnár JózsefCsetverikov Dmitrij2011-12-19 11:30:00Variációs módszerek a gépi látásban2012-05-03
Siklósi DávidBenczúr András ifj.2016-06-03 13:00:00Assesing the Quality of Web via Semi-Supervised Methods2016-07-14
Vörös PéterKiss Attila2019-11-05 10:30:00Újgenerációs adat- és hálózatbiztonsági módszerek2019-11-21
Fejes FerencLaki Sándor2024-04-12 10:30:00On Scalable Network Quality of Service
Biczó MihályPorkoláb Zoltán2012-11-30 11:00:00.NET programok minőségi mutatóinak javítása axióma alapú automatizált teszteléssel2012-12-13
Szarvas KristófWeisz Ferenc2017-05-15 14:15:00Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben2017-10-12
Németh BoldizsárTejfel Máté2020-06-05 13:30:00Program abstraction and efficient execution2020-08-06
Le Anh VuKiss Attila2008-10-10 14:00:00Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes2009-01-29
Bakonyi Viktória JuditIllés Zoltán2021-05-27 09:30:00Valós-idejű oktatási alkalmazások okoseszközök használatával2021-10-25
Szabó ZoltánLőrincz András2009-05-26 13:30:00Separation Principles in Independent Process Analysis2009-06-11
Medve AnnaKozma László2014-05-05 10:15:00Modellvezérelt szoftverfejlesztés a gyakorlatban2014-06-12
Zsók ViktóriaHorváth Zoltán2013-07-08 13:00:00Parallel Functional programming Using D-Clean2013-09-12
Menyhárt László GáborRemzső Tibor2018-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
Tóth MelindaHorváth Zoltán2019-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
Bende ImreZsakó László2024-06-07 11:00:00AZ ALGORITMUSVIZUALIZÁCIÓ FELHASZNÁLÁSI LEHETŐSÉGEINEK VIZSGÁLATA AZ ALGORITMUSOKTATÁSBAN
Béres IlonaTurcsányi-Szabó Márta2022-01-19 15:30:00Technológiával segített oktatási/tanulási módszerek vizsgálata a felsőoktatásban2022-04-12
Hernyák ZoltánHorváth Zoltán2010-06-07 16:00:00A D-Box koordinációs nyelv és a futtató rendszer2010-09-30
Király RolandHorváth Zoltán2015-01-12 09:30:00Erland programok transzformációja bonyolultsági mérőszámok alapján2015-03-19
Chripkó ÁgnesSzili László2016-04-04 14:00:00Fourier-Jacobi-sorok konvergenciája2016-05-19
Kovácsné Pusztai Kinga EmeseZsakó László2022-05-18 10:30:00Számítógépes gondolkodás a felsőoktatásban2022-06-09
Gyenes ViktorLőrincz András2011-10-12 16:30:00Combinatorial - Compositional Representations2011-12-08
Erdélyi KrisztinaZsakó László2012-05-21 14:00:00Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak2012-07-17
Bozsik JózsefFullér Róbert2016-06-13 10:00:00Heurisztikus eljárások alkalmazása a csődelőrejelzésekben2016-07-14
Pusztai ZoltánHajder Levente2019-11-08 15:00:00Accurate Sensor Calibration for Geometric Computer Vision2020-02-13
Ugron BalázsKozma László2008-02-15 13:00:00Synzhesis of the synchronisation code of pipeline systems2008-06-12
Eichhardt IvánCsetverikov Dmitrij2020-09-03 11:30:00Affine Correspondences and Challenges in Multi-Sensor Systems2020-11-23
Fogarassyné Vathy ÁgnesKiss Attila2009-01-07 11:00:00Novel Graph Based Clustering and Visualization Algorithms for Data Mining2009-01-29
Diviánszky PéterHorváth Zoltán2013-12-05 14:00:00Referenciák tisztán funkcionális nyelvekben2013-12-11
Milacski Zoltán ÁdámLőrincz András2021-09-02 15:30:00Temporal Reconstruction Methods in Self-Supervised Machine Learning2021-10-25
Gerbner DánielKatona Gyula2009-12-09 16:00:00Extremal Combinatorial Problems2009-12-17
László IstvánFekete István2014-11-07 11:00:00A 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ában2014-12-18
Ilyés EnikőGregorics Tibor2024-07-01 11:00:00Agilis szoftverfejlesztési módszertanok a felsőoktatásban
Pócza KrisztiánPorkoláb Zoltán2010-10-26 11:00:00.Net alapú programok minőségének és biztonságának növelése2011-03-17
Szabó AdriennBenczúr András ifj.2016-05-30 11:00:00Approaches to Efficient Multiple Sequence Alignment and Protein Search2016-07-14
Kovács PéterKirály Zoltán2019-11-04 16:30:00Efficient Algorithms for Graph Optimization Problems2019-11-21
Szalayné Tahy ZsuzsannaZsakó László2022-09-30 14:00:00Az informatika (programozás) oktatásának módszertani kérdései2022-10-27
Hernáth Zsolt GyulaBenczúr András id.2007-11-29 10:00:00Az adatoknak a valós világ modellezésében betöltött szerepéről: az adat és ami mögötte van2008-02-07
Tóth TeklaHajder Levente2024-01-18 13:30:00Target-Based LiDAR-Camera Calibration2024-02-22
Dezső BalázsFekete István2012-10-26 12:00:00Optimization methods in remote sensing and geoinformatics2012-12-13
Kiss GyöngyvérJárai Antal2017-03-03 13:00:00An Implementation and Analysis of the ECPP Algorithm2017-05-25
Bernát PéterZsakó László2020-05-26 10:30:00A bevezető programozástanítás stratégiái2020-08-06
Palotai ZsoltLőrincz András2008-05-26 11:30:00Distributed Survavible Pipeline Computation and Communication2008-06-12
Kárász PéterLakatos László2009-05-12 16:00:00Cyclic- Waiting and Vacational Queuing Systems2009-06-11
Tátrai Antal LászlóKovács Attila2014-02-07 10:00:00Distributive and parallel problem solving - methods, data structures and algorithms2014-03-20
Pataki NorbertPorkoláb Zoltán2013-07-08 11:00:00Generatív programok helyessége2013-09-12
Gombos GergőKiss Attila2018-09-10 09:30:00Szemantikus adatok lekérdezése federált és osztott rendszereken2018-09-27
Bozó IstvánHorváth Zoltán2019-01-16 10:30:00Erlang programok statikus elemzése és szeletelése2019-02-07
Fekete AnettPorkoláb Zoltán2024-06-05 14:00:00Integration of code comprehension support into the software development process
Kiss PéterHorváth Tomás2022-01-13 16:30:00Federated Learning of Artificial Neural Networks2022-06-09
Csárdi GánorÉrdi Péter2010-02-26 14:00:00Modeling Complex Systems by Evolving Networks2010-04-28
Ayala Gomez FrederickBenczúr András ifj.2019-05-07 16:30:00Context- Aware Recommendations for Groups in Location- Based Social Networks and Academic Social Networks2019-09-26
Rudas ÁkosLaki Sándor2022-05-16 12:30:00New Algorithms and Applications in Computational Medicine2022-06-09
Torma BalázsGerencsér László2011-03-16 10:00:00Fundamental and Technical Analysis of Financial Markets2011-06-15
Kurucz MiklósBenczúr András ifj.2012-04-25 14:00:00Data Mining Applications of Singular Value Decomposition2012-09-13
Matuszka TamásKiss Attila2016-09-08 10:00:00Szemantikus web technológiák által támogatott kiterjesztett valóság2016-10-13
Tihanyi NorbertKovács Attila2019-11-13 11:30:00Numerical computing of extremely large values of the Riemann-Siegel Z-function2020-02-13
Hajdara SzabolcsKozma László2008-02-15 15:00:00Designing and synthesizing the synchronization of concurrent object-oriented systems2008-06-12
Burcsi PéterKovács Attila2008-12-16 15:00:00Algorithmic Aspects of Generalized Number Systems2009-01-29
Katona ZsoltMóri Tamás2007-04-23 14:00:00Random Graph Models2007-07-12
Salvi PéterVárady Tamás2012-12-20 11:00:00Fair Curves and Surfaces2013-03-21
Horváth GáborPataki Norbert2021-08-30 11:30:00Static Analyses for C++ in the Presence of Separate Compilation2021-10-25
Egri PéterVáncza József2009-11-19 14:30:00Coordination in Production Networks2009-12-17
Törley GáborSzlávi Péter2014-06-17 14:00:00Vizualizáció a Programozástanításban2014-09-18


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
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. )