MAGGESI, MARCO
MAGGESI, MARCO
Matematica e Informatica 'Ulisse Dini'
Analysing Collective Adaptive Systems by Proving Theorems
2025 Perini Brogi, Cosimo; Maggesi, Marco
Growing HOLMS, a HOL Light Library for Modal Systems
2024 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024 marco maggesi; cosimo perini brogi
Universal Algebra in UniMath
2024 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Variable binding and substitution for (nameless) dummies
2024 Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M.
Blockchain, criptovalute e contratti intelligenti
2023 Marco Maggesi; Gianni Ciolli
Mechanising Godel-Lob Provability Logic in HOL Light
2023 Maggesi, M; Perini Brogi, Cosimo
Bicategories in univalent foundations
2022 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
Variable binding and substitution for (nameless) dummies
2022 Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M.
A formal proof of modal completeness for provability logic
2021 Marco Maggesi; Cosimo Perini Brogi
Presentable signatures and initial semantics
2021 Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi
Extension and tangential CRF conditions in quaternionic analysis
2020 Marco Maggesi, Donato Pertici, Giuseppe Tomassini
Reduction Monads and Their Signatures
2020 Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi
Bicategories in Univalent Foundations
2019 Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide
Modular Specification of Monads Through Higher-Order Presentations
2019 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco maggesi
Some elementary remarks on lci algebraic cycles
2018 Gabriele Vezzosi; Marco Maggesi
A Formalization of Metric Spaces in HOL Light
2018 Marco Maggesi
High-level signatures and initial semantics
2018 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Formalizing basic quaternionic analysis
2017 Andrea Gabrielli; Marco Maggesi
Nested Abstract Syntax in Coq
2012 Maggesi, Marco; Hirschowitz, André
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Analysing Collective Adaptive Systems by Proving Theorems | 2025 | Perini Brogi, Cosimo; Maggesi, Marco | |
| Growing HOLMS, a HOL Light Library for Modal Systems | 2024 | Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini | |
| Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic | 2024 | marco maggesi; cosimo perini brogi | |
| Universal Algebra in UniMath | 2024 | Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi | |
| Variable binding and substitution for (nameless) dummies | 2024 | Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M. | |
| Blockchain, criptovalute e contratti intelligenti | 2023 | Marco Maggesi; Gianni Ciolli | |
| Mechanising Godel-Lob Provability Logic in HOL Light | 2023 | Maggesi, M; Perini Brogi, Cosimo | |
| Bicategories in univalent foundations | 2022 | Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels | |
| Variable binding and substitution for (nameless) dummies | 2022 | Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M. | |
| A formal proof of modal completeness for provability logic | 2021 | Marco Maggesi; Cosimo Perini Brogi | |
| Presentable signatures and initial semantics | 2021 | Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi | |
| Extension and tangential CRF conditions in quaternionic analysis | 2020 | Marco Maggesi, Donato Pertici, Giuseppe Tomassini | |
| Reduction Monads and Their Signatures | 2020 | Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi | |
| Bicategories in Univalent Foundations | 2019 | Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide | |
| Modular Specification of Monads Through Higher-Order Presentations | 2019 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco maggesi | |
| Some elementary remarks on lci algebraic cycles | 2018 | Gabriele Vezzosi; Marco Maggesi | |
| A Formalization of Metric Spaces in HOL Light | 2018 | Marco Maggesi | |
| High-level signatures and initial semantics | 2018 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi | |
| Formalizing basic quaternionic analysis | 2017 | Andrea Gabrielli; Marco Maggesi | |
| Nested Abstract Syntax in Coq | 2012 | Maggesi, Marco; Hirschowitz, André |