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
Szabó Gyula IstvánBenczúr András id.2014-12-05 14:00:00XML és Félig-Struktúrált Adatbázisok Függőségei2014-12-18
Pintér BalázsLőrincz András2019-02-01 16:30:00Word meaning for open domain dialogue systems2019-04-04
Törley GáborSzlávi Péter2014-06-17 14:00:00Vizualizáció a Programozástanításban2014-09-18
Dávid ÁkosKozma László2013-09-26 10:00:00Verification of Computer-Based Software with Model Checking2013-12-11
Horpácsi DánielHorváth Zoltán2019-01-17 10:30:00Verification and Application of Program Transformations2019-02-07
Molnár JózsefCsetverikov Dmitrij2011-12-19 11:30:00Variációs módszerek a gépi látásban2012-05-03
Szarvas KristófWeisz Ferenc2017-05-15 14:15:00Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben2017-10-12
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
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
Vörös PéterKiss Attila2019-11-05 10:30:00Újgenerációs adat- és hálózatbiztonsági módszerek2019-11-21
Kovács PéterFridli Sándor2016-05-17 14:00:00Transformation methods in signal processing2016-07-14
Baráth ÁronPorkoláb Zoltán2019-03-20 12:00:00Towards Safer Programming Language Constructs2019-04-04
Rill Róbert AdrianKozsik TamásPop F. Horia2021-09-29 13:30:00Towards Human-in-the-Loop Cyber-Physical Systems2022-01-28
Torma PéterSzepesvári Csaba2008-02-22 14:00:00TOWARDS Efficient Vision-based Object Tracking Algorithms: Rehabilitating visual information in Particle filtering2008-06-12
Szendrei RudolfElek István2014-11-28 14:00:00Topográfiai térképek automatikus raszter-vektor konverziója2014-12-18
Márton GáborPorkoláb Zoltán2019-07-11 12:30:00Tools and Language Elements for Testing, Encapsulation and Controlling Abstraction in Large Scale C++ Projects2019-11-21
Sinkovics ÁbelPorkoláb Zoltán2014-01-16 16:00:00The connection between C++ template metaprogramming and functional programming2014-03-20
Milacski Zoltán ÁdámLőrincz András2021-09-02 15:30:00Temporal Reconstruction Methods in Self-Supervised Machine Learning2021-10-25
Sipos ÁdámPorkoláb Zoltán2009-10-19 10:30:00Template metaprogramok hatékony fejlesztése2009-12-17
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
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
Tóth TeklaHajder Levente2024-01-18 13:30:00Target-Based LiDAR-Camera Calibration2024-02-22
Király BalázsSchipp FerencPap Margit2018-12-11 11:30:00Szorzatrendszer-konstrukciók2019-02-07
Matuszka TamásKiss Attila2016-09-08 10:00:00Szemantikus web technológiák által támogatott kiterjesztett valóság2016-10-13
Gombos GergőKiss Attila2018-09-10 09:30:00Szemantikus adatok lekérdezése federált és osztott rendszereken2018-09-27
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
Ugron BalázsKozma László2008-02-15 13:00:00Synzhesis of the synchronisation code of pipeline systems2008-06-12
Hassan Jawthari Moohanad RasheedStoffa Veronika2023-11-17 09:00:00Students Outcomes Prediction using Data Mining2024-02-22
Kósa BalázsBenczúr András id.2013-12-16 10:00:00Structural Recursions on Edge-Labelled Graphs2014-03-20
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
Horváth GáborPataki Norbert2021-08-30 11:30:00Static Analyses for C++ in the Presence of Separate Compilation2021-10-25
Vatai EmilJárai Antal2015-02-06 14:00:00Sieving in primality testing and factorization2015-03-19
Szabó ZoltánLőrincz András2009-05-26 13:30:00Separation Principles in Independent Process Analysis2009-06-11
Tashu Tsegaye MisikirHorváth Tomás2021-01-27 10:30:00Semantic-based Automatic Short Essay Evaluation and Recommendation System2021-03-19
Seres István AndrásBurcsi Péter2023-11-28 13:00:00Security and Privacy of Cryptocurrency Applications2024-02-22
A Alwahab DhulfiqarLaki Sándor2021-09-09 09:30:00Resource Management with AQM2021-10-25
Diviánszky PéterHorváth Zoltán2013-12-05 14:00:00Referenciák tisztán funkcionális nyelvekben2013-12-11
Bartha DénesBurcsi Péter2022-02-03 13:30:00Reconstructibility of Tree Graphs2022-04-12
Katona ZsoltMóri Tamás2007-04-23 14:00:00Random Graph Models2007-07-12
Lócsi LeventeSchipp Ferenc2015-02-06 11:00:00Racionális függvényrendszerek alkalmazása a jelfeldolgozásban2015-03-19
Szabados KristófKovács Attila2018-12-12 10:00:00Quality Aspects of TTCN-3 Based Test Systems2019-02-07
Dévai GergelyCsörnyei Zoltán2017-06-27 14:00:00Programhelyesség-bizonyítás fordítási időben2018-03-08
Németh BoldizsárTejfel Máté2020-06-05 13:30:00Program abstraction and efficient execution2020-08-06
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
Zsók ViktóriaHorváth Zoltán2013-07-08 13:00:00Parallel Functional programming Using D-Clean2013-09-12
Bognár GergőFridli Sándor2020-02-24 14:30:00Orvosi jel- és képfeldolgozás transzformációs módszerekkel2020-03-12
Dezső BalázsFekete István2012-10-26 12:00:00Optimization methods in remote sensing and geoinformatics2012-12-13
Fejes FerencLaki Sándor2024-04-12 10:30:00On Scalable Network Quality of Service
Tihanyi NorbertKovács Attila2019-11-13 11:30:00Numerical computing of extremely large values of the Riemann-Siegel Z-function2020-02-13
Fogarassyné Vathy ÁgnesKiss Attila2009-01-07 11:00:00Novel Graph Based Clustering and Visualization Algorithms for Data Mining2009-01-29
Valasek GáborVida János (1961 - 2020)2016-04-14 12:00:00Nonlinear Geometric Models2016-05-19
Rudas ÁkosLaki Sándor2022-05-16 12:30:00New Algorithms and Applications in Computational Medicine2022-06-09
Varga DánielLukács AndrásKornai András2013-03-18 12:00:00Natural Language Processing of Large Parallel Corpora2013-06-20
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
Pedone GianfrancoVarga László (1931-2020)2012-10-19 13:00:00Multi Agent Systems2012-12-13
Medve AnnaKozma László2014-05-05 10:15:00Modellvezérelt szoftverfejlesztés a gyakorlatban2014-06-12
Pásztor AttilaIstenes Zoltán2013-05-24 11:00:00Modell-robotok felhasználása a multi-ágens alapú robotkooperáció kutatásban és az oktatásban2013-06-20
Csárdi GánorÉrdi Péter2010-02-26 14:00:00Modeling Complex Systems by Evolving Networks2010-04-28
Szabó RichárdKampis György2008-04-09 10:00:00Mobil ágensek navigációjának vizsgálataszimulációs környezetekben2008-06-12
Csalogány KárolyBenczúr András ifj.2010-06-03 10:15:00Methods for Web Spam Filtering2010-09-30
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
Pántya RóbertZsakó László2012-11-21 09:00:00Mesterséges intelligencia elemekkel támogatott programozás oktatása2012-12-13
Szita IstvánLőrincz András2007-12-13 14:30:00Megerősítéses tanulás komplex környezetekben2008-02-07
Daróczy Bálint ZoltánBenczúr András ifj.2017-02-20 14:00:00Machine Learning Methods for Multimedia Information Retrieval2017-05-25
Ma ChuangtaoMolnár BálintBenczúr András id.2023-12-08 10:00:00Knowledge Enhanced Schema Matching for Heterogeneous Data Integration2024-02-22
Bouafia KhawlaMolnár Bálint2022-01-28 11:30:00Investigation of Modelling of Dynamic Business Processes2022-06-09
Jakab Hunor SándorPop F. HoriaIstenes Zoltán2012-03-19 08:00:00Intelligent Models for Robotic Behavior, Decision Making and Environment Interaction2012-05-03
Erdélyi KrisztinaZsakó László2012-05-21 14:00:00Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak2012-07-17
Lehotay-Kéry PéterKiss Attila2024-02-28 14:00:00Heurisztikus módszerek speciális szövegek hatékony kezelésére
Bozsik JózsefFullér Róbert2016-06-13 10:00:00Heurisztikus eljárások alkalmazása a csődelőrejelzésekben2016-07-14
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
Pataki NorbertPorkoláb Zoltán2013-07-08 11:00:00Generatív programok helyessége2013-09-12
Tejfel MátéHorváth Zoltán2008-11-07 16:00:00Funkcionális programozási nyelvek helyességvizsgálata2009-01-29
Torma BalázsGerencsér László2011-03-16 10:00:00Fundamental and Technical Analysis of Financial Markets2011-06-15
Páli Gábor JánosKozsik TamásPop F. Horia2014-12-12 15:00:00Functional Modelling of Operating Systems2014-12-18
Czirbusz SándorJárai Antal2016-06-20 14:00:00Függvényegyenletek regularitási tulajdonságainak vizsgálata számítógéppel2016-07-14
Chripkó ÁgnesSzili László2016-04-04 14:00:00Fourier-Jacobi-sorok konvergenciája2016-05-19
Biro CsabaKozsik TamásKusper Gábor2019-09-13 11:30:00Formal Methods for Modelling Wireless Sensor Networks2019-11-21
Kiss PéterHorváth Tomás2022-01-13 16:30:00Federated Learning of Artificial Neural Networks2022-06-09
Salvi PéterVárady Tamás2012-12-20 11:00:00Fair Curves and Surfaces2013-03-21
Gerbner DánielKatona Gyula2009-12-09 16:00:00Extremal Combinatorial Problems2009-12-17
Bozó IstvánHorváth Zoltán2019-01-16 10:30:00Erlang programok statikus elemzése és szeletelése2019-02-07
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
Yash PaulFridli Sándor2022-03-16 14:30:00Epileptic seizures and sleep states detection using hybrid approaches2022-06-09
Reale AnnaHorváth ZoltánTóth Melinda2022-02-22 10:30:00Enabling 5G Edge Native Applications2022-06-09
Nagy Gergely AttilaPorkoláb Zoltán2021-03-04 13:30:00Elements of Multiparadigm Programming in Scala2021-06-10
Le Anh VuKiss Attila2008-10-10 14:00:00Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes2009-01-29
Kovács PéterKirály Zoltán2019-11-04 16:30:00Efficient Algorithms for Graph Optimization Problems2019-11-21
Bíró IstvánLukács András2010-02-12 14:00:00Document Classification With Latent Dirichlet Allocation2010-04-28
Tátrai Antal LászlóKovács Attila2014-02-07 10:00:00Distributive and parallel problem solving - methods, data structures and algorithms2014-03-20
Germán LászlóKátai Imre2009-04-28 17:30:00Distribution of additive arithmetical functions2009-06-11
Palotai ZsoltLőrincz András2008-05-26 11:30:00Distributed Survavible Pipeline Computation and Communication2008-06-12
Hajdara SzabolcsKozma László2008-02-15 15:00:00Designing and synthesizing the synchronization of concurrent object-oriented systems2008-06-12
Megyesi ZoltánCsetverikov Dmitrij2010-06-04 11:00:00Dense Matching Methods for 3D Scene Reconstruction from Wide Baseline Images2010-09-30
Altarawneh Ahmad Salem AhmadCsetverikov Dmitrij2022-05-18 13:30:00Deep Learning Applications in Computer Vision: Experimental and Comparative Study2022-06-09
Németh ZsoltSzili László2016-06-27 14:00:00De la Vallée Poussin Type Approximation Methods2016-07-06
Kerepesi CsabaGrolmusz Vince2018-05-04 14:30:00Data Mining in Genomics, Metagenomics and Connectomics2018-06-01
Kurucz MiklósBenczúr András ifj.2012-04-25 14:00:00Data Mining Applications of Singular Value Decomposition2012-09-13
Ördög RafaelGrolmusz Vince2010-12-01 09:00:00Data Mining and Data Handling in the Field of Bioinformatics2011-03-17
Kárász PéterLakatos László2009-05-12 16:00:00Cyclic- Waiting and Vacational Queuing Systems2009-06-11


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