75. Massimo Franceschet. Decentralized Autonomous Education. Right Click Save, 2023 [DOI]


74. Massimo Franceschet. Decentraland: The Alleged Decentralization of Blockchain Applications. Communications of the ACM, 66 (6): 45-47, 2023 [DOI]


73. Massimo Franceschet and Davide Della Libera. Return on NFTs. Frontiers in Blockchain, 6, 2023 [DOI]


72. Massimo Franceschet. Past, Present and Future Forms of Generative Art. ArtCode, 2022. [NFT]


71. Massimo Franceschet. Are blockchain art and finance really decentralized? Right Click Save, 2022 [DOI]


70. Massimo Franceschet. Blockchain: quanto pesa il consumo di energia (in Italian). LaVoce.info, 2022 [DOI, Medium]


69. Massimo Franceschet. Generative Art: Theory and Practice. ArtCode, 2022. [NFT]


68. Massimo Franceschet. HITS hits art. Blockchain: Research and Applications 2(4), 2021. [PDF, DOI]


67. Massimo Franceschet. The sentiment of crypto art. Conference on Computational Humanities Research, 2021 [DOI]


66. Chiara Braidotti, Giovanni Colavizza, and Massimo Franceschet. Blockchain art: le nuove frontiere del mercato dell'arte (in Italian). Singola, 2021 [DOI]


65. Massimo Franceschet. Crypto art: nascita e caduta di un movimento artistico (in Italian). LaVoce.info, 2021 [DOI]


64. Massimo Franceschet, Giovanni Colavizza, Tai Smith, Blake Finucane, Martin Lukas Ostachowski, Sergio Scalet, Jonathan Perkins, James Morgan, and Sebastian Hernandez. Crypto art: A decentralized view. Leonardo, 54 (4): 402-40, 2021. [DOI, Medium, PDF]


63. Massimo Franceschet. Art for space. ACM Journal on Computing and Cultural Heritage 13 (3), 2020. [DOI]


62. Massimo Franceschet and Giovanni Colavizza. Quantifying the higher-order influence of scientific publications. Scientometrics, 2020. [DOI]


61. Enrico Bozzo, Massimo Franceschet, and Paolo Vidoni. A parametric family of Massey-type methods: inference, prediction, and sensitivity. Journal of Quantitative Analysis in Sports, 2020. [DOI]


60. Massimo Franceschet and Giovanni Colavizza. TimeRank: A dynamic approach to rate scholars using citations. Journal of Informetrics 11 (4), 1128-1141, 2017. [DOI]


59. Enrico Bozzo and Massimo Franceschet. Network regularizability. Internet Mathematics, 2017. [DOI]


58. Enrico Bozzo, Massimo Franceschet, and Paolo Vidoni. The temporalized Massey's method. Journal of Quantitative Analysis in Sports, 13(2), 37-48, 2017. [DOI]


57. Giovanni Colavizza and Massimo Franceschet. Clustering citation histories in the Physical Review. Journal of Informetrics, 10(4), 1037-1051, 2016. [DOI]


56. Enrico Bozzo and Massimo Franceschet. A theory on power in networks. Communications of the ACM, 59(11), 75-83, 2016. [PDF, DOI]


55. Massimo Franceschet. Complex Beauty. Complex Systems, 24(3), 249-259, 2015. [PDF, DOI]


54. Enrico Bozzo, Massimo Franceschet, and Franca Rinaldi. Vulnerability and power on networks. Network Science, 3 (2), 196-226, 2015. [PDF, DOI]


53. Enrico Bozzo and Massimo Franceschet. Resistance distance, closeness, and betweenness. Social Networks, 35 (3), 460-469, 2013 [DOI]


52. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, and Carla Piazza. A graph-theoretic approach to map conceptual designs to XML schemas. ACM Transactions on Database Systems, 38 (1), 2013 [DOI]


51. Enrico Bozzo and Massimo Franceschet. Approximations of the generalized inverse of the graph Laplacian matrix. Internet Mathematics, 8 (4), 1-26, 2012 [PDF, DOI]


50. Massimo Franceschet. The large-scale structure of journal citation networks. Journal of the American Society for Information Science and Technology, 63 (4), 837-842, 2012 [PDF, DOI]


49. Massimo Franceschet. Collaboration in computer science: a network science approach. Journal of the American Society for Information Science and Technology, 62 (10), 1992-2012, 2011 [PDF I, PDF II, DOI]


48. Massimo Franceschet. PageRank: standing on the shoulders of giants. Communications of the ACM, 54(6), 92-101, 2011. [PDF, DOI]


47. Massimo Franceschet and Antonio Costantini. The first Italian research assessment exercise: a bibliometric perspective. Journal of Informetrics, 5(2), 275-291, 2011. [PDF, DOI]


