Publications

Repositories

• FloRe Database
  The complete list of my publications and other works on the FloRe archive of the University of Florence.
  Green Open Access to Publications is offered there after the embargo period.

• My ORCID ID : https://orcid.org/0000-0003-4380-7691

• My articles hosted on the arXiv open-access archive.

• Find my articles on the DBLP bibliography archive.

List of my publications and other works with links to the Green or Gold Open Access Versions

1. Gianluca Amato, Nicola Balestra, Marco Maggesi and Maurizio Parton (2025)
   Recurrent neural networks for guiding proof search in propositional logic,
   In 26th Italian Conference on Theoretical Computer Science (ICTCS 2025)
   September 10-12, 2025, Pescara (Italy).
   CEUR Workshop Proceedings, Volume 4039, pp. 113--126, CEUR-WS.org (2025)
   DBLP: dblp.org/rec/conf/ictcs/AmatoBMP25.html
   Download: ceur-ws.org/Vol-4039/paper18.pdf (Open access)

2. Gianluca Amato, Matteo Calosci, Marco Maggesi and Cosimo Perini Brogi  (2025)
   Displayed Universal Algebra in UniMath: Basic Definitions and Results,
   In 26th Italian Conference on Theoretical Computer Science (ICTCS 2025)
   September 10-12, 2025, Pescara (Italy).
   CEUR Workshop Proceedings, Volume 4039, pp. 127-133, CEUR-WS.org (2025)
   DBLP: dblp.org/rec/conf/ictcs/AmatoCMB25
   Download ceur-ws.org/Vol-4039/paper04.pdf (Open Access)

3. Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi (2025)
   A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
   In 26th Italian Conference on Theoretical Computer Science (ICTCS 2025)
   September 10-12, 2025, Pescara (Italy).
   CEUR Workshop Proceedings, Volume 4039, pp. 154-162, CEUR-WS.org (2025)
   DBLP: dblp.org/rec/conf/ictcs/BilottaMB25
   Download: ceur-ws.org/Vol-4039/paper10.pdf (Open access)

4. Cosimo Perini Brogi, Marco Maggesi (2025)
   Analysing Collective Adaptive Systems by Proving Theorems
   In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola. ISoLA 2024. 27–31 October 2024, Crete, Greece.
   Lecture Notes in Computer Science, vol 15219. Springer, Cham.
   DBLP:  dblp.org/rec/conf/isola/BrogiM24
   DOI: 10.1007/978-3-031-73709-1_14
   Conference site: https://2024-isola.isola-conference.org/
   Author Accepted Manuscript: https://hal.science/hal-04665635

5. Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi (2025)
   Growing a Modular Framework for Modal Systems: HOLMS
   In 9th Women in Logic Workshop (WiL 2025)
   14 July, Birmingham (United Kingdom).
   Book of Abstract of Women in Logic 2025, pp. 7-11.
   Download (Open access)

6. Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini (2024)
   Growing HOLMS, a HOL Light Library for Modal Systems
   In 6th International Workshop on Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2024)
   28 and 29 November, Bolzano (Italy).
   CEUR Workshop Proceedings, Volume 3904, pp. 41-48, CEUR-WS.org (2024)
   DPLP:  dblp.org/rec/conf/overlay/BilottaMBQ24
   Download: ceur-ws.org/Vol-3904/paper5.pdf (Open access)

7. Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi (2024)
   Universal Algebra in UniMath
   Math. Struct. Comput. Sci. 34(8): 869-891
   DBLP: dblp.org/rec/journals/mscs/AmatoCMB24
   Open access:  Get the paper

8. Marco Maggesi, Cosimo Perini Brogi (2024)
   Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
   ISOLA 2024 - International Symposium on Leveraging Applications of Formal Methods
   Track ReoCAS - Rigorous Engineering of Collective Adaptive Systems
   27–31 October 2024, Crete, Greece
   DBLP: dblp.org/rec/conf/isola/MaggesiB24
   Download: doi.org/10.1007/978-3-031-75107-3_18 (Open Access)

9. Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M. (2024)
   Variable binding and substitution for (nameless) dummies
   Logical Methods in Computer Science, March 1, 2024, Volume 20, Issue 1
   DBLP: dblp.org/rec/journals/lmcs/HirschowitzHLM24
   Download: https://doi.org/10.46298/lmcs-20(1:18)2024 (Open Access)

10. P. Branchini, M. Maggesi, L. Tortora, V. Vespri and F. Zatti (2023)
    The New IoT Driven World: Overview and Perspectives
    Asia Meeting on Environment and Electrical Engineering (EEE-AM), Hanoi, Vietnam, 2023, pp. 1-7
    DOI: 10.1109/EEE-AM58328.2023.10395823.

11. Marco Maggesi, Cosimo P. Brogi (2023)
    Mechanising Gödel–Löb Provability Logic in HOL Light
    Journal of Autom Reasoning 67, 29 (2023)
    DBLP: dblp.org/rec/journals/jar/MaggesiB23
    Open Access, DOI: 10.1007/s10817-023-09677-z

