Jonathan Ezekiel

	2009
4		Jonathan Ezekiel, Alessio Lomuscio: Combining fault injection and model checking to verify fault tolerance in multi-agent systems. AAMAS (1) 2009: 113-120
	2008
3		Jonathan Ezekiel, Gerald Lüttgen: Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electr. Notes Theor. Comput. Sci. 198(1): 47-61 (2008)
	2007
2		Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo: Parallelising Symbolic State-Space Generators. CAV 2007: 268-280
	2006
1		Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu: Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346

Coauthor Index

1	Gianfranco Ciardo	[2]
2	Alessio Lomuscio	[4]
3	Gerald Lüttgen	[1] [2] [3]
4	Radu Siminiceanu	[1]

Colors in the list of coauthors