Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Samuel Mimram
Map detail
Samuel Mimram11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSamuel MimramASamuel MimramResearcherComputing Critical Pairs in 2-Dimensional Rewriting SystemsWComputing Critical Pair...preprint / 2010The Structure of First-Order Causality (extended version)WThe Structure of First-...preprint / 2011A Categorical Theory of PatchesWA Categorical Theory of...preprint / 2013Presenting Finite PosetsWPresenting Finite Posetspreprint / 2015Focusing in Asynchronous GamesWFocusing in Asynchronou...preprint / 2010Towards 3-Dimensional Rewriting TheoryWTowards 3-Dimensional R...preprint / 2014A Non-Standard Semantics for Kahn Networks in Continuous TimeWA Non-Standard Semantic...preprint / 2011Liquidsoap: a High-Level Programming Language for Multimedia StreamingWLiquidsoap: a High-Leve...preprint / 2011Computing Flowpipe of Nonlinear Hybrid Systems with Numerical MethodsWComputing Flowpipe of N...preprint / 2013Trace Spaces: an Efficient New Technique for State-Space ReductionWTrace Spaces: an Effici...preprint / 2012
Person10 links

Samuel Mimram

Researcher