BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Italy
1 × Japan
Collaborated with:
J.Husson S.Bornot P.Niebert S.Zennou
Talks about:
unambigu (2) languag (2) system (2) memori (2) trace (2) share (2) relationship (1) mazurkiewicz (1) recogniz (1) sequenc (1)

Person: Rémi Morin

DBLP DBLP: Morin:R=eacute=mi

Contributed to:

DLT 20082008
DLT 20082010
TACAS 20022002
FoSSaCS 20012001
FoSSaCS 20002000

Wrote 5 papers:

DLT-2008-Morin #ambiguity #logic
MSO Logic for Unambiguous Shared-Memory Systems (RM), pp. 516–528.
DLT-J-2008-Morin10 #ambiguity
Unambiguous Shared-Memory Systems (RM), pp. 665–685.
TACAS-2002-BornotMNZ #black box
Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.
FoSSaCS-2001-Morin #on the #sequence chart #traceability
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
FoSSaCS-2000-HussonM #on the
On Recognizable Stable Trace Languages (JFH, RM), pp. 177–191.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.