| 2009 | ||
|---|---|---|
| 3 | Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161 | |
| 2 | Arnar Birgisson, Úlfar Erlingsson: An implementation and semantics for transactional memory introspection in Haskell. PLAS 2009: 87-99 | |
| 2008 | ||
| 1 | Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode: Enforcing authorization policies using transactional memory introspection. ACM Conference on Computer and Communications Security 2008: 223-234 | |
| 1 | Luca Aceto | [3] |
| 2 | Mohan Dhawan | [1] |
| 3 | Úlfar Erlingsson | [1] [2] |
| 4 | Vinod Ganapathy | [1] |
| 5 | Liviu Iftode | [1] |
| 6 | Anna Ingolfsdottir | [3] |
| 7 | Mohammad Reza Mousavi | [3] |
| 8 | Michel A. Reniers | [3] |