Folgen
Samuel Mimram
Samuel Mimram
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
Bestätigte E-Mail-Adresse bei polytechnique.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Directed algebraic topology and concurrency
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
Springer, 2016
1202016
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
International Conference on Concurrency Theory, 395-411, 2007
1042007
A Type-Theoretical Definition of Weak ω-Categories
E Finster, S Mimram
arXiv preprint arXiv:1706.02866, 2017
462017
Towards 3-dimensional rewriting theory
S Mimram
Logical Methods in Computer Science 10, 2014
452014
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 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
372019
A homotopical completion procedure with applications to coherence of monoids
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
322012
A categorical theory of patches
S Mimram, C Di Giusto
Electronic notes in theoretical computer science 298, 283-307, 2013
292013
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
172018
Directed homotopy in non-positively curved spaces
E Goubault, S Mimram
Logical Methods in Computer Science 16, 2020
162020
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
Concurrent specifications beyond linearizability
É Goubault, J Ledent, S Mimram
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018
132018
Homological computations for term rewriting systems
P Malbos, S Mimram
1st International Conference on Formal Structures for Computation and …, 2016
132016
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
132011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20