46. Massimo Franceschet. The skewness of computer science. Information Processing & Management, 47(1), 117-124, 2011. [PDF; DOI]


45. Massimo Franceschet. The role of conference publications in computer science: a bibliometric view. Communications of the ACM, 53(2), 129-132, 2010. [PDF; DOI]


44. Massimo Franceschet and Antonio Costantini. The effect of scholar collaboration on impact and quality of academic papers. Journal of Informetrics, 4(4), 540-553, 2010. [PDF; DOI]


43. Massimo Franceschet. Ten good reasons to use the Eigenfactor metrics. Information Processing & Management, 46(5), 555-558, 2010. [PDF; DOI]


42. Massimo Franceschet e Guido Abbattista. Bibliometria vs. peer review? Dialogo tra un informatico e uno storico sulla valutazione della ricerca (in Italian). A cura di Andrea Zannini. Cyber Review of Modern Historiography, 15, 1-6, 2010. [DOI]


41. Massimo Franceschet. Journal influence factors. Journal of Informetrics, 4(3), 239-248, 2010. [PDF; DOI]


40. Massimo Franceschet. The difference between popularity and prestige in the sciences and in the social sciences: a bibliometric analysis. Journal of Informetrics 4(1), 55-63, 2010. [PDF; DOI]


39. 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. [PDF; DOI]


38. Massimo Franceschet. A cluster analysis of scholar and journal bibliometric indicators. Journal of the American Society for Information Science and Technology 60(10), 1950-1964, 2009. [PDF; DOI]


37. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, and Carla Piazza. From Entity Relationship to XML Schema: a graph-theoretic approach. International XML Database Symposium (XSYM), LNCS 5679, pages 145-159, 2009. [PDF; DOI]


36. D. Gubiani, M. Franceschet, A. Montanari. Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. Workshop on XML Data Management Tools & Techniques, pages 25-29, 2007. [PDF, DOI]


35. M. Franceschet. XPathMark: Functional and Performance Tests for XPath. Dagstuhl Seminar Proceedings on XQuery Implementation Paradigms, 2007. [PDF, benchmark]


34. L. Afanasiev, M. Franceschet, M. Marx and E. Zimuel. XCheck: a platform for benchmarking XQuery engines (demonstration). International Conference on Very Large Databases (VLDB), pages 1247-1250, 2006. [PDF, DOI]


33. M. Franceschet and E. Zimuel. A logic-based approach to cache answerability for XPath queries. International XML Database Symposium (XSYM), pages 46-60, 2006. [PDF, DOI]


32. M. Franceschet and M. de Rijke. Model checking for hybrid logics (with an application to semistructured data). Journal of Applied Logic, 4(3), pages 279-304, 2006. [PDF, DOI]


31. M. Franceschet, A. Montanari, A. Peron and G. Sciavicco. Definability and decidability of binary predicates for time granularity. Journal of Applied Logic, 4(2), pages 168-191, 2006. [PDF, DOI]


30. M. Franceschet and E. Zimuel. Modal logic and navigational XPath: an experimental comparison. In proceedings of the Workshop Methods for Modalities (M4M), pages 156-172, 2005. [PDF]


29. M. Franceschet and B. ten Cate. Guarded fragments with constants. Journal of Logic, Language and Information, 14(3), pages 281-288, 2005. [PDF, DOI]


28. M. Franceschet and B. ten Cate. On the complexity of hybrid logics with binders. In proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL), pages 339-354, 2005. [PDF, DOI]


27. M. Franceschet. XPathMark. An XPath benchmark for XMark generated data. In proceedings of the International XML Database Symposium (XSYM), pages 129-143, 2005. [PDF, DOI, benchmark]


26. C. Combi, M. Franceschet, and A. Peron. Representing and reasoning about temporal granularities. Journal of Logic and Computation, 4(1), pages 51-77, 2004. [PDF, DOI]


25. M. Franceschet and A. Montanari. Temporalized logics and automata for time granularity. Theory and Practice of Logic Programming, special issue on Verification and Computational Logic, 4(5-6), pages 621-658, 2004. [PDF, DOI]


24. M. Franceschet, A. Montanari and M. de Rijke. Model checking for combined logics with an application to mobile systems. Automated Software Engineering, special issue on Distributed and Mobile Software Engineering, 11(3), pages 287-319, 2004. [PDF, DOI]


23. L. Afanasiev, M. Franceschet, M. Marx and M. de Rijke, CTL Model Checking for Processing Simple XPath Queries, Proceedings of the International Symposium on temporal representation and reasoning (TIME), pages 117-124, 2004. [PDF, DOI]


