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 × Australia
1 × Austria
1 × Canada
1 × Estonia
1 × Italy
Collaborated with:
A.Lomuscio F.Patrizi P.Gonzalez
Talks about:
logic (3) time (3) knowledg (2) system (2) verif (2) order (2) first (2) techniqu (1) tableaux (1) protocol (1)

Person: Francesco Belardinelli

DBLP DBLP: Belardinelli:Francesco

Contributed to:

KR 20142014
KR 20122012
QAPL 20122012
KR 20102010
KR 20082008

Wrote 5 papers:

KR-2014-Belardinelli #logic #satisfiability
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux (FB).
KR-2012-BelardinelliLP #abstraction #verification
An Abstraction Technique for the Verification of Artifact-Centric Systems (FB, AL, FP).
QAPL-2012-BelardinelliGL #automation #protocol #quantum #using #verification
Automated Verification of Quantum Protocols using MCMAS (FB, PG, AL), pp. 48–62.
KR-2010-BelardinelliL #first-order #interactive #logic #multi
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).
KR-2008-BelardinelliL #first-order #logic
A Complete First-Order Logic of Knowledge and Time (FB, AL), pp. 705–714.

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.