Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fabio Mogavero" ( http://dblp.L3S.de/Authors/Fabio_Mogavero )

URL (Homepage):  http://www.fabiomogavero.com/  Author page on DBLP  Author page in RDF  Community of Fabio Mogavero in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (3) 2010 (5) 2011 (2) 2012 (2)
Publication types (Num. hits)
article(4) inproceedings(9)
Venues (Conferences, Journals, ...)
CoRR(2) Ann. Math. Artif. Intell.(1) CLIMA(1) CSL(1) Developments in Language Theor...(1) FSTTCS(1) LICS(1) LPAR (Dakar)(1) MFCS(1) POLICY(1) QAPL(1) Theor. Comput. Sci.(1)
Authors
Fabio Mogavero(13) Aniello Murano(12) Alessandro Bianco(7) Marco Faella(5) Moshe Y. Vardi(4) Giuseppe Perelli(2) Piero A. Bonatti(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano Quantitatively fair scheduling. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi A Decidable Fragment of Strategy Logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi Reasoning About Strategies: On the Model-Checking Problem Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano Exploring the boundary of half-positionality. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano Quantitative Fairness Games Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano Exploring the Boundary of Half Positionality. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Moshe Y. Vardi Relentful Strategic Reasoning in Alternating-Time Temporal Logic. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Bianco, Fabio Mogavero, Aniello Murano Graded Computation Tree Logic with Binary Coding. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Moshe Y. Vardi Reasoning About Strategies. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano Balanced Paths in Colored Graphs. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano Branching-Time Temporal Logics with Minimal Model Quantifiers. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Bianco, Fabio Mogavero, Aniello Murano Graded Computation Tree Logic. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Fabio Mogavero Comparing Rule-Based Policies. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.