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