Proving the Correctness of Disk Paxos. - Mauro Jaskelioff; Stephan Merz (Arch. Formal Proofs, 2005)

Monatron: An Extensible Monad Transformer Library. - Mauro Jaskelioff (IFL, 2008)

Modularity and Implementation of Mathematical Operational Semantics. - Mauro Jaskelioff; Neil Ghani; Graham Hutton (MSFP@ICALP, 2008)

Modular Monad Transformers. - Mauro Jaskelioff (ESOP, 2009)

Lifting of operations in modular monadic semantics. - Mauro Jaskelioff (2009)

Factorising folds for faster functions. - Graham Hutton; Mauro Jaskelioff; Andy Gill (J. Funct. Program., 2010)

Monad transformers as monoid transformers. - Mauro Jaskelioff; Eugenio Moggi (Theor. Comput. Sci., 2010)

Secure Multi-execution in Haskell. - Mauro Jaskelioff; Alejandro Russo (Ershov Memorial Conference, 2011)

Applicative Shortcut Fusion. - Germán Andrés Delbianco; Mauro Jaskelioff; Alberto Pardo (Trends in Functional Programming, 2011)

Lower Bounds for Scalars in a Typed Algebraic λ-calculus - Pablo Buiras; Alejandro Díaz-Caro; Mauro Jaskelioff (LSFA, 2011)

An Investigation of the Laws of Traversals - Mauro Jaskelioff; Ondrej Rypacek (MSFP, 2012)

Precise Enforcement of Confidentiality for Reactive Systems. - Dante Zanarini; Mauro Jaskelioff; Alejandro Russo (CSF, 2013)

The Under-Performing Unfold: A new approach to optimising corecursive programs. - Jennifer Hackett; Graham Hutton; Mauro Jaskelioff (IFL, 2013)

Monitoring Reactive Systems with Dynamic Channels. - Dante Zanarini; Mauro Jaskelioff (PLAS@ECOOP, 2014)

Functional pearl: a smart view on datatypes. - Mauro Jaskelioff; Exequiel Rivas (ICFP, 2015)

From monoids to near-semirings: the essence of MonadPlus and alternative. - Exequiel Rivas; Mauro Jaskelioff; Tom Schrijvers (PPDP, 2015)

A representation theorem for second-order functionals. - Mauro Jaskelioff; Russell O'Connor (J. Funct. Program., 2015)

Contractive Functions on Infinite Data Structures. - Venanzio Capretta; Graham Hutton; Mauro Jaskelioff (IFL, 2016)

Dioids for Computational Effects. - Ezequiel Postan; Exequiel Rivas; Mauro Jaskelioff (CLEI Selected Papers, 2017)

Notions of computation as monoids. - Exequiel Rivas; Mauro Jaskelioff (J. Funct. Program., 2017)

Improving typeclass relations by being open. - Guido Martínez; Mauro Jaskelioff; Guido De Luca (Haskell@ICFP, 2018)

Syntax and Semantics for Operations with Scopes. - Maciej Piróg; Tom Schrijvers; Nicolas Wu; Mauro Jaskelioff (LICS, 2018)

A unified view of monadic and applicative non-determinism. - Exequiel Rivas; Mauro Jaskelioff; Tom Schrijvers (Sci. Comput. Program., 2018)

Monad transformers and modular algebraic effects: what binds them together. - Tom Schrijvers; Maciej Piróg; Nicolas Wu; Mauro Jaskelioff (Haskell@ICFP, 2019)

On Structuring Functional Programs with Monoidal Profunctors. - Alexandre Garcia de Oliveira; Mauro Jaskelioff; Ana Cristina Vieira de Melo (MSFP@ETAPS, 2022)

Effectful improvement theory. - Martín Ceresa; Mauro Jaskelioff (Sci. Comput. Program., 2022)

A Readable and Computable Formalization of the Streamlet Consensus Protocol. - Mauro Jaskelioff; Orestis Melkonian; James Chapman 001 (FMBC, 2025)

input-output-hk/formal-streamlet. - Orestis Melkonian; Mauro Jaskelioff (DROPS Artifacts, 2025)