12. Marco Maggesi; Gianni Ciolli (2023)
    Blockchain, criptovalute e contratti intelligenti
    In Vincenzo Ancona (2023) “La Forza Nascosta della Matematica”.
    Quaderni della Colombaria, 12, pp. 107-117, Edizioni Polistampa.

13. André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, and Marco Maggesi  (2022)
    Variable binding and substitution for (nameless) dummies
    FoSSaCS 2022 – 25th International Conference on Foundations of Software Science and Computation Structures
    LNCS 13242, pp. 389–408,
    DBLP: dblp.org/rec/conf/fossacs/HirschowitzHLM22
    Open Access, DOI: 10.1007/978-3-030-99253-8_20, HAL Id: hal-03547002

14. Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., & Van der Weide, N. (2022).
    Bicategories in univalent foundations.
    Mathematical Structures in Computer Science, 1-38.
    DBLP: dblp.org/rec/journals/mscs/AhrensFMVW21
    DOI: 10.1017/S0960129522000032
    Open access: Web page 

15. Marco Maggesi (2022)
    Una introduzione visiva al Machine Learning e al Deep Learning.
    Laboratorio dell’ISPF. 2022, vol. XIX [3]. DOI: 10.12862/Lab22MGM.
    Public access: Web page

16. Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2021)
    Presentable signatures and initial semantics
    Logical Methods in Computer Science
    DBLP: dblp.org/rec/journals/lmcs/AhrensHLM21
    Get it: Paper, arXiv preprint

17. Marco Maggesi, Cosimo Perini Brogi (2021)
    A formal proof of modal completeness for provability logic
    ITP 2021 –1 2th International Conference on Interactive Theorem Proving,
    Editors: Liron Cohen and Cezary Kaliszyk; Article No. 26; pp. 26:1–26:18
    DBLP: dblp.org/rec/conf/itp/MaggesiB21
    Get it: Paper, arXiv preprint

18. Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi (2021)
    Universal Algebra in UniMath
    arXiv:2102.05952
    Get it: Paper

19. Marco Maggesi, Massimo Nocentini (2020)
    Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
    The miniKanren and Relational Programming Workshop
    Get it: Paper

20. Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi (2020)
    Universal Algebra in UniMath
    Workshop on Homotopy Type Theory/Univalent Foundations
    The Internet, July 5-7, 2020
    Co-located with FSCD 2020
    Get it: Paper, Video

21. Marco Maggesi, Enrico Tassi (2020)
    Private types in Higher Order Logic Programming
    TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
    28 and 29 May 2020, Colocated with ETAPS
    Get it: Full abstract, Video

22. Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2019)
    Reduction Monads and Their Signatures
    Proceedings of ACM on Programming Languages, vol. 4, pp. 1-29, ISSN:2475-1421
    DOI: http://dx.doi.org/10.1145/3371099
    DBLP: dblp.org/rec/journals/pacmpl/AhrensHLM20
    Get it: Paper (Open access)

23. Marco Maggesi, Donato Pertici, Giuseppe Tomassini (2020)
    Extension and tangential CRF conditions in quaternionic analysis.
    Annali di Matematica (2020). DOI: https://doi.org/10.1007/s10231-020-00968-5
    Get it: arXiv, Author Accepted Manuscript, SharedIt

24. Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide (2019)
    Bicategories in Univalent Foundations
    In: FSCD 2019 International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 24-30,2019, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol. 5, pp. 1-17, ISBN:978-3-95977-107-8 DOI: https://doi.org/10.4230/LIPIcs.FSCD.2019.5
    Get it:  Paper (Open access)

25. Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2019)
    Modular Specification of Monads Through Higher-Order Presentations
    In: FSCD 2019 International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 24-30,2019, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol. 131, pp. 1-19, ISBN:978-3-95977-107-8 DOI: http://dx.doi.org/10.4230/LIPICS.FSCD.2019.6
    Get it: Paper (Open access)

26. Marco Maggesi (2018)
    A Formalization of Metric Spaces in HOL Light
    Journal of Automated Reasoning, pp. 1-18, ISSN:0168-7433
    Get it: DOI, Accesso ONLINE all'editore, Author Accepted Manuscript

27. Marco Maggesi, Gabriele Vezzosi (2018)
    Some elementary remarks on lci algebraic cycles
    Rivista di Matematica della Università di Parma, vol. 9, pp. 365-372, ISSN:0035-6298
    Get it: Author Accepted Manuscript, arXiv

28. Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2018)
    High-level signatures and initial semantics
    In: 27th Annual EACSL Conference Computer Science Logic, CSL 2018, gbr, 2018, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, vol. 119, pp. 1-22, ISBN:9783959770880 DOI: http://dx.doi.org/10.4230/LIPICS.CSL.2018.4
    Get it: Paper (Open access)

