Aniello Murano

	2012
40		Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: A Decidable Fragment of Strategy Logic CoRR abs/1202.1309: (2012)
39		Benjamin Aminof, Orna Kupferman, Aniello Murano: Improved model checking of hierarchical systems. Inf. Comput. 210: 68-86 (2012)
38		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitatively fair scheduling. Theor. Comput. Sci. 413(1): 160-175 (2012)
	2011
37		Salvatore Cuomo, Aniello Murano, Francesco Piccialli: The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome. HEALTHINF 2011: 180-185
36		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62(1-2): 55-77 (2011)
35		Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem CoRR abs/1112.6275: (2011)
	2010
34		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185
33		Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic with Binary Coding. CSL 2010: 125-139
32		Salvatore Cuomo, Vittorio Fuccella, Aniello Murano: Full Formative Assessment based on Educational Video Games. DMS 2010: 228-231
31		Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Reasoning About Strategies. FSTTCS 2010: 133-144
30		Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386
29		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitative Fairness Games QAPL 2010: 48-63
28		Benjamin Aminof, Orna Kupferman, Aniello Murano: Improved Model Checking of Hierarchical Systems. VMCAI 2010: 61-77
27		Laura Bozzelli, Aniello Murano, Adriano Peron: Pushdown module checking. Formal Methods in System Design 36(1): 65-95 (2010)
	2009
26		Fabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409
25		Biagio D'Aniello, Salvatore Cuomo, Aniello Murano: The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. ICALT 2009: 604-605
24		Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351
23		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161
22		Aniello Murano: A technological infrastructure design for a pediatric oncology network. PETRA 2009
	2008
21		Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
20		Aniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332
19		Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched MU-Calculi Module Checking CoRR abs/0805.3462: (2008)
18		Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi CoRR abs/0809.0360: (2008)
17		Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculi Module Checking. Logical Methods in Computer Science 4(3): (2008)
16		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		Benjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
14		Dario Carotenuto, Aniello Murano, Adriano Peron: 2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144
13		Alessandro Ferrante, Aniello Murano: Enriched µ-Calculi Module Checking. FoSSaCS 2007: 183-197
12		Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculus Pushdown Module Checking. LPAR 2007: 438-453
	2006
11		Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
10		Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. 17(4): 869-884 (2006)
	2005
9		Laura Bozzelli, Aniello Murano, Adriano Peron: Pushdown Module Checking. LPAR 2005: 504-518
8		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		Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-Regular Automata. ATVA 2004: 324-338
6		Salvatore La Torre, Aniello Murano: Reasoning About Co-Büchi Tree Automata. ICTAC 2004: 527-542
5		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		Marco Faella, Salvatore La Torre, Aniello Murano: Dense Real-Time Games. LICS 2002: 167-176
2		Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254
1		Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108

Coauthor Index

1	Benjamin Aminof	[15] [21] [28] [39]
2	Alessandro Bianco	[23] [24] [29] [33] [34] [36] [38]
3	Piero A. Bonatti	[11] [16] [18]
4	Laura Bozzelli	[9] [27]
5	Dario Carotenuto	[14]
6	Salvatore Cuomo	[25] [32] [37]
7	Biagio D'Aniello	[25]
8	Marco Faella	[1] [3] [23] [29] [34] [36] [38]
9	Alessandro Ferrante	[12] [13] [17] [19]
10	Vittorio Fuccella	[32]
11	Orna Kupferman	[7] [10] [28] [39]
12	Axel Legay	[21]
13	Carsten Lutz	[11] [16] [18]
14	Fabio Mogavero	[23] [24] [26] [29] [30] [31] [33] [34] [35] [36] [38] [40]
15	Gila Morgenstern	[7] [10]
16	Supratik Mukhopadhyay	[4]
17	Margherita Napoli	[2] [8] [20]
18	Mimmo Parente (Domenico Parente)	[5] [12] [17] [19] [20]
19	Giuseppe Perelli	[35] [40]
20	Adriano Peron	[9] [14] [27]
21	Francesco Piccialli	[37]
22	Olivier Serre	[21]
23	Salvatore La Torre	[1] [2] [3] [4] [5] [6] [8]
24	Moshe Y. Vardi	[11] [15] [16] [18] [30] [31] [35] [40]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page