| |
| 2008 | ||
|---|---|---|
| 2 | EE | Flavio Chierichetti, Silvio Lattanzi, Federico Mari, Alessandro Panconesi: On placing skips optimally in expectation. WSDM 2008: 15-24 |
| 2007 | ||
| 1 | EE | Federico Mari, Enrico Tronci: CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC 2007: 399-412 |
| 1 | Flavio Chierichetti | [2] |
| 2 | Silvio Lattanzi | [2] |
| 3 | Alessandro Panconesi | [2] |
| 4 | Enrico Tronci | [1] |