Asynchronous Games: Innocence Without Alternation. - Paul-André Melliès; Samuel Mimram (CONCUR, 2007)

Presentation of a Game Semantics for First-Order Propositional Logic - Samuel Mimram (CoRR, 2008)

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle. (Asynchronous Game Semantics and 2-dimensional Rewriting Systems). - Samuel Mimram (2008)

Focusing in Asynchronous Games. - Samuel Mimram (CiE, 2010)

Computing Critical Pairs in 2-Dimensional Rewriting Systems. - Samuel Mimram (RTA, 2010)

Formal Relationships Between Geometrical and Classical Models for Concurrency. - Eric Goubault; Samuel Mimram (GETCO, 2010)

A Non-Standard Semantics for Kahn Networks in Continuous Time. - Romain Beauxis; Samuel Mimram (CSL, 2011)

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. - Richard Bonichon; Géraud Canet; Loïc Correnson; Eric Goubault; Emmanuel Haucourt; Michel Hirschowitz; Sébastien Labbé 002; Samuel Mimram (SAFECOMP, 2011)

Liquidsoap: A High-Level Programming Language for Multimedia Streaming. - David Baelde; Romain Beauxis; Samuel Mimram (SOFSEM, 2011)

The Structure of First-Order Causality (extended version) - Samuel Mimram (CoRR, 2011)

The structure of first-order causality. - Samuel Mimram (Math. Struct. Comput. Sci., 2011)

Trace Spaces: An Efficient New Technique for State-Space Reduction. - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raußen (ESOP, 2012)

HySon: Set-based simulation of hybrid systems. - Olivier Bouissou; Samuel Mimram; Alexandre Chapoutot (RSP, 2012)

A Homotopical Completion Procedure with Applications to Coherence of Monoids. - Yves Guiraud; Philippe Malbos; Samuel Mimram (RTA, 2013)

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. - Olivier Bouissou; Alexandre Chapoutot; Samuel Mimram (CoRR, 2013)

A Geometric View of Partial Order Reduction. - Eric Goubault; Tobias Heindel; Samuel Mimram (MFPS, 2013)

A Categorical Theory of Patches. - Samuel Mimram; Cinzia Di Giusto (MFPS, 2013)

Towards 3-Dimensional Rewriting Theory. - Samuel Mimram (Log. Methods Comput. Sci., 2014)

Presenting Finite Posets. - Samuel Mimram (TERMGRAPH, 2014)

Presenting a Category Modulo a Rewriting System. - Florence Clerc; Samuel Mimram (RTA, 2015)

From Geometric Semantics to Asynchronous Computability. - Eric Goubault; Samuel Mimram; Christine Tasson (DISC, 2015)

Iterated Chromatic Subdivisions are Collapsible. - Eric Goubault; Samuel Mimram; Christine Tasson (Appl. Categorical Struct., 2015)

Geometric Models of Concurrent Computations. - Samuel Mimram (2016)

Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raussen (Springer, 2016)

Homological Computations for Term Rewriting Systems. - Philippe Malbos; Samuel Mimram (FSCD, 2016)

A type-theoretical definition of weak ω-categories. - Eric Finster; Samuel Mimram (LICS, 2017)

Coherent Presentations of Monoidal Categories. - Pierre-Louis Curien; Samuel Mimram (Log. Methods Comput. Sci., 2017)

Concurrent Specifications Beyond Linearizability. - Éric Goubault; Jérémy Ledent; Samuel Mimram (OPODIS, 2018)

Coherence of Gray Categories via Rewriting. - Simon Forest 001; Samuel Mimram (FSCD, 2018)

Brief Announcement: On the Impossibility of Detecting Concurrency. - Éric Goubault; Jérémy Ledent; Samuel Mimram (DISC, 2018)

Geometric and combinatorial views on asynchronous computability. - Éric Goubault; Samuel Mimram; Christine Tasson (Distributed Comput., 2018)

A Sound Foundation for the Topological Approach to Task Solvability. - Jérémy Ledent; Samuel Mimram (CONCUR, 2019)

Describing free $ omega$ -categories. - Simon Forest 001; Samuel Mimram (LICS, 2019)

A Sequent Calculus for Opetopes. - Cédric Ho Thanh; Pierre-Louis Curien; Samuel Mimram (LICS, 2019)

Directed Homotopy in Non-Positively Curved Spaces. - Eric Goubault; Samuel Mimram (Log. Methods Comput. Sci., 2020)

Globular weak ω-categories as models of a type theory. - Thibaut Benjamin; Eric Finster; Samuel Mimram (CoRR, 2021)

A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. - Eric Finster; Samuel Mimram; Maxime Lucas; Thomas Seiller (MFPS, 2021)

Syntactic Regions for Concurrent Programs. - Samuel Mimram; Aly-Bora Ulusoy (MFPS, 2021)

Division by Two, in Homotopy Type Theory. - Samuel Mimram; Émile Oleon (FSCD, 2022)

Tietze Equivalences as Weak Equivalences. - Simon Henry; Samuel Mimram (Appl. Categorical Struct., 2022)

Rewriting in Gray categories with applications to coherence. - Simon Forest 001; Samuel Mimram (Math. Struct. Comput. Sci., 2022)

Introduction to the special issue: Confluence. - Mauricio Ayala-Rincón; Samuel Mimram (Math. Struct. Comput. Sci., 2022)

Categorical Coherence from Term Rewriting Systems. - Samuel Mimram (FSCD, 2023)

Polygraphs: From Rewriting to Higher Categories. - Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram (CoRR, 2023)

Delooping Generated Groups in Homotopy Type Theory. - Camil Champin; Samuel Mimram; Émile Oleon (FSCD, 2024)

Delooping cyclic groups with lens spaces in homotopy type theory. - Samuel Mimram; Émile Oleon (LICS, 2024)

Delooping generated groups in homotopy type theory. - Camil Champin; Samuel Mimram (DROPS Artifacts, 2024)

∞-Categorical Models of Linear Logic. - Eliès Harington; Samuel Mimram (FSCD, 2025)

Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory. - Samuel Mimram; Émile Oleon (FSCD, 2025)

Hypercubical manifolds in homotopy type theory. - Samuel Mimram; Émile Oleon (CoRR, 2025)