Emmanuel Dall'Olio

	2008
4		Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin: Durations and parametric model-checking in timed automata. ACM Trans. Comput. Log. 9(2): (2008)
	2004
3		Nicolás González-Deleito, Olivier Markowitch, Emmanuel Dall'Olio: A New Key-Insulated Signature Scheme. ICICS 2004: 465-479
2		Emmanuel Dall'Olio, Olivier Markowitch: Voting with Designated Verifier Signature-Like Protocol. ICWI 2004: 295-301
	2003
1		Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin: Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. STACS 2003: 687-698

Coauthor Index

1	Véronique Bruyère	[1] [4]
2	Nicolás González-Deleito	[3]
3	Olivier Markowitch	[2] [3]
4	Jean-François Raskin	[1] [4]

Colors in the list of coauthors