Emmanuel Dall'Olio

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

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)
Nicolás González-Deleito, Olivier Markowitch, Emmanuel Dall'Olio
A New Key-Insulated Signature Scheme. ICICS (2004)
Emmanuel Dall'Olio, Olivier Markowitch
Voting with Designated Verifier Signature-Like Protocol. ICWI (2004)
Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. STACS (2003)