Παρακολούθηση
Samuel Mimram
Samuel Mimram
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα lix.polytechnique.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Asynchronous games: Innocence without alternation
PA Melliès, S Mimram
International Conference on Concurrency Theory, 395-411, 2007
892007
Directed algebraic topology and concurrency
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
Springer, 2016
852016
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
402012
Towards 3-dimensional rewriting theory
S Mimram
Logical Methods in Computer Science 10, 2014
392014
Formal relationships between geometrical and classical models for concurrency
E Goubault, S Mimram
Electronic Notes in Theoretical Computer Science 283, 77-109, 2012
382012
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
312012
A homotopical completion procedure with applications to coherence of monoids
Y Guiraud, P Malbos, S Mimram
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
292013
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle
S Mimram
Université Paris-Diderot-Paris VII, 2008
292008
A Type-Theoretical Definition of Weak ω-Categories
E Finster, S Mimram
arXiv preprint arXiv:1706.02866, 2017
272017
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
252019
The structure of first-order causality
S Mimram
Mathematical Structures in Computer Science 21 (1), 65-110, 2011
252011
A categorical theory of patches
S Mimram, C Di Giusto
Electronic notes in theoretical computer science 298, 283-307, 2013
232013
Computing critical pairs in 2-dimensional rewriting systems
S Mimram
arXiv preprint arXiv:1004.3135, 2010
232010
A non-standard semantics for Kahn networks in continuous time
R Beauxis, S Mimram
arXiv preprint arXiv:1108.5062, 2011
132011
Coherence of Gray categories via rewriting
S Forest, S Mimram
3rd International Conference on Formal Structures for Computation and …, 2018
122018
Coherent Presentations of Monoidal Categories
S Mimram, PL Curien
Logical Methods in Computer Science 13, 2017
12*2017
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
A geometric view of partial order reduction
E Goubault, T Heindel, S Mimram
Electronic Notes in Theoretical Computer Science 298, 179-195, 2013
112013
Homological computations for term rewriting systems
P Malbos, S Mimram
1st International Conference on Formal Structures for Computation and …, 2016
92016
Iterated chromatic subdivisions are collapsible
É Goubault, S Mimram, C Tasson
Applied Categorical Structures 23 (6), 777-818, 2015
92015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20