 | 2009 |
|---|
| 12 |       | Salvatore La Torre,
P. Madhusudan,
Gennaro Parlato:
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.
CAV 2009: 477-492 |
| 11 | | Salvatore La Torre,
Parthasarathy Madhusudan,
Gennaro Parlato:
Analyzing recursive programs using a fixed-point calculus.
PLDI 2009: 211-222 |
| 10 | | Alessandro Ferrante,
Gennaro Parlato,
Francesco Sorrentino,
Carmine Ventre:
Fast payment schemes for truthful mechanisms with verification.
Theor. Comput. Sci. 410(8-10): 886-899 (2009) |
| 2008 |
|---|
| 9 | | Salvatore La Torre,
P. Madhusudan,
Gennaro Parlato:
An Infinite Automaton Characterization of Double Exponential Time.
CSL 2008: 33-48 |
| 8 | | Salvatore La Torre,
P. Madhusudan,
Gennaro Parlato:
Context-Bounded Analysis of Concurrent Queue Systems.
TACAS 2008: 299-314 |
| 7 | | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente,
Gennaro Parlato:
Verification of scope-dependent hierarchical state machines.
Inf. Comput. 206(9-10): 1161-1177 (2008) |
| 2007 |
|---|
| 6 | | Salvatore La Torre,
Gennaro Parlato:
On the Complexity of LtlModel-Checking of Recursive State Machines.
ICALP 2007: 937-948 |
| 5 | | Salvatore La Torre,
Parthasarathy Madhusudan,
Gennaro Parlato:
A Robust Class of Context-Sensitive Languages.
LICS 2007: 161-170 |
| 2005 |
|---|
| 4 | | Alessandro Ferrante,
Gennaro Parlato,
Francesco Sorrentino,
Carmine Ventre:
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents.
WAOA 2005: 147-160 |
| 3 | | 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) |
| 2004 |
|---|
| 2 | | Francesco Carrabs,
Raffaele Cerulli,
Monica Gentili,
Gennaro Parlato:
Minimum Weighted Feedback Vertex Set on Diamonds.
Electronic Notes in Discrete Mathematics 17: 87-91 (2004) |
| 2003 |
|---|
| 1 | | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente,
Gennaro Parlato:
Hierarchical and Recursive State Machines with Context-Dependent Properties.
ICALP 2003: 776-789 |
