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: Franceschet:Massimo
Contributed to:
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.