
Search the dblp DataBase
Gennaro Parlato:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Hierarchical and Recursive State Machines with ContextDependent Properties. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:776789 [Conf]
 Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre
Improvements for Truthful Mechanisms with Verifiable OneParameter Selfish Agents. [Citation Graph (0, 0)][DBLP] WAOA, 2005, pp:147160 [Conf]
 Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2005, v:94, n:1, pp:2935 [Journal]
 Salvatore La Torre, Gennaro Parlato
On the Complexity of LtlModelChecking of Recursive State Machines. [Citation Graph (0, 0)][DBLP] ICALP, 2007, pp:937948 [Conf]
 Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
A Robust Class of ContextSensitive Languages. [Citation Graph (0, 0)][DBLP] LICS, 2007, pp:161170 [Conf]
Reducing ContextBounded Concurrent Reachability to Sequential Reachability. [Citation Graph (, )][DBLP]
ModelChecking Parameterized Concurrent Programs Using Linear Interfaces. [Citation Graph (, )][DBLP]
An Infinite Automaton Characterization of Double Exponential Time. [Citation Graph (, )][DBLP]
The Language Theory of Bounded ContextSwitching. [Citation Graph (, )][DBLP]
Analyzing recursive programs using a fixedpoint calculus. [Citation Graph (, )][DBLP]
ContextBounded Analysis of Concurrent Queue Systems. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
