Samuel Mimram - RankMe

71 papers A* 5A 3B 20C 2Journal 33Unranked 5

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