Massimo Franceschet

2008
28	EE	Massimo Franceschet: Bibliometrics in a nutshell CoRR abs/0811.4603: (2008)
2007
27	EE	Massimo Franceschet, Angelo Montanari, Donatella Gubiani: Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. DEXA Workshops 2007: 25-29
2006
26	EE	Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel: XCheck: A Platform for Benchmarking XQuery Engines. VLDB 2006: 1247-1250
25	EE	Massimo Franceschet: XPathMark: Functional and Performance Tests for XPath. XQuery Implementation Paradigms 2006
24	EE	Massimo Franceschet, Enrico Zimuel: A Logic-Based Approach to Cache Answerability for XPath Queries. XSym 2006: 46-60
23	EE	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. J. Applied Logic 4(2): 168-191 (2006)
22	EE	Massimo Franceschet, Maarten de Rijke: Model checking hybrid logics (with an application to semistructured data). J. Applied Logic 4(3): 279-304 (2006)
2005
21	EE	Balder ten Cate, Massimo Franceschet: On the Complexity of Hybrid Logics with Binders. CSL 2005: 339-354
20	EE	Massimo Franceschet: XPathMark: An XPath Benchmark for the XMark Generated Data. XSym 2005: 129-143
19	EE	Balder ten Cate, Massimo Franceschet: Guarded Fragments with Constants. Journal of Logic, Language and Information 14(3): 281-288 (2005)
2004
18	EE	Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke: CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124
17	EE	Massimo Franceschet, Angelo Montanari, Maarten de Rijke: Model Checking for Combined Logics with an Application to Mobile Systems. Autom. Softw. Eng. 11(3): 289-321 (2004)
16	EE	Carlo Combi, Massimo Franceschet, Adriano Peron: Representing and Reasoning about Temporal Granularities. J. Log. Comput. 14(1): 51-77 (2004)
15		Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. TPLP 4(5-6): 621-658 (2004)
2003
14	EE	Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173
13	EE	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202
12	EE	Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity CoRR cs.LO/0311022: (2003)
2002
11	EE	Carlo Combi, Massimo Franceschet, Adriano Peron: A Logical Approach to Represent and Reason about Calendars. TIME 2002: 134-140
2000
10		Massimo Franceschet, Angelo Montanari: A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Ann. Math. Artif. Intell. 30(1-4): 93-118 (2000)
9		Iliano Cervesato, Massimo Franceschet, Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16(2): 307-347 (2000)
1999
8	EE	Massimo Franceschet, Angelo Montanari: Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999: 131-142
7	EE	Carlo Combi, Gian Luca Foresti, Massimo Franceschet, Angelo Montanari: Indexing by Shape of Image Databases Based on Extended Grid Files. ICMCS, Vol. 2 1999: 230-234
6	EE	Massimo Franceschet, Angelo Montanari: A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999: 55-66
1998
5		Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379
4	EE	Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998: 81-88
3	EE	Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Electron. Trans. Artif. Intell. 2: 1-23 (1998)
1997
2		Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419
1	EE	Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997: 38-45

Coauthor Index

1	Loredana Afanasiev	[18] [26]
2	Balder ten Cate	[19] [21]
3	Iliano Cervesato	[1] [2] [3] [4] [5] [9]
4	Carlo Combi	[7] [11] [16]
5	Gian Luca Foresti	[7]
6	Donatella Gubiani	[27]
7	Maarten Marx	[18] [26]
8	Angelo Montanari	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15] [17] [23] [27]
9	Adriano Peron	[11] [13] [16] [23]
10	Maarten de Rijke	[14] [17] [18] [22]
11	Bernd-Holger Schlingloff	[14]
12	Guido Sciavicco	[13] [23]
13	Enrico Zimuel	[24] [26]