Fabio Mogavero

	2012
13		Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: A Decidable Fragment of Strategy Logic CoRR abs/1202.1309: (2012)
12		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitatively fair scheduling. Theor. Comput. Sci. 413(1): 160-175 (2012)
	2011
11		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62(1-2): 55-77 (2011)
10		Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem CoRR abs/1112.6275: (2011)
	2010
9		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185
8		Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic with Binary Coding. CSL 2010: 125-139
7		Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Reasoning About Strategies. FSTTCS 2010: 133-144
6		Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386
5		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitative Fairness Games QAPL 2010: 48-63
	2009
4		Fabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409
3		Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351
2		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161
	2008
1		Piero A. Bonatti, Fabio Mogavero: Comparing Rule-Based Policies. POLICY 2008: 11-18

Coauthor Index

1	Alessandro Bianco	[2] [3] [5] [8] [9] [11] [12]
2	Piero A. Bonatti	[1]
3	Marco Faella	[2] [5] [9] [11] [12]
4	Aniello Murano	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
5	Giuseppe Perelli	[10] [13]
6	Moshe Y. Vardi	[6] [7] [10] [13]

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