| Directed algebraic topology and concurrency L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen Springer, 2016 | 137 | 2016 |
| Asynchronous games: Innocence without alternation PA Melliès, S Mimram International Conference on Concurrency Theory, 395-411, 2007 | 107 | 2007 |
| A Type-Theoretical Definition of Weak ω-Categories E Finster, S Mimram arXiv preprint arXiv:1706.02866, 2017 | 53 | 2017 |
| Towards 3-dimensional rewriting theory S Mimram Logical Methods in Computer Science 10, 2014 | 49 | 2014 |
| Formal relationships between geometrical and classical models for concurrency E Goubault, S Mimram Electronic Notes in Theoretical Computer Science 283, 77-109, 2012 | 44 | 2012 |
| 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 | 41 | 2012 |
| 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 | 40 | 2019 |
| 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 | 37 | 2013 |
| 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 | 34 | 2012 |
| A categorical theory of patches S Mimram, C Di Giusto Electronic notes in theoretical computer science 298, 283-307, 2013 | 32 | 2013 |
| Sémantique des jeux asynchrones et réécriture 2-dimensionnelle S Mimram Université Paris-Diderot-Paris VII, 2008 | 29 | 2008 |
| The structure of first-order causality S Mimram Mathematical Structures in Computer Science 21 (1), 65-110, 2011 | 26 | 2011 |
| Computing critical pairs in 2-dimensional rewriting systems S Mimram arXiv preprint arXiv:1004.3135, 2010 | 24 | 2010 |
| 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 | 20 | 2023 |
| Directed homotopy in non-positively curved spaces E Goubault, S Mimram Logical Methods in Computer Science 16, 2020 | 19 | 2020 |
| Concurrent specifications beyond linearizability É Goubault, J Ledent, S Mimram 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018 | 18 | 2018 |
| Coherence of Gray categories via rewriting S Forest, S Mimram 3rd International Conference on Formal Structures for Computation and …, 2018 | 17 | 2018 |
| Geometric and combinatorial views on asynchronous computability É Goubault, S Mimram, C Tasson Distributed Computing 31 (4), 289-316, 2018 | 16 | 2018 |
| 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 | 14 | 2011 |
Eric GoubaultEcole PolytechniqueVerified email at cea.fr
