Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
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
nyomtatás
Adatok exportálása CSV formátumban.
Alapértelmezett rendezés visszaállítása
   1 101  következő lap utolsó lap   Találatok: 141    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
Katona ZsoltMóri Tamás2007-04-23 14:00:00Random Graph Models2007-07-12
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
Szita IstvánLőrincz András2007-12-13 14:30:00Megerősítéses tanulás komplex környezetekben2008-02-07
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
Ugron BalázsKozma László2008-02-15 13:00:00Synzhesis of the synchronisation code of pipeline systems2008-06-12
Hajdara SzabolcsKozma László2008-02-15 15:00:00Designing and synthesizing the synchronization of concurrent object-oriented systems2008-06-12
Torma PéterSzepesvári Csaba2008-02-22 14:00:00TOWARDS Efficient Vision-based Object Tracking Algorithms: Rehabilitating visual information in Particle filtering2008-06-12
Szabó RichárdKampis György2008-04-09 10:00:00Mobil ágensek navigációjának vizsgálataszimulációs környezetekben2008-06-12
Palotai ZsoltLőrincz András2008-05-26 11:30:00Distributed Survavible Pipeline Computation and Communication2008-06-12
Le Anh VuKiss Attila2008-10-10 14:00:00Efficient Processing of Regular Queries Over XML Data Sets Using Structural Indexes2009-01-29
Tejfel MátéHorváth Zoltán2008-11-07 16:00:00Funkcionális programozási nyelvek helyességvizsgálata2009-01-29
Csáji Balázs CsanádMonostori László2008-12-15 14:00:00Adaptive Resource Control2009-01-29
Burcsi PéterKovács Attila2008-12-16 15:00:00Algorithmic Aspects of Generalized Number Systems2009-01-29
Fogarassyné Vathy ÁgnesKiss Attila2009-01-07 11:00:00Novel Graph Based Clustering and Visualization Algorithms for Data Mining2009-01-29
Germán LászlóKátai Imre2009-04-28 17:30:00Distribution of additive arithmetical functions2009-06-11
Kárász PéterLakatos László2009-05-12 16:00:00Cyclic- Waiting and Vacational Queuing Systems2009-06-11
Szabó ZoltánLőrincz András2009-05-26 13:30:00Separation Principles in Independent Process Analysis2009-06-11
Sipos ÁdámPorkoláb Zoltán2009-10-19 10:30:00Template metaprogramok hatékony fejlesztése2009-12-17
Egri PéterVáncza József2009-11-19 14:30:00Coordination in Production Networks2009-12-17
Gerbner DánielKatona Gyula2009-12-09 16:00:00Extremal Combinatorial Problems2009-12-17
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
Bíró IstvánLukács András2010-02-12 14:00:00Document Classification With Latent Dirichlet Allocation2010-04-28
Csárdi GánorÉrdi Péter2010-02-26 14:00:00Modeling Complex Systems by Evolving Networks2010-04-28
Csalogány KárolyBenczúr András ifj.2010-06-03 10:15:00Methods for Web Spam Filtering2010-09-30
Megyesi ZoltánCsetverikov Dmitrij2010-06-04 11:00:00Dense Matching Methods for 3D Scene Reconstruction from Wide Baseline Images2010-09-30
Hernyák ZoltánHorváth Zoltán2010-06-07 16:00:00A D-Box koordinációs nyelv és a futtató rendszer2010-09-30
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
Ördög RafaelGrolmusz Vince2010-12-01 09:00:00Data Mining and Data Handling in the Field of Bioinformatics2011-03-17
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
Torma BalázsGerencsér László2011-03-16 10:00:00Fundamental and Technical Analysis of Financial Markets2011-06-15
Gyenes ViktorLőrincz András2011-10-12 16:30:00Combinatorial - Compositional Representations2011-12-08
Molnár JózsefCsetverikov Dmitrij2011-12-19 11:30:00Variációs módszerek a gépi látásban2012-05-03
Jakab Hunor SándorPop F. HoriaIstenes Zoltán2012-03-19 08:00:00Intelligent Models for Robotic Behavior, Decision Making and Environment Interaction2012-05-03
Kurucz MiklósBenczúr András ifj.2012-04-25 14:00:00Data Mining Applications of Singular Value Decomposition2012-09-13
Erdélyi KrisztinaZsakó László2012-05-21 14:00:00Informatikai szolgáltatásmenedzsment okatatása nemzetközi csoportnak2012-07-17
Sidló Csaba IstvánLukács András2012-07-05 11:00:00Business intelligence on scalable architectures2012-09-13
Pedone GianfrancoVarga László (1931-2020)2012-10-19 13:00:00Multi Agent Systems2012-12-13
Dezső BalázsFekete István2012-10-26 12:00:00Optimization methods in remote sensing and geoinformatics2012-12-13
Pántya RóbertZsakó László2012-11-21 09:00:00Mesterséges intelligencia elemekkel támogatott programozás oktatása2012-12-13
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
Salvi PéterVárady Tamás2012-12-20 11:00:00Fair Curves and Surfaces2013-03-21
Varga DánielLukács AndrásKornai András2013-03-18 12:00:00Natural Language Processing of Large Parallel Corpora2013-06-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
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
Pataki NorbertPorkoláb Zoltán2013-07-08 11:00:00Generatív programok helyessége2013-09-12
Zsók ViktóriaHorváth Zoltán2013-07-08 13:00:00Parallel Functional programming Using D-Clean2013-09-12
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
Dávid ÁkosKozma László2013-09-26 10:00:00Verification of Computer-Based Software with Model Checking2013-12-11
Farkas ZoltánKacsuk Péter2013-10-14 13:00:00A generic grid interoperability solution and discussion of related hierarchical scheduling questions2013-12-11
Diviánszky PéterHorváth Zoltán2013-12-05 14:00:00Referenciák tisztán funkcionális nyelvekben2013-12-11
Kósa BalázsBenczúr András id.2013-12-16 10:00:00Structural Recursions on Edge-Labelled Graphs2014-03-20
Sinkovics ÁbelPorkoláb Zoltán2014-01-16 16:00:00The connection between C++ template metaprogramming and functional programming2014-03-20
Tátrai Antal LászlóKovács Attila2014-02-07 10:00:00Distributive and parallel problem solving - methods, data structures and algorithms2014-03-20
Medve AnnaKozma László2014-05-05 10:15:00Modellvezérelt szoftverfejlesztés a gyakorlatban2014-06-12
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
Törley GáborSzlávi Péter2014-06-17 14:00:00Vizualizáció a Programozástanításban2014-09-18
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
Szendrei RudolfElek István2014-11-28 14:00:00Topográfiai térképek automatikus raszter-vektor konverziója2014-12-18
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
Páli Gábor JánosKozsik TamásPop F. Horia2014-12-12 15:00:00Functional Modelling of Operating Systems2014-12-18
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
Lócsi LeventeSchipp Ferenc2015-02-06 11:00:00Racionális függvényrendszerek alkalmazása a jelfeldolgozásban2015-03-19
Vatai EmilJárai Antal2015-02-06 14:00:00Sieving in primality testing and factorization2015-03-19
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
Mihalicza JózsefPorkoláb Zoltán2015-05-29 13:00:00Analysis and Methods for Supporting Generative Metaprogramming in Large Scale C++ Projects2015-10-01
Laki SándorCsabai IstvánVattay Gábor2015-06-17 09:00:00Analysis of complex communication networks: from measurement control to optimization2015-10-01
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
Chripkó ÁgnesSzili László2016-04-04 14:00:00Fourier-Jacobi-sorok konvergenciája2016-05-19
Valasek GáborVida János (1961 - 2020)2016-04-14 12:00:00Nonlinear Geometric Models2016-05-19
Kovács PéterFridli Sándor2016-05-17 14:00:00Transformation methods in signal processing2016-07-14
Szabó AdriennBenczúr András ifj.2016-05-30 11:00:00Approaches to Efficient Multiple Sequence Alignment and Protein Search2016-07-14
Siklósi DávidBenczúr András ifj.2016-06-03 13:00:00Assesing the Quality of Web via Semi-Supervised Methods2016-07-14
Bozsik JózsefFullér Róbert2016-06-13 10:00:00Heurisztikus eljárások alkalmazása a csődelőrejelzésekben2016-07-14
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
Németh ZsoltSzili László2016-06-27 14:00:00De la Vallée Poussin Type Approximation Methods2016-07-06
Matuszka TamásKiss Attila2016-09-08 10:00:00Szemantikus web technológiák által támogatott kiterjesztett valóság2016-10-13
Daróczy Bálint ZoltánBenczúr András ifj.2017-02-20 14:00:00Machine Learning Methods for Multimedia Information Retrieval2017-05-25
Kiss GyöngyvérJárai Antal2017-03-03 13:00:00An Implementation and Analysis of the ECPP Algorithm2017-05-25
Szarvas KristófWeisz Ferenc2017-05-15 14:15:00Változó indexű Lebesgue-terek és alkalmazásuk a Fourier-analízisben2017-10-12
Dévai GergelyCsörnyei Zoltán2017-06-27 14:00:00Programhelyesség-bizonyítás fordítási időben2018-03-08
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
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
Kerepesi CsabaGrolmusz Vince2018-05-04 14:30:00Data Mining in Genomics, Metagenomics and Connectomics2018-06-01
Rácz GáborKiss Attila2018-06-12 15:30:00Adatgráfok alkalmazási területei2018-09-27
Gombos GergőKiss Attila2018-09-10 09:30:00Szemantikus adatok lekérdezése federált és osztott rendszereken2018-09-27
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
Szalkai BalázsGrolmusz Vince2018-11-21 14:30:00Algoritmikus kérdések a bioinformatika területén2019-02-07
Király BalázsSchipp FerencPap Margit2018-12-11 11:30:00Szorzatrendszer-konstrukciók2019-02-07
Szabados KristófKovács Attila2018-12-12 10:00:00Quality Aspects of TTCN-3 Based Test Systems2019-02-07
Bozó IstvánHorváth Zoltán2019-01-16 10:30:00Erlang programok statikus elemzése és szeletelése2019-02-07
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
Horpácsi DánielHorváth Zoltán2019-01-17 10:30:00Verification and Application of Program Transformations2019-02-07
Pintér BalázsLőrincz András2019-02-01 16:30:00Word meaning for open domain dialogue systems2019-04-04
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
Baráth ÁronPorkoláb Zoltán2019-03-20 12:00:00Towards Safer Programming Language Constructs2019-04-04
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
Kudela GáborHegedűs CsabaBalásházy Imre2019-06-26 12:30:00Aeroszoldepozíciós légzőrendszeri modell fejlesztése2019-09-26
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
Biro CsabaKozsik TamásKusper Gábor2019-09-13 11:30:00Formal Methods for Modelling Wireless Sensor Networks2019-11-21
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
nyomtatás
Adatok exportálása CSV formátumban.
Alapértelmezett rendezés visszaállítása
   1 101  következő lap utolsó lap   Találatok: 141    Látható: 1-100


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