| Modules over monads and initial semantics A Hirschowitz, M Maggesi Information and Computation 208 (5), 545-564, 2010 | 45 | 2010 |
| Modules over monads and linearity A Hirschowitz, M Maggesi Logic, Language, Information and Computation: 14th International Workshop …, 2007 | 44 | 2007 |
| Bicategories in univalent foundations B Ahrens, D Frumin, M Maggesi, N Veltri, N Van Der Weide Mathematical Structures in Computer Science 31 (10), 1232-1269, 2021 | 30 | 2021 |
| Nested abstract syntax in Coq A Hirschowitz, M Maggesi Journal of Automated Reasoning 49, 409-426, 2012 | 19 | 2012 |
| A formalization of metric spaces in HOL Light M Maggesi Journal of Automated Reasoning 60 (2), 237-254, 2018 | 18 | 2018 |
| Modular specification of monads through higher-order presentations B Ahrens, A Hirschowitz, A Lafont, M Maggesi arXiv preprint arXiv:1903.00922, 2019 | 14 | 2019 |
| High-level signatures and initial semantics B Ahrens, A Hirschowitz, A Lafont, M Maggesi LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 119, 1-22, 2018 | 12 | 2018 |
| Minimal resolution of general stable vector bundles on P2 C Dionisi, M Maggesi arXiv preprint math/0002169, 2003 | 11 | 2003 |
| On the quantum cohomology of Fano bundles over projective spaces V Ancona, M Maggesi arXiv preprint math/0012046, 2000 | 11 | 2000 |
| Initial semantics for strengthened signatures A Hirschowitz, M Maggesi arXiv preprint arXiv:1202.3499, 2012 | 10 | 2012 |
| Reduction monads and their signatures B Ahrens, A Hirschowitz, A Lafont, M Maggesi Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 7 | 2019 |
| Variable binding and substitution for (nameless) dummies A Hirschowitz, T Hirschowitz, A Lafont, M Maggesi International Conference on Foundations of Software Science and Computation …, 2022 | 6 | 2022 |
| The algebraicity of the lambda-calculus A Hirschowitz, M Maggesi arXiv preprint math/0607427, 2007 | 6 | 2007 |
| Universal algebra in unimath G Amato, M Maggesi, CP Brogi arXiv preprint arXiv:2102.05952, 2021 | 5 | 2021 |
| is singular M Maggesi Walter de Gruyter, Berlin/New York 8 (Jahresband), 397-400, 1996 | 5 | 1996 |
| A formal proof of modal completeness for provability logic M Maggesi, CP Brogi arXiv preprint arXiv:2102.05945, 2021 | 4 | 2021 |
| Formalizing basic quaternionic analysis A Gabrielli, M Maggesi Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 4 | 2017 |
| Higher-order theories A Hirschowitz, M Maggesi arXiv preprint arXiv:0704.2900, 2007 | 4 | 2007 |
| Some results on holomorphic vector bundles over projective spaces M Maggesi Tesi di Dottorato, Università di Firenze, 1999 | 4 | 1999 |
| On the quantum cohomology of some Fano threefolds V Ancona, M Maggesi Walter de Gruyter 5 (1), 49-70, 2005 | 3 | 2005 |
