Gennaro Parlato

	2011
21		Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato: Getting Rid of Store-Buffers in TSO Analysis. CAV 2011: 99-115
20		Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato: A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem. INOC 2011: 589-602
19		P. Madhusudan, Gennaro Parlato: The tree width of auxiliary storage. POPL 2011: 283-294
18		P. Madhusudan, Gennaro Parlato, Xiaokang Qiu: Decidable logics combining heap structures and data. POPL 2011: 611-622
17		Ahmed Bouajjani, Michael Emmi, Gennaro Parlato: On Sequentializing Concurrent Programs. SAS 2011: 129-145
	2010
16		Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644
15		Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: The Language Theory of Bounded Context-Switching. LATIN 2010: 96-107
	2009
14		Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV 2009: 477-492
13		Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: Analyzing recursive programs using a fixed-point calculus. PLDI 2009: 211-222
12		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
11		Salvatore La Torre, P. Madhusudan, Gennaro Parlato: An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48
10		Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314
9		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
8		Salvatore La Torre, Gennaro Parlato: On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP 2007: 937-948
7		Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496
6		Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170
	2005
5		Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre: Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. WAOA 2005: 147-160
4		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
3		Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato: Minimum Weighted Feedback Vertex Set on Diamonds. CTW 2004: 81-85
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

Coauthor Index

1	Mohamed Faouzi Atig	[21]
2	Ahmed Bouajjani	[17] [21]
3	Francesco Carrabs	[2] [3] [4] [20]
4	Raffaele Cerulli	[2] [3] [4] [20]
5	Michael Emmi	[17]
6	Alessandro Ferrante	[5] [12]
7	Monica Gentili	[2] [3] [4] [20]
8	P. Madhusudan (Parthasarathy Madhusudan)	[6] [10] [11] [13] [14] [15] [16] [18] [19]
9	Margherita Napoli	[1] [7] [9]
10	Mimmo Parente (Domenico Parente)	[1] [7] [9]
11	Xiaokang Qiu	[18]
12	Francesco Sorrentino	[5] [12]
13	Salvatore La Torre	[1] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16]
14	Carmine Ventre	[5] [12]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page