29. Andrea Gabrielli, Marco Maggesi (2017)
    Formalizing basic quaternionic analysis
    In: ITP 2017 - Interactive Theorem Proving 2017, Brasilia (Brasile), 26 - 29 settembre 2017, Springer, vol. 10499, pp. 225-240, ISBN:978-3-319-66107-0
    Get it: DOI, Accesso ONLINE all'editore, Author Accepted Manuscript

30. Marco Maggesi (2015)
    A symbolic approach to abstract algebra in HOL Light
    FMM 2015 - Formal Mathematics for Mathematicians
    Colocated with CICM 2015 - Conference on Intelligent Computer Mathematics
    Get it: Paper

31. Marco Maggesi (2015)
    A formalisation of metric spaces in HOL Light
    FMM 2015 - Formal Mathematics for Mathematicians
    Colocated with CICM 2015 - Conference on Intelligent Computer Mathematics
    Get it: Paper

32. Marco Maggesi (2015)
    Matematica, l'esplosione continua
    (Translation from Mathématiques l'explosion continue)
    Unione Matematica Italiana, ISBN:9788896336199
    Get it: Pdf of the book

33. André Hirschowitz, Marco Maggesi (2012)
    Initial Semantics for Strengthened Signatures
    In: Fixed Points in Computer Science, Tallinn, Estonia, 24 marzo 2012, Open Publishing Association, vol. 77, pp. 31-38.
    Get it: DOI, Paper (Open access)

34. André Hirschowitz, Marco Maggesi (2012)
    Nested Abstract Syntax in Coq
    Journal of Automated Reasoning, vol. 49, pp. 1-18, ISSN:0168-7433
    Get it: DOI, Paper (Open access)

35. Gianni Ciolli, Graziano Gentili, Marco Maggesi (2011)
    A certified proof of the Cartan Fixed Point Theorems
    Journal of Automated Reasoning, vol. 47(3), pp. 319-336, ISSN:0168-7433
    Get it: DOI, Paper

36. André Hirschowitz, Marco Maggesi (2010)
    Modules over Monads and Initial Semantics
    Information and Computation, vol. 208, pp. 545-564, ISSN:0890-5401
    Get it: DOI, Paper (Open access)

37. Maggesi, Marco (2007)
    Favorire la diffusione di WIMS in Italia
    In: Didamatica 2007 - AICA, Associazione Italiana per l’Informatica ed il Calcolo Automatico
    Cesena, 10-12 maggio, Società editrice Asterisco, pp. 963-970.
    Get it: Author Accepted Manuscript

38. André Hirschowitz, Marco Maggesi (2007)
    Higher-order theories
    arXiv

39. André Hirschowitz, Marco Maggesi (2007)
    Modules over Monads and Linearity
    In: Daniel Leivant; Ruy de Queiroz. Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings, pp. 218-237 Springer Berlin Heidelberg, ISBN:978-3-540-73443-7.
    Get it: DOI, Paper, AAM on arXiv

40. Marco Maggesi, Carlos Simpson (2006)
    Verifica automatica del ragionamento matematico
    Bollettino dell'Unione Matematica Italiana. A, vol. 9, pp. 361-389, ISSN:0392-4033
    Get it: Paper (Open access)

41. Vincenzo Ancona, Marco Maggesi (2005)
    On the Quantum Cohomology of Some Fano Threefolds
    Advances in Geometry, vol. 5, pp. 49-70, ISSN:1615-715X
    Get it: DOI , Paper

42. André Hirschowitz, Marco Maggesi (2004)
    Modules over monads and typoids
    Prepublication n.698, May 2004, Laboratoire J. A. Dieudonné, Université de Nice-Sophia Antipolis, Nice, France. May 2004.

43. Vincenzo Ancona, Marco Maggesi (2004)
    On the quantum cohomology of Fano bundles over projective spaces
    In: The Fano Conference, Torino, 29 settembre - 5 ottobre, Dipartimento di Matematica dell'Università di Torino, pp. 49-70, ISBN:88-900876-1-7
    Get it: Author Accepted Manuscript

44. Marco Maggesi, Carlos Simpson (2004)
    Information technology implications for mathematics: a view from the French riviera
    pp. 1-38 Paper (Free download, Unpublished)

45. Carla Dionisi, Marco Maggesi (2003)
    Minimal resolution of general stable rank-2 vector bundles on P^2
    Bollettino dell'Unione Matematica Italiana. B, vol. 6, pp. 151-160, ISSN:0392-4041
    Get it: Paper (Open access)

46. Marco Maggesi (1996)
    M_{P^3}(0,2d^2) is singular
    Forum Mathematicum, vol. 8, pp. 397-400, ISSN:0933-7741, Walter de Gruyter and Company:Genthinerstrasse 13, D 10785 Berlin Germany:011 49 30 260050
    Get it: DOI, Paper