The Complexity of Model Checking in Modal Event Calculi. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (ICLP, 1997)

Modal Event Calculi with Preconditions. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (TIME, 1997)

Event Calculus with Explicit Quantifiers. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (TIME, 1998)

The Complexity of Model Checking in Modal Event Calculi with Quantifiers. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (Electron. Trans. Artif. Intell., 1998)

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. - Massimo Franceschet; Angelo Montanari (AI*IA, 1999)

Indexing by Shape of Image Databases Based on Extended Grid Files. - Carlo Combi; Gian Luca Foresti; Massimo Franceschet; Angelo Montanari (ICMCS, Vol. 2, 1999)

A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. - Massimo Franceschet; Angelo Montanari (TIME, 1999)

A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. - Massimo Franceschet; Angelo Montanari (Ann. Math. Artif. Intell., 2000)

A Guided Tour through Some Extensions of the Event Calculus. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (Comput. Intell., 2000)

A Logical Approach to Represent and Reason about Calendars. - Carlo Combi; Massimo Franceschet; Adriano Peron (TIME, 2002)

Hybrid Logics on Linear Structures: Expressivity and Complexity. - Massimo Franceschet; Maarten de Rijke; Bernd-Holger Schlingloff (TIME, 2003)

CTL Model Checking for Processing Simple XPath Queries. - Loredana Afanasiev; Massimo Franceschet; Maarten Marx; Maarten de Rijke (TIME, 2004)

Model Checking for Combined Logics with an Application to Mobile Systems. - Massimo Franceschet; Angelo Montanari; Maarten de Rijke (Autom. Softw. Eng., 2004)

Representing and Reasoning about Temporal Granularities. - Carlo Combi; Massimo Franceschet; Adriano Peron (J. Log. Comput., 2004)

Temporalized logics and automata for time granularity. - Massimo Franceschet; Angelo Montanari (Theory Pract. Log. Program., 2004)

On the Complexity of Hybrid Logics with Binders. - Balder ten Cate; Massimo Franceschet (CSL, 2005)

XPathMark: An XPath Benchmark for the XMark Generated Data. - Massimo Franceschet (XSym, 2005)

Guarded Fragments with Constants. - Balder ten Cate; Massimo Franceschet (J. Log. Lang. Inf., 2005)

XPathMark: Functional and Performance Tests for XPath. - Massimo Franceschet (XQuery Implementation Paradigms, 2006)

XCheck: A Platform for Benchmarking XQuery Engines. - Loredana Afanasiev; Massimo Franceschet; Maarten Marx; Enrico Zimuel (VLDB, 2006)

A Logic-Based Approach to Cache Answerability for XPath Queries. - Massimo Franceschet; Enrico Zimuel (XSym, 2006)

Definability and decidability of binary predicates for time granularity. - Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco (J. Appl. Log., 2006)

Model checking hybrid logics (with an application to semistructured data). - Massimo Franceschet; Maarten de Rijke (J. Appl. Log., 2006)

Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. - Massimo Franceschet; Angelo Montanari; Donatella Gubiani (DEXA Workshops, 2007)

Bibliometrics in a nutshell - Massimo Franceschet (CoRR, 2008)

From Entity Relationship to XML Schema: A Graph-Theoretic Approach. - Massimo Franceschet; Donatella Gubiani; Angelo Montanari; Carla Piazza (XSym, 2009)

A cluster analysis of scholar and journal bibliometric indicators. - Massimo Franceschet (J. Assoc. Inf. Sci. Technol., 2009)

From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). - Massimo Franceschet; Donatella Gubiani; Angelo Montanari; Carla Piazza (SEBD, 2010)

The role of conference publications in CS. - Massimo Franceschet (Commun. ACM, 2010)

PageRank: Stand on the shoulders of giants - Massimo Franceschet (CoRR, 2010)

A logic for networks - Massimo Franceschet (CoRR, 2010)

The small world of computer science - Massimo Franceschet (CoRR, 2010)

Ten good reasons to use the EigenfactorTM metrics. - Massimo Franceschet (Inf. Process. Manag., 2010)

