Skip to content
cs-conference-ranking.org

Rmi Morin

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

9

Active years

1998–2011

Best venue rank

B

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2011CSRShared-Memory Systems and Charts.Rmi Morin
2008CONCURSemantics of Deterministic Shared-Memory Systems.Rmi Morin
2008DLTMSO Logic for Unambiguous Shared-Memory Systems.Rmi Morin
2006CSRUnfolding Synthesis of Asynchronous Automata.Nicolas Baudru, Rmi Morin
2005MFCSConcurrent Automata vs. Asynchronous Systems.Rmi Morin
2004CONCURThe Pros and Cons of Netcharts.Nicolas Baudru, Rmi Morin
2003SNPDSafe Implementability of Regular Message Sequence Chart Specifications.Nicolas Baudru, Rmi Morin
2002CONCURRegular Sets of Pomsets with Autoconcurrency.Jean Fanchon, Rmi Morin
2002STACSRecognizable Sets of Message Sequence Charts.Rmi Morin
2002TACASBlack Box Unfolding with Local First Search.Sbastien Bornot, Rmi Morin, Peter Niebert, Sarah Zennou
2001FOSSACSOn Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory.Rmi Morin
2000CONCURPomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.Dietrich Kuske, Rmi Morin
2000FOSSACSOn Recognizable Stable Trace Languages.Jean-Franois Husson, Rmi Morin
1999CONCUROn the Semantics of Place/Transition Nets.Rmi Morin, Brigitte Rozoy
1999FCTA General Categorical Connection between Local Event Structures and Local Traces.H. C. M. Kleijn, Rmi Morin, Brigitte Rozoy
1998CONCURDecompositions of Asynchronous Systems.Rmi Morin