Æȷοì
Samuel Mimram
Samuel Mimram
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
polytechnique.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Directed algebraic topology and concurrency
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
Springer, 2016
1352016
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
International Conference on Concurrency Theory, 395-411, 2007
1072007
A Type-Theoretical Definition of Weak ¥ø-Categories
E Finster, S Mimram
arXiv preprint arXiv:1706.02866, 2017
512017
Towards 3-dimensional rewriting theory
S Mimram
Logical Methods in Computer Science 10, 2014
492014
Formal relationships between geometrical and classical models for concurrency
E Goubault, S Mimram
Electronic Notes in Theoretical Computer Science 283, 77-109, 2012
442012
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 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
382019
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
362013
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
342012
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
242010
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
202023
Directed homotopy in non-positively curved spaces
E Goubault, S Mimram
Logical Methods in Computer Science 16, 2020
182020
Concurrent specifications beyond linearizability
É Goubault, J Ledent, S Mimram
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018
182018
Coherence of Gray categories via rewriting
S Forest, S Mimram
3rd International Conference on Formal Structures for Computation and ¡¦, 2018
172018
Geometric and combinatorial views on asynchronous computability
É Goubault, S Mimram, C Tasson
Distributed Computing 31 (4), 289-316, 2018
162018
Coherent presentations of monoidal categories
PL Curien, S Mimram
Logical Methods in Computer Science 13, 2017
16*2017
Rigorous evidence of freedom from concurrency faults in industrial control software
R Bonichon, G Canet, L Correnson, E Goubault, E Haucourt, ...
Computer Safety, Reliability, and Security: 30th International Conference ¡¦, 2011
142011
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20