Decompositions of Asynchronous Systems. - Rémi Morin (CONCUR, 1998)

Event Structures for Local Traces. - H. C. M. Kleijn; Rémi Morin; Brigitte Rozoy (EXPRESS, 1998)

On the Semantics of Place/Transition Nets. - Rémi Morin; Brigitte Rozoy (CONCUR, 1999)

A General Categorical Connection between Local Event Structures and Local Traces. - H. C. M. Kleijn; Rémi Morin; Brigitte Rozoy (FCT, 1999)

Hierarchy of asynchronous automata. - Rémi Morin (WDS@FCT, 1999)

Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets. - Dietrich Kuske; Rémi Morin (CONCUR, 2000)

On Recognizable Stable Trace Languages. - Jean-François Husson; Rémi Morin (FoSSaCS, 2000)

On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory. - Rémi Morin (FoSSaCS, 2001)

Regular Sets of Pomsets with Autoconcurrency. - Jean Fanchon; Rémi Morin (CONCUR, 2002)

Recognizable Sets of Message Sequence Charts. - Rémi Morin (STACS, 2002)

Black Box Unfolding with Local First Search. - Sébastien Bornot; Rémi Morin; Peter Niebert; Sarah Zennou (TACAS, 2002)

Pomsets for Local Trace Languages. - Dietrich Kuske; Rémi Morin (J. Autom. Lang. Comb., 2002)

Safe Implementability of Regular Message Sequence Chart Specifications. - Nicolas Baudru; Rémi Morin (SNPD, 2003)

The Pros and Cons of Netcharts. - Nicolas Baudru; Rémi Morin (CONCUR, 2004)

Concurrent Automata vs. Asynchronous Systems. - Rémi Morin (MFCS, 2005)

Polynomial Synthesis of Asynchronous Automata - Nicolas Baudru; Rémi Morin (CoRR, 2005)

The Synthesis Problem of Netcharts. - Nicolas Baudru; Rémi Morin (ICATPN, 2006)

Unfolding Synthesis of Asynchronous Automata. - Nicolas Baudru; Rémi Morin (CSR, 2006)

Synthesis of Safe Message-Passing Systems. - Nicolas Baudru; Rémi Morin (FSTTCS, 2007)

Semantics of Deterministic Shared-Memory Systems. - Rémi Morin (CONCUR, 2008)

MSO Logic for Unambiguous Shared-Memory Systems. - Rémi Morin (Developments in Language Theory, 2008)

Pomset Languages of Finite Step Transition Systems. - Jean Fanchon; Rémi Morin (Petri Nets, 2009)

Unambiguous Shared-Memory Systems. - Rémi Morin (Int. J. Found. Comput. Sci., 2010)

Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers. - Florent Avellaneda; Rémi Morin (ACSD, 2011)

Shared-Memory Systems and Charts. - Rémi Morin (CSR, 2011)

Checking Partial-Order Properties of Vector Addition Systems with States. - Florent Avellaneda; Rémi Morin (ACSD, 2013)

Exhibition of a Structural Bug with Wings. - Florent Avellaneda; Rémi Morin (Petri Nets, 2014)

Catching a Structural Bug with a Flower. - Florent Avellaneda; Rémi Morin (Fundam. Informaticae, 2015)