| 2008 |
|---|
| 21 | EE | Rémi Morin:
Semantics of Deterministic Shared-Memory Systems.
CONCUR 2008: 36-51 |
| 20 | EE | Rémi Morin:
MSO Logic for Unambiguous Shared-Memory Systems.
Developments in Language Theory 2008: 516-528 |
| 2007 |
|---|
| 19 | EE | Nicolas Baudru,
Rémi Morin:
Synthesis of Safe Message-Passing Systems.
FSTTCS 2007: 277-289 |
| 2006 |
|---|
| 18 | EE | Nicolas Baudru,
Rémi Morin:
Unfolding Synthesis of Asynchronous Automata.
CSR 2006: 46-57 |
| 17 | EE | Nicolas Baudru,
Rémi Morin:
The Synthesis Problem of Netcharts.
ICATPN 2006: 84-104 |
| 2005 |
|---|
| 16 | EE | Rémi Morin:
Concurrent Automata vs. Asynchronous Systems.
MFCS 2005: 686-698 |
| 15 | EE | Nicolas Baudru,
Rémi Morin:
Polynomial Synthesis of Asynchronous Automata
CoRR abs/cs/0506096: (2005) |
| 2004 |
|---|
| 14 | EE | Nicolas Baudru,
Rémi Morin:
The Pros and Cons of Netcharts.
CONCUR 2004: 99-114 |
| 2003 |
|---|
| 13 | | Nicolas Baudru,
Rémi Morin:
Safe Implementability of Regular Message Sequence Chart Specifications.
SNPD 2003: 210-217 |
| 2002 |
|---|
| 12 | EE | Jean Fanchon,
Rémi Morin:
Regular Sets of Pomsets with Autoconcurrency.
CONCUR 2002: 402-417 |
| 11 | EE | Rémi Morin:
Recognizable Sets of Message Sequence Charts.
STACS 2002: 523-534 |
| 10 | EE | Sébastien Bornot,
Rémi Morin,
Peter Niebert,
Sarah Zennou:
Black Box Unfolding with Local First Search.
TACAS 2002: 386-400 |
| 9 | | Dietrich Kuske,
Rémi Morin:
Pomsets for Local Trace Languages.
Journal of Automata, Languages and Combinatorics 7(2): 187-224 (2002) |
| 2001 |
|---|
| 8 | EE | Rémi Morin:
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory.
FoSSaCS 2001: 332-346 |
| 2000 |
|---|
| 7 | EE | Dietrich Kuske,
Rémi Morin:
Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.
CONCUR 2000: 426-441 |
| 6 | EE | Jean-François Husson,
Rémi Morin:
On Recognizable Stable Trace Languages.
FoSSaCS 2000: 177-191 |
| 1999 |
|---|
| 5 | EE | Rémi Morin,
Brigitte Rozoy:
On the Semantics of Place/Transition Nets.
CONCUR 1999: 447-462 |
| 4 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
A General Categorical Connection between Local Event Structures and Local Traces.
FCT 1999: 338-349 |
| 3 | EE | Rémi Morin:
Hierarchy of asynchronous automata.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 1998 |
|---|
| 2 | EE | Rémi Morin:
Decompositions of Asynchronous Systems.
CONCUR 1998: 549-564 |
| 1 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
Event Structures for Local Traces.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
