Suivre
Samuel Mimram
Samuel Mimram
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
Adresse e-mail validée de polytechnique.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Directed algebraic topology and concurrency
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
Springer, 2016
1292016
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
International Conference on Concurrency Theory, 395-411, 2007
1062007
A Type-Theoretical Definition of Weak ω-Categories
E Finster, S Mimram
arXiv preprint arXiv:1706.02866, 2017
502017
Towards 3-dimensional rewriting theory
S Mimram
Logical Methods in Computer Science 10, 2014
502014
Formal relationships between geometrical and classical models for concurrency
E Goubault, S Mimram
Electronic Notes in Theoretical Computer Science 283, 77-109, 2012
422012
Hyson: Set-based simulation of hybrid systems
O Bouissou, S Mimram, A Chapoutot
2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), 79-85, 2012
412012
A homotopical completion procedure with applications to coherence of monoids
Y Guiraud, P Malbos, S Mimram
RTA-24th International Conference on Rewriting Techniques and Applications …, 2013
372013
A sequent calculus for opetopes
CH Thanh, PL Curien, S Mimram
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
362019
Trace spaces: An efficient new technique for state-space reduction
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
European Symposium on Programming, 274-294, 2012
332012
A categorical theory of patches
S Mimram, C Di Giusto
Electronic notes in theoretical computer science 298, 283-307, 2013
322013
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle
S Mimram
Université Paris-Diderot-Paris VII, 2008
292008
The structure of first-order causality
S Mimram
Mathematical Structures in Computer Science 21 (1), 65-110, 2011
262011
Computing critical pairs in 2-dimensional rewriting systems
S Mimram
arXiv preprint arXiv:1004.3135, 2010
232010
Coherence of Gray categories via rewriting
S Forest, S Mimram
3rd International Conference on Formal Structures for Computation and …, 2018
182018
Directed homotopy in non-positively curved spaces
E Goubault, S Mimram
Logical Methods in Computer Science 16, 2020
172020
Polygraphs: from rewriting to higher categories
D Ara, A Burroni, Y Guiraud, P Malbos, F Métayer, S Mimram
arXiv preprint arXiv:2312.00429, 2023
162023
Concurrent specifications beyond linearizability
É Goubault, J Ledent, S Mimram
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018
162018
Coherent presentations of monoidal categories
PL Curien, S Mimram
Logical Methods in Computer Science 13, 2017
16*2017
Geometric and combinatorial views on asynchronous computability
É Goubault, S Mimram, C Tasson
Distributed Computing 31 (4), 289-316, 2018
142018
Homological computations for term rewriting systems
P Malbos, S Mimram
1st International Conference on Formal Structures for Computation and …, 2016
142016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20