| 2013 | ||
|---|---|---|
| j23 | Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: A graph-theoretic approach to map conceptual designs to XML schemas. ACM Trans. Database Syst. 38(1): 6 (2013) | |
| 2012 | ||
| j22 | Enrico Bozzo, Massimo Franceschet: Approximations of the Generalized Inverse of the Graph Laplacian Matrix. Internet Mathematics 8(4): 456-481 (2012) | |
| j21 | Massimo Franceschet: The large-scale structure of journal citation networks. JASIST 63(4): 837-842 (2012) | |
| i10 | ||
| 2011 | ||
| j20 | Massimo Franceschet: PageRank: standing on the shoulders of giants. Commun. ACM 54(6): 92-101 (2011) | |
| j19 | ||
| j18 | Massimo Franceschet: Collaboration in computer science: A network science approach. JASIST 62(10): 1992-2012 (2011) | |
| j17 | Massimo Franceschet, Antonio Costantini: The first Italian research assessment exercise: A bibliometric perspective. J. Informetrics 5(2): 275-291 (2011) | |
| i9 | Massimo Franceschet: Collaboration in computer science: a network science approach. Part II. CoRR abs/1104.4296 (2011) | |
| i8 | Massimo Franceschet: The large-scale structure of journal citation networks. CoRR abs/1110.4015 (2011) | |
| 2010 | ||
| j16 | ||
| j15 | Massimo Franceschet: Ten good reasons to use the EigenfactorTM metrics. Inf. Process. Manage. 46(5): 555-558 (2010) | |
| j14 | Massimo Franceschet: The difference between popularity and prestige in the sciences and in the social sciences: A bibliometric analysis. J. Informetrics 4(1): 55-63 (2010) | |
| j13 | ||
| j12 | Massimo Franceschet, Antonio Costantini: The effect of scholar collaboration on impact and quality of academic papers. J. Informetrics 4(4): 540-553 (2010) | |
| j11 | Massimo Franceschet: A comparison of bibliometric indicators for computer science scholars and journals on Web of Science and Google Scholar. Scientometrics 83(1): 243-258 (2010) | |
| c19 | Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD 2010: 382-389 | |
| i7 | ||
| i6 | ||
| i5 | ||
| 2009 | ||
| j10 | Massimo Franceschet: A cluster analysis of scholar and journal bibliometric indicators. JASIST 60(10): 1950-1964 (2009) | |
| c18 | Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179 | |
| i4 | Massimo Franceschet, Antonio Costantini: The first Italian research assessment exercise: a bibliometric perspective. CoRR abs/0912.2601 (2009) | |
| i3 | ||
| 2008 | ||
| i2 | ||
| 2007 | ||
| c17 | Massimo Franceschet, Angelo Montanari, Donatella Gubiani: Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. DEXA Workshops 2007: 25-29 | |
| 2006 | ||
| j9 | 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) | |
| j8 | Massimo Franceschet, Maarten de Rijke: Model checking hybrid logics (with an application to semistructured data). J. Applied Logic 4(3): 279-304 (2006) | |
| c16 | Massimo Franceschet: XPathMark: Functional and Performance Tests for XPath. XQuery Implementation Paradigms 2006 | |
| c15 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel: XCheck: A Platform for Benchmarking XQuery Engines. VLDB 2006: 1247-1250 | |
| c14 | Massimo Franceschet, Enrico Zimuel: A Logic-Based Approach to Cache Answerability for XPath Queries. XSym 2006: 46-60 | |
| 2005 | ||
| j7 | Balder ten Cate, Massimo Franceschet: Guarded Fragments with Constants. Journal of Logic, Language and Information 14(3): 281-288 (2005) | |
| c13 | Balder ten Cate, Massimo Franceschet: On the Complexity of Hybrid Logics with Binders. CSL 2005: 339-354 | |
| c12 | ||
| 2004 | ||
| j6 | 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) | |
| j5 | Carlo Combi, Massimo Franceschet, Adriano Peron: Representing and Reasoning about Temporal Granularities. J. Log. Comput. 14(1): 51-77 (2004) | |
| j4 | Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. TPLP 4(5-6): 621-658 (2004) | |
| c11 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke: CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124 | |
| 2003 | ||
| c10 | Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173 | |
| c9 | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202 | |
| i1 | Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. CoRR cs.LO/0311022 (2003) | |
| 2002 | ||
| c8 | Carlo Combi, Massimo Franceschet, Adriano Peron: A Logical Approach to Represent and Reason about Calendars. TIME 2002: 134-140 | |
| 2000 | ||
| j3 | 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) | |
| j2 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16(2): 307-347 (2000) | |
| 1999 | ||
| c7 | Massimo Franceschet, Angelo Montanari: Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA 1999: 131-142 | |
| c6 | 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 | |
| c5 | Massimo Franceschet, Angelo Montanari: A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME 1999: 55-66 | |
| 1998 | ||
| j1 | 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) | |
| c4 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379 | |
| c3 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998: 81-88 | |
| 1997 | ||
| c2 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419 | |
| c1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997: 38-45 | |
Data released under the ODC-BY 1.0 license — See also our legal information page