
Marco Maggesi
11
Documents
Publications
Publications
|
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order LogicLeveraging 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
|
|
Analysing collective adaptive systems by proving theoremsLeveraging 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
|
|
Variable binding and substitution for (nameless) dummiesLogical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:18)2024⟩
Article dans une revue
hal-04487704
v1
|
|
Presentable signatures and initial semanticsLogical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(2:17)2021⟩
Article dans une revue
hal-03638308
v1
|
|
Reduction Monads and Their SignaturesProceedings of the ACM on Programming Languages, 2020, pp.1-29. ⟨10.1145/3371099⟩
Article dans une revue
hal-02380682
v1
|
|
Nested Abstract Syntax in CoqJournal of Automated Reasoning, 2012, 49 (3), pp.409-429. ⟨10.1007/s10817-010-9207-9⟩
Article dans une revue
hal-01294214
v1
|
|
Variable binding and substitution for (nameless) dummies25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), Apr 2022, Munich, Germany
Communication dans un congrès
hal-03547002
v1
|
|
Private types in Higher Order Logic ProgrammingTEASE-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 presentationsFSCD 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 semantics27th 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
|
|
Initial Semantics for Strengthened Signatures2012
Pré-publication, Document de travail
hal-00762649
v1
|
Chargement...
Chargement...