Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fabio Mogavero
2010 – today
- 2013
[c13]Fabio Mogavero, Aniello Murano, Luigi Sauro: On the Boundary of Behavioral Strategies. LICS 2013: 263-272- [c12]Massimo Benerecetti, Fabio Mogavero, Aniello Murano: Substructure Temporal Logic. LICS 2013: 368-377
- [e1]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (Eds.): Proceedings 1st International Workshop on Strategic Reasoning. EPTCS 112, 2013
- 2012
- [j3]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitatively fair scheduling. Theor. Comput. Sci. 413(1): 160-175 (2012)
- [j2]Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded computation tree logic. ACM Trans. Comput. Log. 13(3): 25 (2012)
- [c11]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208
- [i2]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012)
- 2011
- [j1]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62(1-2): 55-77 (2011)
- [c10]Benjamin Aminof, Fabio Mogavero, Aniello Murano: Synthesis of Hierarchical Systems. FACS 2011: 42-60
- [i1]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011)
- 2010
- [c9]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185
- [c8]Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic with Binary Coding. CSL 2010: 125-139
- [c7]
- [c6]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386
- [c5]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitative Fairness Games. QAPL 2010: 48-63
2000 – 2009
- 2009
- [c4]Fabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409
- [c3]Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351
- [c2]Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161
- 2008
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team