 | 2009 |
|---|
| 4 |       | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci,
Lorenzo Alvisi,
Allen Clement,
Harry Li:
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
SSS 2009: 531-546 |
| 2008 |
|---|
| 3 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci,
Lorenzo Alvisi,
Allen Clement,
Harry C. Li:
Model Checking Nash Equilibria in MAD Distributed Systems.
FMCAD 2008: 1-8 |
| 2 | | Flavio Chierichetti,
Silvio Lattanzi,
Federico Mari,
Alessandro Panconesi:
On placing skips optimally in expectation.
WSDM 2008: 15-24 |
| 2007 |
|---|
| 1 | | Federico Mari,
Enrico Tronci:
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.
HSCC 2007: 399-412 |
