• Extensions and generalization of the saturation algorithm in model checking 

  Molnár, Vince (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Channel equalization and mobility management methods in new generation mobile communication systems 

  Knapp, Adam (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Advanced techniques and tools for secure collaborative modeling 

  Debreceni, Csaba (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Self-optimized clustering and routing in the Internet of Things 

  Kalmár, András (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Formal validation and model generation for domain-specific languages by logic solvers 

  Semeráth, Oszkár (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Query, analysis, and benchmarking techniques for evolving property graphs of software systems 

  Szárnyas, Gábor (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Modellalapú új módszer heterogén többprocesszoros architektúrák rendszerszintű szintéziséhez 

  Suba, Gergely (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2018)

• Qualitative models in resilience assurance 

  Kocsis, Imre (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2019)

• Modeling for the dependability of complex services 

  Gönczy, László (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2018)

• Optimal resource pooling over legacy equal-split load balancing schemes 

  Németh, Krisztián (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2018)

• New performance evaluation methods with telecommunication applications 

  Horváth, Gábor (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2005)

• Network coding for distributed cloud, fog and data center storage 

  Sipos, Márton Ákos (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi EgyetemAalborg University, 2018)

• Symbolic verification of petri net based models 

  Vörös, András (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2018)

• Energy-efficient, and reliable communication in wireless sensor networks 

  Nguyen, Thai Hoc (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2018)

• Design and analysis of cellular mobile data networks 

  Valkó, András Gergely (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 1999)

• Cognitive computational models for intelligent engineering systems 

  Reskó, Barna (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2008)

• Optimalization of self organizing computing systems 

  Wiandt, Bernát (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2017)

• Object manipulation planning for dextrous robot systems 

  Vass, Gábor (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2005)

• Párhuzamos algoritmusok nemlineáris peremérték-feladatok megoldására 

  Szeberényi, Imre (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2003)

• Self-organization in the future wireless and mobile networks 

  Kőkuti, András (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2018)

View more