BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × Korea
1 × United Kingdom
Collaborated with:
I.Cervesato A.Montanari B.t.Cate L.Afanasiev M.Marx E.Zimuel
Talks about:
complex (3) check (3) calculi (2) model (2) modal (2) event (2) benchmark (1) quantifi (1) platform (1) hybrid (1)

Person: Massimo Franceschet

DBLP DBLP: Franceschet:Massimo

Contributed to:

VLDB 20062006
CSL 20052005
KR 19981998
ICLP 19971997

Wrote 4 papers:

VLDB-2006-AfanasievFMZ #benchmark #framework #metric #named #platform #xquery
XCheck: A Platform for Benchmarking XQuery Engines (LA, MF, MM, EZ), pp. 1247–1250.
CSL-2005-CateF #complexity #hybrid #logic #on the
On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.
KR-1998-CervesatoFM #calculus #complexity #model checking #quantifier
The Complexity of Model Checking in Modal Event Calculi with Quantifiers (IC, MF, AM), pp. 368–379.
ICLP-1997-CervesatoFM #calculus #complexity #model checking
The Complexity of Model Checking in Modal Event Calculi (IC, MF, AM), p. 419.

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.