All Stories

  1. Common Foundations for SHACL, ShEx, and PG-Schema

    Article • April 2025, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero, Cem Okulmus

  2. Good-for-Game QPTL: An Alternating Hodges Semantics

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  3. Satisfiability and containment of recursive SHACL

    Article • Journal of Web Semantics, October 2022, Elsevier

    Ph.D. Fabio Mogavero

  4. Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems

    Article • January 2021, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  5. SHACL Satisfiability and Containment

    Article • January 2020, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  6. Solving Mean-Payoff Games via Quasi Dominions

    Article • January 2020, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  7. Solving parity games via priority promotion

    Article • Formal Methods in System Design, January 2018, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  8. Reasoning About Strategies

    Article • ACM Transactions on Computational Logic, August 2014, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  9. Synthesis of hierarchical systems

    Article • Science of Computer Programming, April 2014, Elsevier

    Ph.D. Fabio Mogavero

  10. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

    Article • January 2014, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  11. On the Boundary of Behavioral Strategies

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  12. Substructure Temporal Logic

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  13. On Promptness in Parity Games

    Article • January 2013, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  14. Graded computation tree logic

    Article • ACM Transactions on Computational Logic, August 2012, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  15. Quantitatively fair scheduling

    Article • Theoretical Computer Science, January 2012, Elsevier

    Ph.D. Fabio Mogavero

  16. Synthesis of Hierarchical Systems

    Article • January 2012, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  17. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic

    Article • January 2012, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  18. Exploring the boundary of half-positionality

    Article • Annals of Mathematics and Artificial Intelligence, June 2011, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  19. Exploring the Boundary of Half Positionality

    Article • January 2010, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  20. Graded Computation Tree Logic with Binary Coding

    Article • January 2010, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  21. Relentful Strategic Reasoning in Alternating-Time Temporal Logic

    Article • January 2010, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  22. Graded Computation Tree Logic

    Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  23. Balanced Paths in Colored Graphs

    Article • January 2009, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  24. Branching-Time Temporal Logics with Minimal Model Quantifiers

    Article • January 2009, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  25. Comparing Rule-Based Policies

    Article • June 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero