The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gennaro Parlato: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
    Hierarchical and Recursive State Machines with Context-Dependent Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:776-789 [Conf]
  2. Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre
    Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. [Citation Graph (0, 0)][DBLP]
    WAOA, 2005, pp:147-160 [Conf]
  3. 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:29-35 [Journal]
  4. Salvatore La Torre, Gennaro Parlato
    On the Complexity of LtlModel-Checking of Recursive State Machines. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:937-948 [Conf]
  5. Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
    A Robust Class of Context-Sensitive Languages. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:161-170 [Conf]

  6. Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. [Citation Graph (, )][DBLP]


  7. Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. [Citation Graph (, )][DBLP]


  8. An Infinite Automaton Characterization of Double Exponential Time. [Citation Graph (, )][DBLP]


  9. The Language Theory of Bounded Context-Switching. [Citation Graph (, )][DBLP]


  10. Analyzing recursive programs using a fixed-point calculus. [Citation Graph (, )][DBLP]


  11. Context-Bounded Analysis of Concurrent Queue Systems. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002