PhD Thesis

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

Was the content helpful? Yes No