Publications

Repositories

• 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.
  Author Accepted Manuscripts (AAM) are available below.

• My ORCID ID.

• 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; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi (2024)
   Universal Algebra in UniMath
   http://arxiv.org/abs/2102.05952v2

2. Marco Maggesi, Cosimo Perini Brogi (2024)
   Rigorous Modeling of an Idealized Foraging Ant System in Higher-Order Logic
   Accepted at ISOLA 2024 - International Symposium on Leveraging Applications of Formal Methods.
   Track ReoCAS - Rigorous Engineering of Collective Adaptive Systems
   27–31 october 2024, Crete, Greece, Preprint: https://hal.science/hal-04620418v1

3. 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
   https://doi.org/10.46298/lmcs-20(1:18)2024  (Open access)

4. 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.

5. Marco Maggesi, Cosimo P. Brogi (2023)
   Mechanising Gödel–Löb Provability Logic in HOL Light
   Journal of Autom Reasoning 67, 29 (2023). DOI: 10.1007/s10817-023-09677-z

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

7. André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, and Marco Maggesi  (2022)
   Variable binding and substitution for (nameless) dummies
   LNCS 13242, pp. 389–408, DOI: 10.1007/978-3-030-99253-8_20, HAL Id: hal-03547002

8. Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., & Van der Weide, N. (2022).
   Bicategories in univalent foundations.
   Mathematical Structures in Computer Science, 1-38. doi:10.1017/S0960129522000032
   Get it: Paper

9. Marco Maggesi (2022)
   Una introduzione visiva al Machine Learning e al Deep Learning.
   Laboratorio dell’ISPF. 2022, vol. XIX [3]. DOI: 10.12862/Lab22MGM. Get It: Paper

10. Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2021)
    Presentable signatures and initial semantics
    Logical Methods in Computer Science
    Get it: Paper, arXiv preprint

11. Marco Maggesi, Cosimo Perini Brogi (2021)
    A formal proof of modal completeness for provability logic
    12th International Conference on Interactive Theorem Proving (ITP 2021).
    Editors: Liron Cohen and Cezary Kaliszyk; Article No. 26; pp. 26:1–26:18
    Get it: Paper, arXiv preprint

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

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

14. 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

15. 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

16. 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
    Get it: Paper (Open access)

17. 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

18. 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)

19. 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)

20. 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

21. 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

22. 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)

23. 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

24. 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

25. 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

26. 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

27. 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)

28. 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)

29. 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

30. 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)

31. 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

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

33. 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

34. 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)

35. 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

36. 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.

37. 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

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

39. 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)

40. 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