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




 
Informatikai Tudományok 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
Pálfia MiklósVajk István2012-01-30 12:15:00Mátrixközepek és geometrikus konstrukciók2012-02-23
Sipos Márton ÁkosCharaf Hassan2018-11-30 12:30:00Network Coding for Distributed Cloud, Fog and Data Center Storage2018-12-13
Zsigmond SzilárdCinkler Tibor2010-07-05 15:15:00Routing in Optical Networks Based on Physical Effects2010-07-08
Ta Vinh ThongButtyán Levente2014-01-27 11:15:00Automated security verification of networking protocols and query auditing algorithms for wireless sensor networks2014-03-27
Al-Atar MunqathSali Attila2022-02-01 10:15:00Key and Functional Dependency Constraints for Incomplete Databases with Limited Domains2022-02-24
Gulyás Gábor GyörgyImre Sándor2015-05-13 15:45:00Protecting Privacy Against Structural De-anonymization Attacks in Social Networks2015-06-25
Alabbas HasanainHuszák Árpád2023-09-25 12:15:00Routing strategies in Vehicular Ad-hoc Networks2023-09-28
Csikor LeventeRétvári Gábor2015-11-13 14:45:00New Network Optimization Methods for Fast Protection in IP Networks2015-11-26
Graics BenceMajzik István2024-04-11 14:30:00Formal Modeling, Verification and Test Generation for Component-Based Reactive Systems
Nepusz TamásBazsó Fülöp2009-01-13 14:15:00Adatbányászat komplex hálózatokabn: hiányzó kapcsolatok és fuzzy csoportosulások2009-01-29
Domonkos BalázsCsébfalvi Balázs2012-10-26 11:15:00Jó minőségű és hatékony térfogati újramintavételezés2012-11-29
Földesy Péter2002-10-15 11:00:00CNN-UM architektúrák hibamodellezése és alkalmazhatóságuk kiterjesztése – modellezés, analízis, és műveleti szintézis2002-10-17
Semeráth OszkárVarró Dániel2019-06-17 14:15:00Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers2019-06-27
Terék ZsoltVárady Tamás2010-11-17 14:15:00Alakhű szegmentáló algoritmusok a digitális mérnöki visszafejtésben2010-11-18
Saleem MohammadKővári Bence2022-05-09 10:15:00Improved preprocessing and classification algorithms for online signature verification2022-05-26
Lévai TamásRétvári Gábor2022-09-15 13:15:00Embedding and Batch-Scheduling Data Flow Graphs in Software Switches2022-09-29
Hullám GáborStrausz György2016-06-13 14:15:00Bayesian Relevance and Effect Size Measures2016-06-30
Martinecz MátyásBíró József2009-06-04 14:15:00Csomagkapcsolt hálózatokban alkalmazható minőségbiztosítási architektúrák teljesítményvizsgálata2009-06-18
Holczer TamásButtyán Levente2013-04-16 17:30:00Privátszféra védő protokollok vezeték nélküli hálózatokban2013-04-25
György AndrásGyörfi László2003-01-06 14:00:00Entropy-Constrained Quantization and related problems2003-01-16
Kiss GáborVicsi Klára2020-06-10 10:00:00A depressziós beszéd akusztikai-fonetikai jellemzőinek vizsgálata2020-06-25
Honfi DávidMicskei Zoltán Imre2021-03-11 13:15:00Evaluating and Improving White-Box Test Generation2021-03-25
Magdics MilánSzirmay-Kalos László2014-09-17 15:15:00GPU-based Particle Transport for PET Reconstruction2014-10-30
Lestyán SzilviaBiczók Gergely2022-11-14 14:15:00Privacy of Vehicular Time Series Data2022-11-24
Brendel Mátyás2005-02-07 14:00:00Plasticity in Cellular Neural Networks2005-02-27
Ekler PéterCharaf Hassan2011-02-22 14:15:00Mobil készülékeket támogató közösségi hálózatok teljesítmény- és hatékonyságvizsgálata2011-03-24
Takács TiborVajta László2013-09-04 15:15:00Automatizált gyártósori minőség-ellenőrző rendszerek optimalizálási kérdései2013-10-31
Ráth István ZoltánVarró Dániel2011-06-20 14:15:00Eseményvezérelt modelltranszformációk szakterület-specifikus nyelvekben2011-06-23
Kőkuti AndrásSimon Vilmos2018-09-24 15:15:00Self-Organization in the Future Wireless and Mobile Networks2018-09-27
Balogh AndrásPataricza András2010-04-19 15:15:00Megbízható rendszerek modell transzformáció-alapú fejlesztése2010-04-22
Luong Dinh DungBíró József2005-09-22 13:00:00Measurement and longestion control on IP-based networks2005-10-20
Maliosz MarkoszCinkler Tibor2006-10-03 14:00:00Optimization methods for virtual private network design IB. 110.2006-10-19
Futóné Papp DorottyaButtyán Levente2021-10-28 08:45:00Improved security and protection from malware for embedded IoT devices2021-10-28
Hegedüs ÁbelVarró Dániel2014-12-16 10:30:00Back-Annotation of Execution Sequences by Advanced Search and Traceability Techniques2015-01-29
Bawaneh MohammadSimon Vilmos2023-06-12 15:15:00Public Service Optimization in Automated Cities2023-06-29
Ottucsák GyörgyGyörfi László2008-01-14 11:15:00Gépi tanulási algoritmusok alkalmazása infokommunikációs hálózatokban.2008-02-14
Ayoub AhmedTőkés Szabolcs2005-05-27 11:00:00Template library for programmable optical analogic array computer2005-05-27
Megyesi PéterMolnár Sándor2018-01-25 10:15:00Traffic Measurements, Characterization and Emulation in Emerging Networks2018-01-25
Simon CsabaHenk Tamás2012-04-13 14:15:00Skálázható minőségbiztosítási megoldások IP hálózatok és szolgáltatások számára2012-04-26
Varró Gergely GyörgyFriedl Katalin2008-10-27 13:45:00Advanced Techniques for the Implementation of Model Transformation Systems2008-11-20
Gönczy LászlóBartha Tamás2019-04-23 10:15:00Modeling for the Dependability of Complex Services2019-04-25
Schlotter IldikóMarx Dániel2010-09-10 10:15:00Parameterized Complexity of Graph Modification and Stable Matching Problems2010-09-30
Valkó András GergelyHenk Tamás1999-12-07 10:00:00Cellás mobil adatátviteli hálózatok tervezése és elemzése1999-12-07
Kovács IstvánVárady Tamás2022-03-21 13:45:00Curves and surfaces determined by geometric constraints2022-03-31
Simon BalázsKondorosi Károly2015-06-18 09:15:00Model Driven Construction of Interoperable WS-* Applications with Predictable Response Times2015-06-25
Munonye KindsonMartinek Péter2024-01-31 13:15:00Approaches to Performance Optimization, Interoperability, and Security in Microservices2024-02-29
Tóth NorbertPataki Béla2009-03-13 14:15:00Döntési bizonytalanság kezelése döntési fákkal orvosi döntéstámogató rendszerekben.2009-03-26
Asztalos MárkLengyel László2013-03-05 14:30:00Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése2013-04-25
Horváth AndrásTelek Miklós2004-10-15 10:00:00approximating non-Markovian behaviour by Markovian models2004-11-18
Knapp ÁdámPap László2020-02-25 11:15:00Channel Equalization and Mobility Management Methods in New Generation Mobile Communication Systems2020-02-27
Soproni PéterCinkler Tibor2014-04-30 16:15:00Hatékony útvonalválasztó algoritmusok egyes- és többesadáshoz optikai hálózatokban2014-05-29
Hideg AttilaForstner Bertalan2022-11-10 13:15:00Design of Distributed Universal Dispersal Algorithms for Artificial Swarms2022-11-24
Szegletes LucaForstner Bertalan2016-09-22 14:15:00Machine Learning Methods in Biomarker Analysis and its Application on Mobile Devices2016-10-27
Biczók GergelyTrinh Anh Tuan2010-11-29 13:15:00Árazási, ösztönző és torlódáskezelési mechanizmusok heterogén hálózatokban2010-12-16
Ács GergelyButtyán Levente2009-07-02 10:15:00Biztonságos útvonalválasztás többugrásos vezetéknélküli hálózatokban.2009-07-16
Micskei ZoltánMajzik István2013-06-27 14:15:00Nyelvek és keretrendszerek tesztek specifikálására2013-09-26
Kemény ZsoltLantos Béla2004-01-19 11:00:00Kinematic modeling and low-level motion planning for redundant and mobile robots2004-01-22
Hajdu ÁkosMicskei Zoltán Imre2020-11-24 12:15:00Effective Domain-Specific Formal Verification Techniques2020-11-26
Martinek PéterSzikora Béla2010-01-26 14:15:00Séma-illesztési módszerek és futásidejű megoldások analízise és fejlesztése szolgáltatás alapú vállalati alkalmazásintegrációban2010-02-25
Bergmann GáborVarró Dániel2013-10-21 10:30:00Inkrementális modell-lekérdezések a modellvezérelt tervezésben2013-11-28
Gulyás AndrásBíró József2007-12-18 15:15:00Network Calculus Based Quantification of Resource Usage in General Buffered Systems2008-01-17
Vaitkus MártonVárady Tamás2021-05-20 14:15:00Generating Smooth Surfaces from Discrete Pointsets2021-05-27
Vajk TamásMezei Gergely2014-11-21 10:15:00Constraint Validation-Based Performance Optimizations in Domain-Specific Modeling Environments2014-12-18
Mebarkia KhalilZsóka Zoltán2023-04-20 10:15:00Quality of Service Ensurance for Service Function Chaining supporting Network Slicing2023-04-27
Szatmári ZoltánMajzik István2017-06-12 10:15:00Metamodel-Based Model Generation and Validation Techniques with Applications2017-06-29
Csorba KristófVajk István2011-05-04 09:15:00Hasonló dokumentumok keresése korlátos erőforrású környezetben2011-05-26
Muka LászlóLencse Gábor2011-10-21 16:15:00Hard és szoft módszerek infokommunikációs rendszerek és kapcsolódó folyamatok hatékony modellezéséhez és szimulációjához2011-10-27
Vörös AndrásBartha Tamás2018-11-30 10:15:00Symbolic Verification of Petri Net Based Models2018-12-13
Hegyi PéterCinkler Tibor2010-05-18 14:15:00Védelem és forgalomterelés többrétegű hálózatokban2010-05-27
Ary Bálint DávidImre Sándor2014-01-29 16:15:00Telekommunikációs szolgáltatások árazásának és a számlázórendszerek funkcionalitásának vizsgálata2014-03-27
Zsóka ZoltánJereb László2006-11-24 10:00:00Performance modelling and analysis of IP over WDM networks2007-01-18
Papp DávidSzűcs Gábor2021-12-16 12:15:00Felügyelet nélküli és kiegyenlítettség-vezérelt aktív tanulásos képosztályozás2021-12-16
Varró-Gyapay SzilviaPataricza András2015-03-17 13:15:00Trajectory Set Approximation for Optimization and Verification of IT Systems2015-03-26
Rácz Gergely FerencCsébfalvi Balázs2023-08-23 14:15:00Isotropic 3D Sampling and Signal Reconstruction2023-09-28
Valyon JózsefHorváth Gábor2008-03-19 14:15:00Kiterjesztett LS-SVM és alkalmazása rendszermodellezési feladatokban.2008-04-24
Gefferth AndrásMolnár Sándor2005-12-08 11:00:00Characterisation of Self-Similar Traffic in Data Networks2005-12-15
Németh Gábor Árpád2015-11-10 09:15:00Incremental Test Generation Algorithms2015-11-26
Solt IllésMagyar Gábor2024-03-22 09:15:00Context-awareness and Learning Strategies to Improve Text Mining for the Life Sciences2024-03-28
Forstner BertalanCharaf Hassan2009-01-06 14:15:00Szemantikus információ-visszakeresés mobil Peer-to-Peer hálózatokban2009-01-29
Király CsabaDo Van Tien2012-06-26 12:45:00Overlay hálózatok tervezése és teljesítményelemzése2012-06-28
Varró DánielPataricza András2004-05-27 10:00:00Automated model tranfsormations for the analysis of IT systems2004-06-17
Szárnyas GáborVarró Dániel2019-06-14 14:15:00Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems2019-06-27
Bodrog LeventeTelek Miklós2010-11-04 12:15:00Sztochasztikus modellek és távközlési alkalmazások2010-11-18
Nguyen Tuan HaiDo Van Tien2022-04-12 12:00:00Scaling Resources with Reinforcement Learning2022-04-28
Kozma DánielVarga Pál2022-09-09 14:15:00Digital Production and Supply Supported by Lifecycle Management in Industry 4.02022-09-29
Sipos István RóbertLevendovszky János2016-04-25 16:15:00Real-Time Stochastic Portfoilo Optimization2016-04-28
Kovács BalázsVida Rolland2009-05-27 14:15:00Skálázható megoldások egyenrangú (peer-to-peer) hálózatok kommunikációjának javítására2009-06-18
Benkő Borbála KatalinImre Sándor2013-03-20 15:15:00Elosztott gépi intelligencia módszerek néhány vonatkozása2013-04-25
Orincsay DánielCinkler Tibor2005-06-08 10:00:00Design and performance analysis of trac engineering algorithms in telecommunication networks2005-06-16
Tündik Máté ÁkosSzaszák György2020-06-11 10:00:00The Functional Expansion of Automatic Speech Recognition Output Based on Novel Prosody- and Text-Based Approaches2020-06-25
Bálya Dávid2004-04-02 11:00:00Mammalian retina modeling and on-line learning on CNN architecture2004-04-27
Szemenyei MártonVajda Ferenc2021-02-17 16:15:003D Shape Recognition Methods for Tangible User Interfaces2021-02-25
Lászka ÁronButtyán Levente2014-07-28 13:15:00Robustness Against Strategic Attacks2014-10-30
Klenik AttilaPataricza András2022-11-14 10:15:00Measurement-based Performance Evaluation of Distributed Ledger Technologies2022-11-24
Móczár Zoltán AndrásMolnár Sándor2016-12-06 15:15:00New Methods for Efficient Data Transport in Future Networks2016-12-15
Kovács ÁkosSzabó Róbert2011-02-04 14:45:00Cross-Layer Communication in Multimedia Delivery Systems2011-02-24
Bencsáth BoldizsárVajda István2009-11-25 13:30:00Új módszerek hálózati szolgáltatás-megtagadásos problémák kezelésére.2009-12-17
Gyöngyösi LászlóImre Sándor2013-07-22 10:15:00Zéró-kapacitású kvantumcsatornák információ-geometriai aktiválása2013-09-26
Varga PálGordos Géza2011-07-14 10:15:00Csomagkapcsolt hálózatokon nyújtott szolgáltatások minőségbiztosításának módszerei és metrikái2011-07-14
Börcs AttilaBenedek Csaba2018-06-26 11:15:00Four-dimensional Analysis of Dynamic Urban Environments in Terrestrial and Airborne LiDAR Data2018-09-27


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