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

• Four-dimensional analysis of dynamic urban environments in terrestrial and airborne LiDAR data 

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

• Complex methods for automated X-ray image analysis 

  Orbán, Gergely Gyula (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2017)

• TP model transformation based control theory optimization of nonlinear models 

  Szöllősi, Alexandra (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2017)

• Service assurance methods and metrics for packet switched networks 

  Varga, Pál (Informatikai Tudományok Doktori IskolaVillamosmérnöki és Informatikai KarBudapesti Műszaki és Gazdaságtudományi Egyetem, 2010)

View more