Marco Maggesi

Publications

Proceedings/Recueil des communications (2)

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic Marco Maggesi,Cosimo Perini Brogi Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 15220, Springer Nature Switzerland, pp.297-315, 2025, Lecture Notes in Computer Science, 978-3-031-75106-6. ⟨10.1007/978-3-031-75107-3_18⟩ Proceedings/Recueil des communications hal-04620418v2
Analysing collective adaptive systems by proving theorems Cosimo Perini Brogi,Marco Maggesi Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 15219, Springer Nature Switzerland, pp.223-237, 2025, Lecture Notes in Computer Science, 978-3-031-73708-4. ⟨10.1007/978-3-031-73709-1_14⟩ Proceedings/Recueil des communications hal-04665635v1

Article dans une revue (4)

Variable binding and substitution for (nameless) dummies André Hirschowitz,Tom Hirschowitz,Ambroise Lafont,Marco Maggesi Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:18)2024⟩ Article dans une revue hal-04487704v1
Presentable signatures and initial semantics Benedikt Ahrens,André Hirschowitz,Ambroise Lafont,Marco Maggesi Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(2:17)2021⟩ Article dans une revue hal-03638308v1
Reduction Monads and Their Signatures Benedikt Ahrens,André Hirschowitz,Ambroise Lafont,Marco Maggesi Proceedings of the ACM on Programming Languages, 2020, pp.1-29. ⟨10.1145/3371099⟩ Article dans une revue hal-02380682v1
Nested Abstract Syntax in Coq André Hirschowitz,Marco Maggesi Journal of Automated Reasoning, 2012, 49 (3), pp.409-429. ⟨10.1007/s10817-010-9207-9⟩ Article dans une revue hal-01294214v1

Communication dans un congrès (4)

Variable binding and substitution for (nameless) dummies André Hirschowitz,Tom Hirschowitz,Ambroise Lafont,Marco Maggesi 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), Apr 2022, Munich, Germany Communication dans un congrès hal-03547002v1
Private types in Higher Order Logic Programming Marco Maggesi,Enrico Tassi TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Virtual Event, France Communication dans un congrès hal-03117762v1
Modular specification of monads through higher-order presentations Benedikt Ahrens,André Hirschowitz,Ambroise Lafont,Marco Maggesi FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩ Communication dans un congrès hal-02307998v1
High-level signatures and initial semantics Benedikt Ahrens,André Hirschowitz,Ambroise Lafont,Marco Maggesi 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩ Communication dans un congrès hal-01930058v1

Pré-publication, Document de travail (1)

Initial Semantics for Strengthened Signatures André Hirschowitz,Marco Maggesi 2012 Pré-publication, Document de travail hal-00762649v1