BibSonomy :: author :: Mogavero ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(13)

<< < 1 > >>

Graded Computation Tree Logic.
Alessandro Bianco, Fabio Mogavero, and Aniello Murano LICS, page 342-351. IEEE Computer Society, (2009)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Reasoning About Strategies: On the Model-Checking Problem
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Quantitatively fair scheduling.
Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano Theor. Comput. Sci. 413(1):160-175 (2012)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Exploring the boundary of half-positionality.
Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano Ann. Math. Artif. Intell. 62(1-2):55-77 (2011)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX
Exploring the Boundary of Half Positionality.
Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano CLIMA, volume 6245 of Lecture Notes in Computer Science, page 171-185. Springer, (2010)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
Reasoning About Strategies.
Fabio Mogavero, Aniello Murano, and Moshe Y. Vardi FSTTCS, volume 8 of LIPIcs, page 133-144. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)
to dblp by dblp on Jan 8, 2011, 12:00 AM
URL | BibTeX
Relentful Strategic Reasoning in Alternating-Time Temporal Logic.
Fabio Mogavero, Aniello Murano, and Moshe Y. Vardi LPAR Dakar, volume 6355 of Lecture Notes in Computer Science, page 371-386. Springer, (2010)
to dblp by dblp on Dec 23, 2010, 12:00 AM
URL | BibTeX
Quantitative Fairness Games
Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano QAPL, volume 28 of EPTCS, page 48-63. (2010)
to dblp by dblp on Nov 23, 2010, 12:00 AM
URL | BibTeX
Graded Computation Tree Logic with Binary Coding.
Alessandro Bianco, Fabio Mogavero, and Aniello Murano CSL, volume 6247 of Lecture Notes in Computer Science, page 125-139. Springer, (2010)
to dblp by dblp on Aug 18, 2010, 12:00 AM
URL | BibTeX
Balanced Paths in Colored Graphs.
Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano MFCS, volume 5734 of Lecture Notes in Computer Science, page 149-161. Springer, (2009)
to dblp by dblp on Aug 21, 2009, 12:00 AM
URL | BibTeX
Comparing Rule-Based Policies.
Piero A. Bonatti, and Fabio Mogavero POLICY, page 11-18. IEEE Computer Society, (2008)
to dblp by dblp and 1 other user on Jul 5, 2009, 12:00 AM
URL | BibTeX
Branching-Time Temporal Logics with Minimal Model Quantifiers.
Fabio Mogavero, and Aniello Murano Developments in Language Theory, volume 5583 of Lecture Notes in Computer Science, page 396-409. Springer, (2009)
to dblp by dblp on Jul 4, 2009, 12:00 AM
URL | BibTeX
Comparing Rule-Based Policies
P. A. Bonatti, and F. Mogavero POLICY '08: Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks, page 11--18. Washington, DC, USA, IEEE Computer Society, (2008)
to imported by claudia.wagner and 1 other user on Mar 3, 2009, 10:35 AM
URL | DOI | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100