Samuel Mimram

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 28

Top Venues

CoRR

FSCD

LICS

Log. Methods Comput. Sci.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Samuel Mimram, Émile Oleon
Delooping cyclic groups with lens spaces in homotopy type theory. CoRR (2024)
Camil Champin, Samuel Mimram, Émile Oleon
Delooping Generated Groups in Homotopy Type Theory. FSCD (2024)
Camil Champin, Samuel Mimram, Émile Oleon
Delooping generated groups in homotopy type theory. CoRR (2024)
Samuel Mimram, Émile Oleon
Delooping cyclic groups with lens spaces in homotopy type theory. LICS (2024)
Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
Polygraphs: From Rewriting to Higher Categories. CoRR (2023)
Samuel Mimram
Categorical Coherence from Term Rewriting Systems. FSCD (2023)
Samuel Mimram, Émile Oleon
Division by Two, in Homotopy Type Theory. FSCD (2022)
Simon Forest, Samuel Mimram
Rewriting in Gray categories with applications to coherence. Math. Struct. Comput. Sci. 32 (5) (2022)
Mauricio Ayala-Rincón, Samuel Mimram
Introduction to the special issue: Confluence. Math. Struct. Comput. Sci. 32 (7) (2022)
Simon Henry, Samuel Mimram
Tietze Equivalences as Weak Equivalences. Appl. Categorical Struct. 30 (3) (2022)
Simon Henry, Samuel Mimram
Tietze Equivalences as Weak Equivalences. CoRR (2021)
Thibaut Benjamin, Eric Finster, Samuel Mimram
Globular weak ω-categories as models of a type theory. CoRR (2021)
Samuel Mimram, Aly-Bora Ulusoy
Syntactic Regions for Concurrent Programs. CoRR (2021)
Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. MFPS (2021)
Eric Goubault, Samuel Mimram
Directed Homotopy in Non-Positively Curved Spaces. Log. Methods Comput. Sci. 16 (3) (2020)
Simon Forest, Samuel Mimram
Describing free $\omega$ -categories. LICS (2019)
Eric Goubault, Samuel Mimram
Directed Homotopy in Non-Positively Curved Spaces. CoRR (2019)
Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram
A Sequent Calculus for Opetopes. LICS (2019)
Jérémy Ledent, Samuel Mimram
A Sound Foundation for the Topological Approach to Task Solvability. CONCUR (2019)
Éric Goubault, Samuel Mimram, Christine Tasson
Geometric and combinatorial views on asynchronous computability. Distributed Comput. 31 (4) (2018)
Simon Forest, Samuel Mimram
Coherence of Gray Categories via Rewriting. FSCD (2018)
Éric Goubault, Jérémy Ledent, Samuel Mimram
Brief Announcement: On the Impossibility of Detecting Concurrency. DISC (2018)
Éric Goubault, Jérémy Ledent, Samuel Mimram
Concurrent Specifications Beyond Linearizability. OPODIS (2018)
Eric Finster, Samuel Mimram
A type-theoretical definition of weak ω-categories. LICS (2017)
Eric Finster, Samuel Mimram
A Type-Theoretical Definition of Weak ω-Categories. CoRR (2017)
Pierre-Louis Curien, Samuel Mimram
Coherent Presentations of Monoidal Categories. CoRR (2017)
Pierre-Louis Curien, Samuel Mimram
Coherent Presentations of Monoidal Categories. Log. Methods Comput. Sci. 13 (3) (2017)
Philippe Malbos, Samuel Mimram
Homological Computations for Term Rewriting Systems. FSCD (2016)
Florence Clerc, Samuel Mimram
Presenting a Category Modulo a Rewriting System. RTA (2015)
Eric Goubault, Samuel Mimram, Christine Tasson
Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. 23 (6) (2015)
Eric Goubault, Samuel Mimram, Christine Tasson
From Geometric Semantics to Asynchronous Computability. DISC (2015)
Samuel Mimram
Towards 3-Dimensional Rewriting Theory. Log. Methods Comput. Sci. 10 (2) (2014)
Samuel Mimram
Presenting Finite Posets. TERMGRAPH (2014)
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. CoRR (2013)
Samuel Mimram, Cinzia Di Giusto
A Categorical Theory of Patches. CoRR (2013)
Samuel Mimram, Cinzia Di Giusto
A Categorical Theory of Patches. MFPS (2013)
Yves Guiraud, Philippe Malbos, Samuel Mimram
A Homotopical Completion Procedure with Applications to Coherence of Monoids. RTA (2013)
Eric Goubault, Tobias Heindel, Samuel Mimram
A Geometric View of Partial Order Reduction. MFPS (2013)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP (2012)
Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
HySon: Set-based simulation of hybrid systems. RSP (2012)
Eric Goubault, Samuel Mimram
Formal Relationships Between Geometrical and Classical Models for Concurrency. Electron. Notes Theor. Comput. Sci. 283 (2012)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR (2012)
Samuel Mimram
The Structure of First-Order Causality (extended version) CoRR (2011)
Romain Beauxis, Samuel Mimram
A Non-Standard Semantics for Kahn Networks in Continuous Time CoRR (2011)
David Baelde, Romain Beauxis, Samuel Mimram
Liquidsoap: A High-Level Programming Language for Multimedia Streaming. SOFSEM (2011)
David Baelde, Romain Beauxis, Samuel Mimram
Liquidsoap: a High-Level Programming Language for Multimedia Streaming CoRR (2011)
Samuel Mimram
The structure of first-order causality. Math. Struct. Comput. Sci. 21 (1) (2011)
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP (2011)
Romain Beauxis, Samuel Mimram
A Non-Standard Semantics for Kahn Networks in Continuous Time. CSL (2011)
Samuel Mimram
Focusing in Asynchronous Games. CiE (2010)
Eric Goubault, Samuel Mimram
Formal Relationships Between Geometrical and Classical Models for Concurrency CoRR (2010)
Samuel Mimram
Computing Critical Pairs in 2-Dimensional Rewriting Systems CoRR (2010)
Samuel Mimram
Focusing in Asynchronous Games CoRR (2010)
Samuel Mimram
Computing Critical Pairs in 2-Dimensional Rewriting Systems. RTA (2010)
Samuel Mimram
The Structure of First-Order Causality CoRR (2009)
Samuel Mimram
The Structure of First-Order Causality. LICS (2009)
Samuel Mimram
Presentation of a Game Semantics for First-Order Propositional Logic CoRR (2008)
Paul-André Melliès, Samuel Mimram
Asynchronous Games: Innocence Without Alternation. CONCUR (2007)
Paul-André Melliès, Samuel Mimram
Asynchronous games: innocence without alternation CoRR (2007)

Samuel Mimram.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samuel Mimram