| 2008 |
|---|
| 6 | EE | Salvatore La Torre,
P. Madhusudan,
Gennaro Parlato:
Context-Bounded Analysis of Concurrent Queue Systems.
TACAS 2008: 299-314 |
| 2007 |
|---|
| 5 | EE | Salvatore La Torre,
Gennaro Parlato:
On the Complexity of LtlModel-Checking of Recursive State Machines.
ICALP 2007: 937-948 |
| 4 | EE | Salvatore La Torre,
Parthasarathy Madhusudan,
Gennaro Parlato:
A Robust Class of Context-Sensitive Languages.
LICS 2007: 161-170 |
| 2005 |
|---|
| 3 | EE | Alessandro Ferrante,
Gennaro Parlato,
Francesco Sorrentino,
Carmine Ventre:
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents.
WAOA 2005: 147-160 |
| 2 | EE | Francesco Carrabs,
Raffaele Cerulli,
Monica Gentili,
Gennaro Parlato:
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds.
Inf. Process. Lett. 94(1): 29-35 (2005) |
| 2003 |
|---|
| 1 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente,
Gennaro Parlato:
Hierarchical and Recursive State Machines with Context-Dependent Properties.
ICALP 2003: 776-789 |
