Marco Maggesi

11
Documents

Publications

Publications

Image document

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-04620418 v2
Image document

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-04665635 v1
Image document

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-03547002 v1
Image document

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-03117762 v1

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-02307998 v1

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-01930058 v1