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
Németh ZsoltSzili László2016-06-27 14:00:00De la Vallée Poussin Type Approximation Methods2016-07-06
Burcsi PéterKovács Attila2008-12-16 15:00:00Algorithmic Aspects of Generalized Number Systems2009-01-29
Bouafia KhawlaMolnár Bálint2022-01-28 11:30:00Investigation of Modelling of Dynamic Business Processes2022-06-09
Salvi PéterVárady Tamás2012-12-20 11:00:00Fair Curves and Surfaces2013-03-21
Farkas ZoltánKacsuk Péter2013-10-14 13:00:00A generic grid interoperability solution and discussion of related hierarchical scheduling questions2013-12-11
Dévai GergelyCsörnyei Zoltán2017-06-27 14:00:00Programhelyesség-bizonyítás fordítási időben2018-03-08
Egri PéterVáncza József2009-11-19 14:30:00Coordination in Production Networks2009-12-17
Balassa TamásHorváth Péter2022-07-08 09:00:00Cell identification and phenotyping using classical machine learning and deep learning2022-10-27
Dávid ÁkosKozma László2013-09-26 10:00:00Verification of Computer-Based Software with Model Checking2013-12-11
Bognár GergőFridli Sándor2020-02-24 14:30:00Orvosi jel- és képfeldolgozás transzformációs módszerekkel2020-03-12
Szalkai BalázsGrolmusz Vince2018-11-21 14:30:00Algoritmikus kérdések a bioinformatika területén2019-02-07
Megyesi ZoltánCsetverikov Dmitrij2010-06-04 11:00:00Dense Matching Methods for 3D Scene Reconstruction from Wide Baseline Images2010-09-30
Vatai EmilJárai Antal2015-02-06 14:00:00Sieving in primality testing and factorization2015-03-19
Nagy Gergely AttilaPorkoláb Zoltán2021-03-04 13:30:00Elements of Multiparadigm Programming in Scala2021-06-10
Ilyés EnikőGregorics Tibor2024-07-01 11:00:00Agilis szoftverfejlesztési módszertanok a felsőoktatásban
Erdősné Németh ÁgnesZsakó László2019-03-14 13:00:00A Logo-tól az Informatikai Olimpiáig Informatikai Tehetséggondozás a Középiskolában2019-04-04
Molnár AndrásBenczúr András id.2007-12-13 14:30:00Általános partíciós adatbázismodell. Funkcionális függőségi rendszerek elemzése2008-02-07
Pedone GianfrancoVarga László (1931-2020)2012-10-19 13:00:00Multi Agent Systems2012-12-13
Valasek GáborVida János (1961 - 2020)2016-04-14 12:00:00Nonlinear Geometric Models2016-05-19
Szabó RichárdKampis György2008-04-09 10:00:00Mobil ágensek navigációjának vizsgálataszimulációs környezetekben2008-06-12
Baráth ÁronPorkoláb Zoltán2019-03-20 12:00:00Towards Safer Programming Language Constructs2019-04-04
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
Germán LászlóKátai Imre2009-04-28 17:30:00Distribution of additive arithmetical functions2009-06-11
Yash PaulFridli Sándor2022-03-16 14:30:00Epileptic seizures and sleep states detection using hybrid approaches2022-06-09
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
Kósa BalázsBenczúr András id.2013-12-16 10:00:00Structural Recursions on Edge-Labelled Graphs2014-03-20
Kvaszingerné Prantner CsillaZsakó László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
Kerepesi CsabaGrolmusz Vince2018-05-04 14:30:00Data Mining in Genomics, Metagenomics and Connectomics2018-06-01
Bíró IstvánLukács András2010-02-12 14:00:00Document Classification With Latent Dirichlet Allocation2010-04-28
Hassan Jawthari Moohanad RasheedStoffa Veronika2023-11-17 09:00:00Students Outcomes Prediction using Data Mining2024-02-22
Szendrei RudolfElek István2014-11-28 14:00:00Topográfiai térképek automatikus raszter-vektor konverziója2014-12-18
Fekete AnettPorkoláb Zoltán2024-06-05 14:00:00Integration of code comprehension support into the software development process
Horpácsi DánielHorváth Zoltán2019-01-17 10:30:00Verification and Application of Program Transformations2019-02-07
Cserép MátéElek István2024-05-28 13:00:00Revision management and change analysis of vector data models
Mihalicza JózsefPorkoláb Zoltán2015-05-29 13:00:00Analysis and Methods for Supporting Generative Metaprogramming in Large Scale C++ Projects2015-10-01
Horváth-Bui Mai KhanhKátai Imre2021-07-02 09:00:00Arithmetical functions with applications of Maple2021-10-25
Siklósi DávidBenczúr András ifj.2016-06-03 13:00:00Assesing the Quality of Web via Semi-Supervised Methods2016-07-14
Csáji Balázs CsanádMonostori László2008-12-15 14:00:00Adaptive Resource Control2009-01-29
Bartha DénesBurcsi Péter2022-02-03 13:30:00Reconstructibility of Tree Graphs2022-04-12
Pántya RóbertZsakó László2012-11-21 09:00:00Mesterséges intelligencia elemekkel támogatott programozás oktatása2012-12-13
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
Szarvas KristófWeisz Ferenc2017-05-15 14:15:00Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben2017-10-12
Sipos ÁdámPorkoláb Zoltán2009-10-19 10:30:00Template metaprogramok hatékony fejlesztése2009-12-17
Altarawneh Ahmad Salem AhmadCsetverikov Dmitrij2022-05-18 13:30:00Deep Learning Applications in Computer Vision: Experimental and Comparative Study2022-06-09
Medve AnnaKozma László2014-05-05 10:15:00Modellvezérelt szoftverfejlesztés a gyakorlatban2014-06-12
Baráth DánielHajder Levente2019-12-05 14:30:00Affine Correspondences and their Applications for Model Estimation2020-02-13
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
Csalogány KárolyBenczúr András ifj.2010-06-03 10:15:00Methods for Web Spam Filtering2010-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
Tashu Tsegaye MisikirHorváth Tomás2021-01-27 10:30:00Semantic-based Automatic Short Essay Evaluation and Recommendation System2021-03-19
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
Szita IstvánLőrincz András2007-12-13 14:30:00Megerősítéses tanulás komplex környezetekben2008-02-07
A Alwahab DhulfiqarLaki Sándor2021-09-09 09:30:00Resource Management with AQM2021-10-25
Sidló Csaba IstvánLukács András2012-07-05 11:00:00Business intelligence on scalable architectures2012-09-13
Chripkó ÁgnesSzili László2016-04-04 14:00:00Fourier-Jacobi-sorok konvergenciája2016-05-19
Torma PéterSzepesvári Csaba2008-02-22 14:00:00TOWARDS Efficient Vision-based Object Tracking Algorithms: Rehabilitating visual information in Particle filtering2008-06-12
Bozsik JózsefFullér Róbert2016-06-13 10:00:00Heurisztikus eljárások alkalmazása a csődelőrejelzésekben2016-07-14
Tejfel MátéHorváth Zoltán2008-11-07 16:00:00Funkcionális programozási nyelvek helyességvizsgálata2009-01-29
Uray Marcell JánosBurcsi Péter2022-03-31 12:30:00Algebrai számokkal kapcsolatos algoritmusok és számítások2022-06-09
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
Diviánszky PéterHorváth Zoltán2013-12-05 14:00:00Referenciák tisztán funkcionális nyelvekben2013-12-11
Vörös PéterKiss Attila2019-11-05 10:30:00Újgenerációs adat- és hálózatbiztonsági módszerek2019-11-21
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
Seres István AndrásBurcsi Péter2023-11-28 13:00:00Security and Privacy of Cryptocurrency Applications2024-02-22
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
Németh BoldizsárTejfel Máté2020-06-05 13:30:00Program abstraction and efficient execution2020-08-06
Ördög RafaelGrolmusz Vince2010-12-01 09:00:00Data Mining and Data Handling in the Field of Bioinformatics2011-03-17
Fejes FerencLaki Sándor2024-04-12 10:30:00On Scalable Network Quality of Service
Molnár JózsefCsetverikov Dmitrij2011-12-19 11:30:00Variációs módszerek a gépi látásban2012-05-03
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ó AdriennBenczúr András ifj.2016-05-30 11:00:00Approaches to Efficient Multiple Sequence Alignment and Protein Search2016-07-14
Le Anh VuKiss Attila2008-10-10 14:00:00Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes2009-01-29
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
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
Kiss GyöngyvérJárai Antal2017-03-03 13:00:00An Implementation and Analysis of the ECPP Algorithm2017-05-25
Szabó ZoltánLőrincz András2009-05-26 13:30:00Separation Principles in Independent Process Analysis2009-06-11
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
Zsók ViktóriaHorváth Zoltán2013-07-08 13:00:00Parallel Functional programming Using D-Clean2013-09-12
Tátrai Antal LászlóKovács Attila2014-02-07 10:00:00Distributive and parallel problem solving - methods, data structures and algorithms2014-03-20
Pusztai ZoltánHajder Levente2019-11-08 15:00:00Accurate Sensor Calibration for Geometric Computer Vision2020-02-13
Gombos GergőKiss Attila2018-09-10 09:30:00Szemantikus adatok lekérdezése federált és osztott rendszereken2018-09-27
Hernyák ZoltánHorváth Zoltán2010-06-07 16:00:00A D-Box koordinációs nyelv és a futtató rendszer2010-09-30
Eichhardt IvánCsetverikov Dmitrij2020-09-03 11:30:00Affine Correspondences and Challenges in Multi-Sensor Systems2020-11-23
Szalay RichárdPorkoláb Zoltán2024-06-13 10:30:00Static Analyses for Enhancing the Maintenance and Evolution of Large-Scale C++ Software Systems
Bozó IstvánHorváth Zoltán2019-01-16 10:30:00Erlang programok statikus elemzése és szeletelése2019-02-07
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
Ugron BalázsKozma László2008-02-15 13:00:00Synzhesis of the synchronisation code of pipeline systems2008-06-12
Milacski Zoltán ÁdámLőrincz András2021-09-02 15:30:00Temporal Reconstruction Methods in Self-Supervised Machine Learning2021-10-25
Matuszka TamásKiss Attila2016-09-08 10:00:00Szemantikus web technológiák által támogatott kiterjesztett valóság2016-10-13
Fogarassyné Vathy ÁgnesKiss Attila2009-01-07 11:00:00Novel Graph Based Clustering and Visualization Algorithms for Data Mining2009-01-29
Katona ZsoltMóri Tamás2007-04-23 14:00:00Random Graph Models2007-07-12
Kovács PéterKirály Zoltán2019-11-04 16:30:00Efficient Algorithms for Graph Optimization Problems2019-11-21
Gerbner DánielKatona Gyula2009-12-09 16:00:00Extremal Combinatorial Problems2009-12-17
Szalayné Tahy ZsuzsannaZsakó László2022-09-30 14:00:00Az informatika (programozás) oktatásának módszertani kérdései2022-10-27
Törley GáborSzlávi Péter2014-06-17 14:00:00Vizualizáció a Programozástanításban2014-09-18
Bernát PéterZsakó László2020-05-26 10:30:00A bevezető programozástanítás stratégiái2020-08-06
Szabados KristófKovács Attila2018-12-12 10:00:00Quality Aspects of TTCN-3 Based Test Systems2019-02-07
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
Tóth TeklaHajder Levente2024-01-18 13:30:00Target-Based LiDAR-Camera Calibration2024-02-22


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