PhD Thesis

 Title Student  Supervisor
Performance Evaluation and Model Checking of Probabilistic Real-time Actors Ali Jafari Prof. Marjan Sirjani
NV-tree: A Scalable Disk-Based High-Dimensional Index  
Herwig Lejsek Björn Þór Jónsson, Associate Professor 
First impressions in Human-Agent Virtual Encounters Angelo Cafaro
Hannes Högni Vilhjálmsson, Associate Professor
Axiomatizations from Structural Operational Semantics: Theory and Tools
Eugen Ioan Goriac
Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics,
Georgiana Caltais
Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
The Security Properties of In-Network Aggregation Kristján Valur Jónsson
Ýmir Vigfússon
Assistant Professor
General Attention Mechanism for Artificial Intelligence Systems
Helgi Páll Helgason
Kristinn R. Þórisson Associate Professor
Simulation-Based General Game Playing Hilmar Finnsson
Yngvi Björnsson, Associate Professor
Contributions to the Meta-Theory of Structural Operational Semantics
Matteo Cimini
Professor Luca Aceto
Approximation Algorithms for Independent Set Problems on Hypergraphs Elena Losievskaja Professor Magnús M. Halldórsson

Was the content helpful? Yes No