dblp.uni-trier.dewww.uni-trier.de

Emmanuel Dall'Olio

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEVé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
3EENicolá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
1EEVé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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)