The difference between popularity and prestige in the sciences and in the social sciences: A bibliometric analysis. - Massimo Franceschet (J. Informetrics, 2010)

Journal influence factors. - Massimo Franceschet (J. Informetrics, 2010)

The effect of scholar collaboration on impact and quality of academic papers. - Massimo Franceschet; Antonio Costantini (J. Informetrics, 2010)

A comparison of bibliometric indicators for computer science scholars and journals on Web of Science and Google Scholar. - Massimo Franceschet (Scientometrics, 2010)

PageRank: standing on the shoulders of giants. - Massimo Franceschet (Commun. ACM, 2011)

Collaboration in computer science: a network science approach. Part II - Massimo Franceschet (CoRR, 2011)

The skewness of computer science. - Massimo Franceschet (Inf. Process. Manag., 2011)

Collaboration in computer science: A network science approach. - Massimo Franceschet (J. Assoc. Inf. Sci. Technol., 2011)

The first Italian research assessment exercise: A bibliometric perspective. - Massimo Franceschet; Antonio Costantini (J. Informetrics, 2011)

Effective and efficient approximations of the generalized inverse of the graph Laplacian matrix with an application to current-flow betweenness centrality. - Enrico Bozzo; Massimo Franceschet (CoRR, 2012)

The large-scale structure of journal citation networks. - Massimo Franceschet (J. Assoc. Inf. Sci. Technol., 2012)

Resistance distance, closeness, and betweenness. - Enrico Bozzo; Massimo Franceschet (Soc. Networks, 2013)

A graph-theoretic approach to map conceptual designs to XML schemas. - Massimo Franceschet; Donatella Gubiani; Angelo Montanari; Carla Piazza (ACM Trans. Database Syst., 2013)

Complex Beauty. - Massimo Franceschet (Complex Syst., 2015)

Vulnerability and power on networks. - Enrico Bozzo; Massimo Franceschet; Franca Rinaldi (Netw. Sci., 2015)

A theory on power in networks. - Enrico Bozzo; Massimo Franceschet (Commun. ACM, 2016)

Network regularizability. - Massimo Franceschet; Enrico Bozzo (CoRR, 2016)

Clustering citation histories in the Physical Review. - Giovanni Colavizza; Massimo Franceschet (J. Informetrics, 2016)

The Massey's method for sport rating: a network science perspective. - Massimo Franceschet; Enrico Bozzo (CoRR, 2017)

The temporalized Massey's method. - Massimo Franceschet; Enrico Bozzo (CoRR, 2017)

Approximations of the Generalized Inverse of the Graph Laplacian Matrix. - Massimo Franceschet; Enrico Bozzo (Internet Math., 2017)

Arbitrarily regularizable graphs. - Massimo Franceschet; Enrico Bozzo (Internet Math., 2017)

TimeRank: A dynamic approach to rate scholars using citations. - Massimo Franceschet; Giovanni Colavizza (J. Informetrics, 2017)

Quantifying the long-term influence of scientific publications. - Giovanni Colavizza; Massimo Franceschet; Vincent A. Traag; Ludo Waltman (ISSI, 2019)

Crypto art: A decentralized view. - Massimo Franceschet; Giovanni Colavizza; Tai Smith; Blake Finucane; Martin Lukas Ostachowski; Sergio Scalet; Jonathan Perkins; James Morgan; Sebastian Hernandez (CoRR, 2019)

Art Metrics. - Massimo Franceschet; Giovanni Colavizza (CoRR, 2019)

Art for Space. - Massimo Franceschet (ACM Journal on Computing and Cultural Heritage, 2020)

Quantifying the higher-order influence of scientific publications. - Massimo Franceschet; Giovanni Colavizza (Scientometrics, 2020)

The Sentiment of Crypto Art. - Massimo Franceschet (CHR, 2021)

Return on NFTs. - Massimo Franceschet; Davide Della Libera (Frontiers Blockchain, 2023)

Decentraland: The Alleged Decentralization of Blockchain Applications. - Massimo Franceschet (Commun. ACM, 2023)