Aniello Murano

2008
19	EE	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
18	EE	Aniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332
17	EE	Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched MU-Calculi Module Checking CoRR abs/0805.3462: (2008)
16	EE	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi CoRR abs/0809.0360: (2008)
2007
15	EE	Benjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
14	EE	Dario Carotenuto, Aniello Murano, Adriano Peron: 2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144
13	EE	Alessandro Ferrante, Aniello Murano: Enriched µ-Calculi Module Checking. FoSSaCS 2007: 183-197
12	EE	Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculus Pushdown Module Checking. LPAR 2007: 438-453
2006
11	EE	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
10	EE	Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. 17(4): 869-884 (2006)
2005
9	EE	Laura Bozzelli, Aniello Murano, Adriano Peron: Pushdown Module Checking. LPAR 2005: 504-518
8	EE	Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005)
2004
7	EE	Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-Regular Automata. ATVA 2004: 324-338
6	EE	Salvatore La Torre, Aniello Murano: Reasoning About Co-Büchi Tree Automata. ICTAC 2004: 527-542
5	EE	Salvatore La Torre, Aniello Murano, Mimmo Parente: Model-checking the Secure Release of a Time-locked Secret over a Network. Electr. Notes Theor. Comput. Sci. 99: 229-243 (2004)
2002
4		Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano: Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497
3	EE	Marco Faella, Salvatore La Torre, Aniello Murano: Dense Real-Time Games. LICS 2002: 167-176
2	EE	Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254
1	EE	Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108

Coauthor Index

1	Benjamin Aminof	[15] [19]
2	Piero A. Bonatti	[11] [16]
3	Laura Bozzelli	[9]
4	Dario Carotenuto	[14]
5	Marco Faella	[1] [3]
6	Alessandro Ferrante	[12] [13] [17]
7	Orna Kupferman	[7] [10]
8	Axel Legay	[19]
9	Carsten Lutz	[11] [16]
10	Gila Morgenstern	[7] [10]
11	Supratik Mukhopadhyay	[4]
12	Margherita Napoli	[2] [8] [18]
13	Mimmo Parente (Domenico Parente)	[5] [12] [17] [18]
14	Adriano Peron	[9] [14]
15	Olivier Serre	[19]
16	Salvatore La Torre	[1] [2] [3] [4] [5] [6] [8]
17	Moshe Y. Vardi	[11] [15] [16]