Samuel Mimram: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal Relationships Between Geometrical and Classical Models for Concurrency

Éric Goubault, Samuel Mimram

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 376 KB

english, 2012

2

A Categorical Theory of Patches

Mimram, Samuel, Di Giusto, Cinzia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 342 KB

english, 2013

3

A Geometric View of Partial Order Reduction

Goubault, Eric, Heindel, Tobias, Mimram, Samuel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 339 KB

english, 2013

4

[IEEE 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP) - Tampere, Finland (2012.10.11-2012.10.12)] 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP) - HySon: Set-based simulation of hybrid systems

Bouissou, Olivier, Mimram, Samuel, Chapoutot, Alexandre

Year:

2012

Language:

english

File:

PDF, 708 KB

english, 2012

5

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - The Structure of First-Order Causality

Year:

2009

Language:

english

File:

PDF, 325 KB

english, 2009

6

Iterated Chromatic Subdivisions are Collapsible

Goubault, Éric, Mimram, Samuel, Tasson, Christine

Journal:

Applied Categorical Structures

Year:

2015

Language:

english

File:

PDF, 5.10 MB

english, 2015

7

The structure of first-order causality

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 2.24 MB

english, 2011

8

Directed Algebraic Topology and Concurrency ||

Fajstrup, Lisbeth, Goubault, Eric, Haucourt, Emmanuel, Mimram, Samuel, Raussen, Martin

Year:

2016

Language:

english

File:

PDF, 6.21 MB

english, 2016

9

Geometric and combinatorial views on asynchronous computability

Goubault, Éric, Mimram, Samuel, Tasson, Christine

Journal:

Distributed Computing

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

10

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A type-theoretical definition of weak ω-categories

Finster, Eric, Mimram, Samuel

Year:

2017

Language:

english

File:

PDF, 394 KB

english, 2017

11

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Describing free $\omega$ -categories

Forest, Simon, Mimram, Samuel

Year:

2019

File:

PDF, 1.42 MB

2019