Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gennaro Parlato" ( http://dblp.L3S.de/Authors/Gennaro_Parlato )

  Author page on DBLP  Author page in RDF  Community of Gennaro Parlato in ASPL-2

Publication years (Num. hits)
2003-2010 (16) 2011 (5)
Publication types (Num. hits)
article(4) inproceedings(17)
Venues (Conferences, Journals, ...)
CAV(3) ICALP(2) POPL(2) CSL(1) CTW(1) Electronic Notes in Discrete M...(1) Inf. Comput.(1) Inf. Process. Lett.(1) INOC(1) LATA(1) LATIN(1) LICS(1) PLDI(1) SAS(1) TACAS(1) Theor. Comput. Sci.(1) More (+10 of total 17)
Authors
Gennaro Parlato(21) Salvatore La Torre(11) P. Madhusudan(6) Francesco Carrabs(4) Monica Gentili(4) Raffaele Cerulli(4) Margherita Napoli(3) Mimmo Parente(3) Parthasarathy Madhusudan(3) Ahmed Bouajjani(2) Alessandro Ferrante(2) Carmine Ventre(2) Francesco Sorrentino 0002(2) Michael Emmi(1) Mohamed Faouzi Atig(1) Xiaokang Qiu(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem. Search on Bibsonomy INOC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Gennaro Parlato, Xiaokang Qiu Decidable logics combining heap structures and data. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Gennaro Parlato The tree width of auxiliary storage. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato Getting Rid of Store-Buffers in TSO Analysis. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Michael Emmi, Gennaro Parlato On Sequentializing Concurrent Programs. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato The Language Theory of Bounded Context-Switching. Search on Bibsonomy LATIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino 0002, Carmine Ventre Fast payment schemes for truthful mechanisms with verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato Analyzing recursive programs using a fixed-point calculus. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato Verification of scope-dependent hierarchical state machines. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato Context-Bounded Analysis of Concurrent Queue Systems. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato An Infinite Automaton Characterization of Double Exponential Time. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato Verification of Succinct Hierarchical State Machines. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
1Salvatore La Torre, Gennaro Parlato On the Complexity of LtlModel-Checking of Recursive State Machines. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato A Robust Class of Context-Sensitive Languages. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino 0002, Carmine Ventre Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. Search on Bibsonomy WAOA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato Minimum Weighted Feedback Vertex Set on Diamonds. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato Minimum Weighted Feedback Vertex Set on Diamonds. Search on Bibsonomy CTW The full citation details ... 2004 DBLP  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato Hierarchical and Recursive State Machines with Context-Dependent Properties. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Model Checking, Temporal Logic, Automata
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.