BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Fabio Mogavero
SearchCollections
Map detail
Fabio Mogavero11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFabio MogaveroAFabio MogaveroResearcherProceedings 1st International Workshop on Strategic ReasoningWProceedings 1st Interna...preprint / 2013Reasoning About Strategies: On the Model-Checking ProblemWReasoning About Strateg...preprint / 2012Proceedings 2nd International Workshop on Strategic ReasoningWProceedings 2nd Interna...preprint / 2014On the Remarkable Features of Binding FormsWOn the Remarkable Featu...preprint / 2014A Decidable Fragment of Strategy LogicWA Decidable Fragment of...preprint / 2012Cycle Detection in Computation Tree LogicWCycle Detection in Comp...preprint / 2016Satisfiability and Containment of Recursive SHACLWSatisfiability and Cont...preprint / 2022Quantitative Fairness GamesWQuantitative Fairness G...preprint / 2010MCMAS-SLK: A Model Checker for the Verification of Strategy Logic SpecificationsWMCMAS-SLK: A Model Chec...preprint / 2014A Delayed Promotion Policy for Parity GamesWA Delayed Promotion Pol...preprint / 2016
Person10 links

Fabio Mogavero

Researcher

PaperProceedings 1st International Workshop on Strategic ReasoningAuthorship / preprint / 2013PaperReasoning About Strategies: On the Model-Checking ProblemAuthorship / preprint / 2012PaperProceedings 2nd International Workshop on Strategic ReasoningAuthorship / preprint / 2014PaperOn the Remarkable Features of Binding FormsAuthorship / preprint / 2014PaperA Decidable Fragment of Strategy LogicAuthorship / preprint / 2012PaperCycle Detection in Computation Tree LogicAuthorship / preprint / 2016PaperSatisfiability and Containment of Recursive SHACLAuthorship / preprint / 2022PaperQuantitative Fairness GamesAuthorship / preprint / 2010

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)