Aniello Murano Vis

*	2009
24	EE	Fabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409
23	EE	Biagio D'Aniello, Salvatore Cuomo, Aniello Murano: The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. ICALT 2009: 604-605
22	EE	Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161
	2008
21	EE	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
20	EE	Aniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332
19	EE	Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched MU-Calculi Module Checking CoRR abs/0805.3462: (2008)
18	EE	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi CoRR abs/0809.0360: (2008)
17	EE	Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculi Module Checking. Logical Methods in Computer Science 4(3): (2008)
16	EE	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3): (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] [21]
2	Alessandro Bianco	[22]
3	Piero A. Bonatti	[11] [16] [18]
4	Laura Bozzelli	[9]
5	Dario Carotenuto	[14]
6	Salvatore Cuomo	[23]
7	Biagio D'Aniello	[23]
8	Marco Faella	[1] [3] [22]
9	Alessandro Ferrante	[12] [13] [17] [19]
10	Orna Kupferman	[7] [10]
11	Axel Legay	[21]
12	Carsten Lutz	[11] [16] [18]
13	Fabio Mogavero	[22] [24]
14	Gila Morgenstern	[7] [10]
15	Supratik Mukhopadhyay	[4]
16	Margherita Napoli	[2] [8] [20]
17	Mimmo Parente (Domenico Parente)	[5] [12] [17] [19] [20]
18	Adriano Peron	[9] [14]
19	Olivier Serre	[21]
20	Salvatore La Torre	[1] [2] [3] [4] [5] [6] [8]
21	Moshe Y. Vardi	[11] [15] [16] [18]

Colors in the list of coauthors