Samuel Mimram (CEA LIST)

Identifiers

• name variant Samuel Mimram (CEA LIST) 0.60 · backfill

Papers (6)

1. Towards 3-Dimensional Rewriting Theory cs.LO · 2014 · author #1
2. Trace Spaces: an Efficient New Technique for State-Space Reduction cs.DC · 2012 · author #4
3. A Non-Standard Semantics for Kahn Networks in Continuous Time cs.PL · 2011 · author #3
4. Liquidsoap: a High-Level Programming Language for Multimedia Streaming cs.PL · 2011 · author #4
5. The Structure of First-Order Causality (extended version) cs.LO · 2011 · author #1
6. Formal Relationships Between Geometrical and Classical Models for Concurrency cs.DC · 2010 · author #2

Mentions

• 1403.4094 #1 · backfill · confidence 0.70 Samuel Mimram (CEA LIST)
• 1204.0414 #4 · backfill · confidence 0.70 Samuel Mimram (CEA LIST)
• 1108.5062 #3 · backfill · confidence 0.70 Samuel Mimram (CEA LIST)
• 1104.2681 #4 · backfill · confidence 0.70 Samuel Mimram (CEA LIST)
• 1101.4813 #1 · backfill · confidence 0.70 Samuel Mimram (CEA LIST)
• 1004.2818 #2 · backfill · confidence 0.70 Samuel Mimram (CEA LIST)

Frequent Coauthors

• Eric Goubault (CEA LIST) 2 shared papers
• INRIA Saclay - Ile de France) 2 shared papers
• Romain Beauxis (LIX 2 shared papers
• David Baelde (LIX) 1 shared papers
• Emmanuel Haucourt (CEA LIST) 1 shared papers
• Lisbeth Fajstrup 1 shared papers
• Martin Raussen 1 shared papers