Arnar Birgisson

	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

Coauthor Index

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]

Colors in the list of coauthors