Hungarian Doctoral Council

Doctoral defenses of Doctoral School of Informatics

Export data in CSV format

Restore original arrangement

1 101 201

Results: 267 Visible: 1-100

name of doctoral candidate	thesis supervisor	date of defense	title of thesis	date of decision of DS

Márk Asztalos	László Lengyel	2013-03-05 14:30:00	Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése	2013-04-25
Munqath Al-Atar	Attila Sali	2022-02-01 10:15:00	Key and Functional Dependency Constraints for Incomplete Databases with Limited Domains	2022-02-24
Richárd Péter Palincza	Péter Pál Pach	2024-05-28 13:15:00	Counting type and extremal problems from Arithmetic Combinatorics
Mátyás Martinecz	József Bíró	2009-06-04 14:15:00	Csomagkapcsolt hálózatokban alkalmazható minőségbiztosítási architektúrák teljesítményvizsgálata	2009-06-18
Gábor Sándor Enyedi	Gábor Rétvári	2011-07-14 15:15:00	Új módszerek az IP alapú gyors hibajavításban	2011-09-29
Zoltán Mann	Péter Arató	2005-05-25 10:00:00	Partitioning algorithms for hardwaresoftware co-design	2005-06-16
Márton Ákos Sipos	Hassan Charaf	2018-11-30 12:30:00	Network Coding for Distributed Cloud, Fog and Data Center Storage	2018-12-13
Péter Soproni	Tibor Cinkler	2014-04-30 16:15:00	Hatékony útvonalválasztó algoritmusok egyes- és többesadáshoz optikai hálózatokban	2014-05-29
Oszkár Semeráth	Dániel Varró	2019-06-17 14:15:00	Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers	2019-06-27
Zoltán Micskei	István Majzik	2013-06-27 14:15:00	Nyelvek és keretrendszerek tesztek specifikálására	2013-09-26
Attila Hideg	Bertalan Forstner	2022-11-10 13:15:00	Design of Distributed Universal Dispersal Algorithms for Artificial Swarms	2022-11-24
Luca Szegletes	Bertalan Forstner	2016-09-22 14:15:00	Machine Learning Methods in Biomarker Analysis and its Application on Mobile Devices	2016-10-27
Mohammad Saleem	Bence Kővári	2022-05-09 10:15:00	Improved preprocessing and classification algorithms for online signature verification	2022-05-26
Zsolt Csaba Pándi	Van Tien Do	2007-01-12 12:00:00	Assessing and Guaranteeing Availability in Networks with Multiple Failures	2007-01-18
Tamás Vajk	Gergely Mezei	2014-11-21 10:15:00	Constraint Validation-Based Performance Optimizations in Domain-Specific Modeling Environments	2014-12-18
Gábor Kiss	Klára Vicsi	2020-06-10 10:00:00	A depressziós beszéd akusztikai-fonetikai jellemzőinek vizsgálata	2020-06-25
Gábor Bergmann	Dániel Varró	2013-10-21 10:30:00	Inkrementális modell-lekérdezések a modellvezérelt tervezésben	2013-11-28
Khalil Mebarkia	Zoltán Zsóka	2023-04-20 10:15:00	Quality of Service Ensurance for Service Function Chaining supporting Network Slicing	2023-04-27
György Ottucsák	László Györfi	2008-01-14 11:15:00	Gépi tanulási algoritmusok alkalmazása infokommunikációs hálózatokban.	2008-02-14
Zoltán Szatmári	István Majzik	2017-06-12 10:15:00	Metamodel-Based Model Generation and Validation Techniques with Applications	2017-06-29
András Balogh	András Pataricza	2010-04-19 15:15:00	Megbízható rendszerek modell transzformáció-alapú fejlesztése	2010-04-22
László Toka	Attila Vidács	2011-01-31 15:00:00	Elosztott rendszerek játékelméleti elemzése: tervezés és ösztönzés	2011-02-24
Ildikó Schlotter	Dániel Marx	2010-09-10 10:15:00	Parameterized Complexity of Graph Modification and Stable Matching Problems	2010-09-30
István Szabó	Sándor Molnár	2003-11-17 12:00:00	Lightweight control techniques for supporting voice communication over packet switched networks	2003-11-26
András Gefferth	Sándor Molnár	2005-12-08 11:00:00	Characterisation of Self-Similar Traffic in Data Networks	2005-12-15
Szilvia Varró-Gyapay	András Pataricza	2015-03-17 13:15:00	Trajectory Set Approximation for Optimization and Verification of IT Systems	2015-03-26
Dávid Honfi	Zoltán Imre Micskei	2021-03-11 13:15:00	Evaluating and Improving White-Box Test Generation	2021-03-25
Bálint Dávid Ary	Sándor Imre	2014-01-29 16:15:00	Telekommunikációs szolgáltatások árazásának és a számlázórendszerek funkcionalitásának vizsgálata	2014-03-27
Gergely Ferenc Rácz	Balázs Csébfalvi	2023-08-23 14:15:00	Isotropic 3D Sampling and Signal Reconstruction	2023-09-28
Dorottya Futóné Papp	Levente Buttyán	2021-10-28 08:45:00	Improved security and protection from malware for embedded IoT devices	2021-10-28
Illés Solt	Gábor Magyar	2024-03-22 09:15:00	Context-awareness and Learning Strategies to Improve Text Mining for the Life Sciences	2024-03-28
Norbert Tóth	Béla Pataki	2009-03-13 14:15:00	Döntési bizonytalanság kezelése döntési fákkal orvosi döntéstámogató rendszerekben.	2009-03-26
Tamás Mészáros	Gergely Mezei	2011-06-01 10:15:00	Modellanimációs eljárások megvalósítása gráftranszformációval	2011-06-23
Gábor Vass	Béla Lantos	2006-02-28 14:00:00	Object manipulation planning for dextrous robot systems	2006-03-23
András Kőkuti	Vilmos Simon	2018-09-24 15:15:00	Self-Organization in the Future Wireless and Mobile Networks	2018-09-27
Csaba Király	Van Tien Do	2012-06-26 12:45:00	Overlay hálózatok tervezése és teljesítményelemzése	2012-06-28
Gábor Árpád Németh		2015-11-10 09:15:00	Incremental Test Generation Algorithms	2015-11-26
László Gönczy	Tamás Bartha	2019-04-23 10:15:00	Modeling for the Dependability of Complex Services	2019-04-25
Borbála Katalin Benkő	Sándor Imre	2013-03-20 15:15:00	Elosztott gépi intelligencia módszerek néhány vonatkozása	2013-04-25
Dániel Kozma	Pál Varga	2022-09-09 14:15:00	Digital Production and Supply Supported by Lifecycle Management in Industry 4.0	2022-09-29
István Róbert Sipos	János Levendovszky	2016-04-25 16:15:00	Real-Time Stochastic Portfoilo Optimization	2016-04-28
István Kovács	Tamás Várady	2022-03-21 13:45:00	Curves and surfaces determined by geometric constraints	2022-03-31
Gergely Ács	Levente Buttyán	2009-07-02 10:15:00	Biztonságos útvonalválasztás többugrásos vezetéknélküli hálózatokban.	2009-07-16
Áron Lászka	Levente Buttyán	2014-07-28 13:15:00	Robustness Against Strategic Attacks	2014-10-30
Ádám Knapp	László Pap	2020-02-25 11:15:00	Channel Equalization and Mobility Management Methods in New Generation Mobile Communication Systems	2020-02-27
László Gyöngyösi	Sándor Imre	2013-07-22 10:15:00	Zéró-kapacitású kvantumcsatornák információ-geometriai aktiválása	2013-09-26
Attila Klenik	András Pataricza	2022-11-14 10:15:00	Measurement-based Performance Evaluation of Distributed Ledger Technologies	2022-11-24
Zoltán András Móczár	Sándor Molnár	2016-12-06 15:15:00	New Methods for Efficient Data Transport in Future Networks	2016-12-15
Péter Martinek	Béla Szikora	2010-01-26 14:15:00	Séma-illesztési módszerek és futásidejű megoldások analízise és fejlesztése szolgáltatás alapú vállalati alkalmazásintegrációban	2010-02-25
György Miklós	Sándor Molnár	2005-05-05 13:00:00	Design and Analysis of New Control Mechanisms to Support Data Trac in Mobile Packet Networks	2005-05-19
Péter Hegyi	Tibor Cinkler	2010-05-18 14:15:00	Védelem és forgalomterelés többrétegű hálózatokban	2010-05-27
Renáta Iváncsy	István Vajk	2006-02-14 11:00:00	Frequent pattern mining in transactional and structured databases	2006-02-23
László Blázovics	Hassan Charaf	2014-12-19 12:00:00	Cooperative Behaviour and Communication	2015-01-29
Ákos Hajdu	Zoltán Imre Micskei	2020-11-24 12:15:00	Effective Domain-Specific Formal Verification Techniques	2020-11-26
Mihály Bányai	György Strausz	2013-12-10 10:15:00	Agykérgi makrohálózatok funkcionális modellezése	2014-01-30
Vilmos Csaba Rotter		2023-05-31 10:15:00	Performance Analysis of Cloud Resource Management Algorithms	2023-06-29
József Valyon	Gábor Horváth	2008-03-19 14:15:00	Kiterjesztett LS-SVM és alkalmazása rendszermodellezési feladatokban.	2008-04-24
Dávid Szabó	András Gulyás	2017-12-15 15:15:00	The Network Forming Effects of Routing Policy	2018-01-25
Domonkos Tikk	László Kóczy T.	2000-02-28 10:00:00	Fuzzy szabályinterpolációs eljárások és fuzzy szabályozók univerzális közelítő tulajdonságának vizsgálata	2000-02-28
Yahia Anane	Balázs Benyó	2023-12-01 10:15:00	Development and Optimization of Glucose-Insulin System Models and Methods for Intensive Care Patients under Model-based Glycemic Control	2023-12-14
Bertalan Forstner	Hassan Charaf	2009-01-06 14:15:00	Szemantikus információ-visszakeresés mobil Peer-to-Peer hálózatokban	2009-01-29
Géza Szabó	Sándor Molnár	2011-03-24 17:15:00	Módszerek hálózati forgalom hatékony osztályozásához	2011-04-28
Levente Bodrog	Miklós Telek	2010-11-04 12:15:00	Sztochasztikus modellek és távközlési alkalmazások	2010-11-18
Árpád Tari	Miklós Telek	2006-05-05 11:00:00	Moments based bounds in stochastic models	2006-05-25
Péter Babarczi	János Tapolcai	2012-04-02 16:15:00	Megbízható optikai gerinchálózatok tervezése közös kockázatú csoportok meghibásodásainak egyértelmű azonosításával	2012-04-26
Péter Dóbé	Gábor Domokos	2015-06-18 14:15:00	Efficient Algorithms for Sensitivity Analysis of Trusses, Adapted for Distributed Computing Infrastructures	2015-06-25
Márton Vaitkus	Tamás Várady	2021-05-20 14:15:00	Generating Smooth Surfaces from Discrete Pointsets	2021-05-27
Tamás Mészáros	Tadeusz Dobrowiecki	2016-01-19 14:00:00	Ágensalapú információbeszerzés és -megosztás	2016-01-28
Dávid Papp	Gábor Szűcs	2021-12-16 12:15:00	Felügyelet nélküli és kiegyenlítettség-vezérelt aktív tanulásos képosztályozás	2021-12-16
Pegah Rahimian	László Toka	2024-04-26 13:45:00	Deep Learning Techniques for the Analysis of Soccer Matches
Balázs Kovács	Rolland Vida	2009-05-27 14:15:00	Skálázható megoldások egyenrangú (peer-to-peer) hálózatok kommunikációjának javítására	2009-06-18
László Dóra	Levente Buttyán	2011-06-29 15:15:00	Biztonságos adattovábbítás vezetéknélküli multi-hop hálózatokban mobil felhasználók számára	2011-07-14
András Vörös	Tamás Bartha	2018-11-30 10:15:00	Symbolic Verification of Petri Net Based Models	2018-12-13
Levente Erős	Tibor Csöndes	2013-01-24 10:15:00	Kommunikáló rendszerek teljesítménytesztelése és teljesítménynövelése	2013-03-28
Gábor Szárnyas	Dániel Varró	2019-06-14 14:15:00	Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems	2019-06-27
Bence András Kővári	Hassan Charaf	2013-06-27 10:15:00	Modellek és algoritmusok a hagyományos aláírások statikus, jellemző alapú hitelesítésében	2013-06-27
Aymen AlAwadi	Sándor Molnár	2022-10-24 10:15:00	Towards Comprehensive and Effectual SDN Traffic Engineering Framework for Data Center Networks	2023-01-26
Balázs Hidasi	Gábor Magyar	2016-06-28 11:15:00	Context-aware factorization methods for implicit feedback based recommendation problems	2016-06-30
Tuan Hai Nguyen	Van Tien Do	2022-04-12 12:00:00	Scaling Resources with Reinforcement Learning	2022-04-28
Boldizsár Bencsáth	István Vajda	2009-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
Tihamér Levendovszky	Hassan Charaf	2006-02-17 11:00:00	Applying Metamodels in Software Model Transformation Methods	2006-02-23
Pál László Pályi	Sándor Molnár	2014-04-22 14:15:00	Rádiós hozzáférési hálózatok szállítóhálózatában alkalmazott torlódásvezérlési és dimenzionálási módszerek tervezése és vizsgálata	2014-05-29
Gábor Fehér		2004-04-07 15:00:00	Resource control in IP networks	2004-05-20
Ákos Szőke	András Pataricza	2014-11-28 13:15:00	Models and Algorithms for Integrated Agile Sotftware Planning and Scheduling	2014-12-18
Máté Ákos Tündik	György Szaszák	2020-06-11 10:00:00	The Functional Expansion of Automatic Speech Recognition Output Based on Novel Prosody- and Text-Based Approaches	2020-06-25
Nam Do Hoai	Van Tien Do	2013-10-25 13:15:00	Néhány erőforrás-allokálási módszer teljesítményelemzési vizsgálata a vezetéknélküli celluláris hálózatokban	2013-11-28
Balázs Németh	Balázs Sonkoly	2023-04-17 10:30:00	Novel Service Placement Algorithms over Softwarized Network and Cloud Infrastructure	2023-04-27
Levente Hajder	István Vajk	2008-01-09 10:15:00	Mozgásalapú háromdimenziós objektum-rekonstrukció gyenge perspektíva esetén	2008-01-17
Dániel Darvas	István Majzik	2017-05-15 11:15:00	Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems	2017-05-25
Tibor Kovács	István Vajk	2010-04-07 09:15:00	Vonalkereső algoritmus vizsgálata zajos környezetben	2010-04-22
Gábor Mihály Surányi	Gábor Magyar	2010-09-09 14:15:00	Representing Complex Semantics in Databases	2010-09-30
Timót Hidvégi		2004-02-13 11:00:00	Layout hibadetekció a nyomtatott áramköri lapokon (PCB) és egy emulált digitális CNN-UM architektúra (CASTLE) optimalizálása	2004-02-25
László Lois		2005-02-15 10:00:00	Új rácskvantáló algoritmusok és alkalmazásaik a videó- és a beszédkódolásban	2005-02-27
Ákos József Szlávecz	Balázs Benyó	2015-03-12 11:15:00	Új módszerek a nukleáris medicina képalkotó algoritmusainak és eljárásainak javítására	2015-03-26
Márton Szemenyei	Ferenc Vajda	2021-02-17 16:15:00	3D Shape Recognition Methods for Tangible User Interfaces	2021-02-25
Balázs György Tóth	László Szirmay-Kalos	2014-01-08 15:15:00	Hatékony mintavételezési eljárások a GPU-n fotorealisztikus képszintézishez	2014-01-30
Kristóf Marussy	István Majzik	2023-06-14 10:15:00	Abstraction Techniques for the Analysis and Synthesis of Critical Cyber-Physical System Architectures	2023-06-29
Zoltán Vincze	Rolland Vida	2008-05-27 14:15:00	Energiahatékonyság növelő technikák vezetéknélküli szenzorhálózatokban	2008-06-19
Károly János Bretz	Ákos Jobbágy	2010-12-09 14:15:00	Humán erőkifejtés, koordináció és a tremor méréstechnikája	2010-12-16
Tamás Tóthfalusi	Péter Orosz	2021-09-22 10:15:00	Supporting Operational Management of IP-based Voice Services	2021-09-30

Export data in CSV format

Restore original arrangement

1 101 201

Results: 267 Visible: 1-100