BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Czech Republic
2 × Germany
2 × USA
Collaborated with:
A.Murano A.Bianco M.Benerecetti G.Perelli L.Sauro D.Dell'Erba P.Cermák A.Lomuscio M.Faella
Talks about:
logic (6) strategi (2) tempor (2) comput (2) model (2) grade (2) tree (2) game (2) substructur (1) quantifi (1)

Person: Fabio Mogavero

DBLP DBLP: Mogavero:Fabio

Contributed to:

CSL 20152015
CAV 20142014
LICS 20132013
CSL 20102010
QAPL 20102010
DLT 20092009
LICS 20092009
CAV (2) 20162016

Wrote 9 papers:

CSL-2015-MogaveroP #first-order #logic
Binding Forms in First-Order Logic (FM, GP), pp. 648–665.
CAV-2014-CermakLMM #logic #model checking #named #specification #verification
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.
LICS-2013-BenerecettiMM #logic
Substructure Temporal Logic (MB, FM, AM), pp. 368–377.
LICS-2013-MogaveroMS #behaviour #bound #on the
On the Boundary of Behavioral Strategies (FM, AM, LS), pp. 263–272.
CSL-2010-BiancoMM #logic
Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.
QAPL-2010-BiancoFMM #game studies
Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.
DLT-2009-MogaveroM #logic #quantifier
Branching-Time Temporal Logics with Minimal Model Quantifiers (FM, AM), pp. 396–409.
LICS-2009-BiancoMM #logic
Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.
CAV-2016-BenerecettiDM #game studies
Solving Parity Games via Priority Promotion (MB, DD, FM), pp. 270–290.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.