Samuel Mimram

Available identifiers

zbMath Open mimram.samuelMaRDI QIDQ265806

List of research outcomes

Publication	Date of Publication	Type
Polygraphs: From Rewriting to Higher Categories	2023-12-01	Paper
Rewriting in Gray categories with applications to coherence	2023-02-10	Paper
A Sound Foundation for the Topological Approach to Task Solvability	2023-02-03	Paper
Free precategories as presheaf categories	2022-11-29	Paper
Syntactic approaches to opetopes	2022-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5091106	2022-07-21	Paper
Tietze equivalences as weak equivalences	2022-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q5013809	2021-12-02	Paper
Coherence of Gray Categories via Rewriting	2021-06-15	Paper
A Type-Theoretical Definition of Weak {\omega}-Categories	2021-01-19	Paper
Directed Homotopy in Non-Positively Curved Spaces	2020-07-30	Paper
From geometric semantics to asynchronous computability	2018-08-24	Paper
Geometric and combinatorial views on asynchronous computability	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q5369492	2017-10-17	Paper
Coherent Presentations of Monoidal Categories	2017-10-12	Paper
Presenting a Category Modulo a Rewriting System	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2958386	2017-02-01	Paper
A geometric view of partial order reduction	2016-04-12	Paper
A categorical theory of patches	2016-04-12	Paper
Iterated chromatic subdivisions are collapsible	2015-11-18	Paper
Formal Relationships Between Geometrical and Classical Models for Concurrency	2015-03-18	Paper
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram	2015-02-11	Paper
Towards 3-Dimensional Rewriting Theory	2014-05-22	Paper
A Non-Standard Semantics for Kahn Networks in Continuous Time	2012-09-18	Paper
Trace Spaces: An Efficient New Technique for State-Space Reduction	2012-06-22	Paper
Computing Critical Pairs in 2-Dimensional Rewriting Systems	2012-04-25	Paper
The structure of first-order causality	2011-03-07	Paper
Focusing in Asynchronous Games	2010-07-29	Paper
Asynchronous Games: Innocence Without Alternation	2008-09-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Samuel Mimram