22. M. Franceschet and A. Montanari. Branching within time: an expressively complete and elementarily decidable temporal logic for time granularity. Research on Language and Computation, 1(3-4), pages 229-263, 2003. [PDF, DOI]


21. M. Franceschet and M. de Rijke. Model Checking for Hybrid Logics. In proceedings of the Workshop Methods for Modalities (M4M), pages 109-124, 2003. [PDF]


20. M. Franceschet, A. Montanari, A. Peron and G. Sciavicco. Definability and decidability of binary predicates for time granularity. In proceedings of the International Symposium on temporal representation and reasoning - International Conference on Temporal Logic (TIME-ICTL), pages 192-202, 2003. [PDF, DOI]


19. M. Franceschet, M. de Rijke, and Holger Schlingloff. Hybrid Logics on Linear Structures: Expressivity and Complexity. In proceedings of the International Symposium on temporal representation and reasoning - International Conference on Temporal Logic (TIME-ICTL), pages 166-173, 2003. [PDF, DOI]


18. C. Combi, M. Franceschet, and A. Peron. A logical approach to represent and reason about calendars. In proceedings of the International Symposium on temporal representation and reasoning (TIME), pages 134-140, 2002. [PDF, DOI]


17. M. Franceschet and A. Montanari. Time Granularities in Databases, Data Mining, and Temporal Reasoning. By Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review). The Computer Journal, 45(6), pages 683-685, 2002. [PDF, DOI]


16. M. Franceschet. Dividing and Conquering the Layered Land. PhD Thesis. Department of Mathematics and Computer Science, University of Udine - Italy. March 2002. [PDF]


15. M. Franceschet and A. Montanari. A combined approach to temporal logics for time granularity. In proceedings of the Workshop Methods for Modalities (M4M), 2001. [PDF]


14. M. Franceschet and A. Montanari. Towards an automata-theoretic counterpart of combined temporal logics. In proceeding of the International Workshop on Verification and Computational Logic (VCL), pages 55-74, 2001. [PDF]


13. I. Cervesato, M. Franceschet and A. Montanari. A Guided Tour through some Extensions of the Event Calculus. Computational Intelligence, 16(2), pages 307-347, 2000. [PDF, DOI]


12. M. Franceschet and A. Montanari. A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus. Annals of Mathematics and Artificial Intelligence, 20(1-4), pages 93-118, 2000. [PDF, DOI]


11. M. Franceschet, A. Montanari and M. de Rijke. Model Checking for Combined Logics. In proceedings of the International Conference on Temporal Logic (ICTL), pages 65-73, 2000. [PDF]


10. I. Cervesato, M. Franceschet and A. Montanari. A Hierarchy of Modal Event Calculi: Expressiveness and Complexity. Advances in Temporal Logic, pages 1-20, 2000. [PDF, DOI]


9. M. Franceschet and A. Montanari. A graph-theoretic approach to efficiently reason about partially ordered events in the Event Calculus. In proceedings of the International Workshop on Temporal Representation and Reasoning (TIME), pages 55-66, 1999. [PDF, DOI]


8. C. Combi, G. L. Foresti, M. Franceschet, A. Montanari. Indexing by Shape of Image Databases Based on Extended Grid Files. In proceedings of the IEEE International Conference on Multimedia Computing and Systems (ICMCS), pages 230-234, 1999. [PDF, DOI]


7. M. Franceschet and A. Montanari. Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. In proceedings of the Congress of the Italian Association for Artificial Intelligence (AI*IA), pages 208-217, 1999. Lecture Notes on Artificial Intelligence 1792, pages 131-142, 2000. [PDF, DOI]


6. I. Cervesato, M. Franceschet and A. Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Electronic Transactions on Artificial Intelligence, 2, pages 1-23, 1998. [PDF, DOI]


5. I. Cervesato, M. Franceschet and A. Montanari. Event Calculus with Explicit Quantifiers. In proceedings of the International Workshop on Temporal Representation and Reasoning (TIME), pages 81-88, 1998. [PDF, DOI]


4. I. Cervesato, M. Franceschet and A. Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers. In proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 368-379, 1998. [PDF, DOI]


3. I. Cervesato, M. Franceschet and A. Montanari. Modal Event Calculi with Preconditions. In proceedings of the International Workshop on Temporal Representation and Reasoning (TIME), pages 38-45, 1997. [PDF, DOI]


2. I. Cervesato, M. Franceschet and A. Montanari. The Complexity of Model Checking in Modal Event Calculi (poster). In proceedings of the International Conference on Logic Programming (ICLP), page 419, 1997. [PDF, DOI]


1. M. Franceschet. Una Gerarchia di Calcoli Modali degli Eventi: Espressivita' e Complessita' (in Italian). Master Thesis. Department of Mathematics and Computer Science, University of Udine, Italy, December 1996. [DOC]