Emmanuel Dall'Olio

According to our database, Emmanuel Dall'Olio authored at least 4 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Durations and parametric model-checking in timed automata.

Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin

ACM Trans. Comput. Log., 2008

2004

A New Key-Insulated Signature Scheme.

Nicolás González-Deleito, Olivier Markowitch, Emmanuel Dall'Olio

Proceedings of the Information and Communications Security, 6th International Conference, 2004

Voting with Designated Verifier Signature-Like Protocol.

Emmanuel Dall'Olio, Olivier Markowitch

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

2003

Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic.

Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003