24.1.2011 | Approximation algorithms for independent set problems on hypergraphs | Elena Losievskaja 1979- |
24.3.2014 | Axiomatizations from Structural Operational Semantics: Theory and Tools | Eugen Ioan Goriac 1985- |
10.4.2014 | Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics | Caltais, Georgiana, 1984- |
12.9.2012 | Contributions to the meta-theory of structural operational semantics | Cimini, Matteo, 1981- |
3.9.2014 | First Impressions in Human-Agent Virtual Encounters | Cafaro, Angelo, 1984- |
19.8.2013 | General Attention Mechanism for Artificial Intelligence Systems | Helgi Páll Helgason 1977- |
3.2.2014 | The security properties of in-network aggregation | Kristján Valur Jónsson 1966- |
25.6.2012 | Simulation-Based General Game Playing | Hilmar Finnsson 1974- |