Samuel Mimram

Statistics

Publications

Citations

156

H-Index

Active since

2010

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

École Polytechnique

Samuel Mimram is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in computer science, mathematics, and formal methods.

ORCID

Publications per year

2010–2017

Publications

Towards 3-Dimensional Rewriting Theory

Samuel Mimram · Logical Methods in Computer Science · 2014 · 33 citations · Full text

Natural Sciences, Computer Science, Mathematics +13

HySon: Set-based simulation of hybrid systems

Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot · 2012 · 27 citations

Engineering, Systems Engineering, Model-based Systems Engineering +13

Formal Relationships Between Geometrical and Classical Models for Concurrency

Éric Goubault, Samuel Mimram · Electronic Notes in Theoretical Computer Science · 2012 · 21 citations · Full text

Computing, Computer Science, Formal Methods +15

A Categorical Theory of Patches

Samuel Mimram, Cinzia Di Giusto · Electronic Notes in Theoretical Computer Science · 2013 · 18 citations · Full text

Computing, Computer Science, Computer Systems +10

Computing Critical Pairs in 2-Dimensional Rewriting Systems

Samuel Mimram · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 17 citations · Full text

Natural Sciences, Computer Science, Mathematics +12

1–5 of 8