Samuel Mimram
Samuel Mimram
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
International Conference on Concurrency Theory, 395-411, 2007
852007
Directed algebraic topology and concurrency
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
Springer, 2016
722016
Formal relationships between geometrical and classical models for concurrency
E Goubault, S Mimram
Electronic Notes in Theoretical Computer Science 283, 77-109, 2012
382012
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
362012
Towards 3-dimensional rewriting theory
S Mimram
arXiv preprint arXiv:1403.4094, 2014
352014
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
302012
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle
S Mimram
Université Paris-Diderot-Paris VII, 2008
292008
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
252013
The structure of first-order causality
S Mimram
Mathematical Structures in Computer Science 21 (1), 65-110, 2011
242011
A categorical theory of patches
S Mimram, C Di Giusto
Electronic notes in theoretical computer science 298, 283-307, 2013
212013
Computing critical pairs in 2-dimensional rewriting systems
S Mimram
arXiv preprint arXiv:1004.3135, 2010
212010
A Type-Theoretical Definition of Weak ω-Categories
E Finster, S Mimram
arXiv preprint arXiv:1706.02866, 2017
192017
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
162019
A non-standard semantics for Kahn networks in continuous time
R Beauxis, S Mimram
arXiv preprint arXiv:1108.5062, 2011
132011
Rigorous evidence of freedom from concurrency faults in industrial control software
R Bonichon, G Canet, L Correnson, E Goubault, E Haucourt, ...
International Conference on Computer Safety, Reliability, and Security, 85-98, 2011
122011
Coherent Presentations of Monoidal Categories
S Mimram, PL Curien
Logical Methods in Computer Science 13, 2017
10*2017
Iterated chromatic subdivisions are collapsible
É Goubault, S Mimram, C Tasson
Applied Categorical Structures 23 (6), 777-818, 2015
92015
Set-based simulation for design and verification of simulink models
O Bouissou, S Mimram, B Strazzulla, A Chapoutot
Embedded Real Time Software and Systems (ERTS2), 2014
92014
Coherence of Gray categories via rewriting
S Forest, S Mimram
3rd International Conference on Formal Structures for Computation and …, 2018
82018
A geometric view of partial order reduction
E Goubault, T Heindel, S Mimram
Electronic Notes in Theoretical Computer Science 298, 179-195, 2013
82013
The system can't perform the operation now. Try again later.
Articles 1–20