| |
| 2008 | ||
|---|---|---|
| 4 | EE | 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 | EE | 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 | EE | 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 |
| 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] |