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 |