Mireille Clerbout

20 papers A* 2A 1B 4C 1Journal 11
YearRankTypeTitle / Venue / Authors
2006 J jnl
Component composition preserving behavioral contracts based on communication traces.
Theor. Comput. Sci.
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
2005 C conf
Component Composition Preserving Behavioural Contracts Based on Communication Traces.
CIAA
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
2003 J jnl
FIDL Spécifications formelles en IDL3.
Obj. Logiciel Base données Réseaux
Arnaud Bailly, Isabelle Ryl, Mireille Clerbout
2001 J jnl
Synchronization Languages and Rewriting Systems.
Inf. Comput.
Mireille Clerbout, Yves Roos, Isabelle Ryl
2000 J jnl
Semi-commutations and partial commutations.
RAIRO Theor. Informatics Appl.
Mireille Clerbout, Yves Roos, Isabelle Ryl
1999 B conf
Generalized Synchronization Languages.
FCT
Isabelle Ryl, Yves Roos, Mireille Clerbout
1999 J jnl
Synchronization Languages.
Theor. Comput. Sci.
Mireille Clerbout, Yves Roos, Isabelle Ryl
1998 B conf
About Synchronization Languages.
MFCS
Isabelle Ryl, Yves Roos, Mireille Clerbout
1997 B conf
Partial Characterization of Synchronization Languages.
MFCS
Isabelle Ryl, Yves Roos, Mireille Clerbout
1995 — ch.
Semi-Commutations.
The Book of Traces
Mireille Clerbout, Michel Latteux, Yves Roos
1994 J jnl
Atomic Semicommutations.
Theor. Comput. Sci.
Mireille Clerbout, D. Gonzalez
1992 A* conf
Semi-Commutations and Rational Expressions.
ICALP
Mireille Clerbout, Yves Roos, Wieslaw Zielonka
1992 J jnl
Semicommutations and Algebraic Languages.
Theor. Comput. Sci.
Mireille Clerbout, Yves Roos
1990 A* conf
Decomposition of Partial Commutations.
ICALP
Mireille Clerbout, Michel Latteux, Yves Roos
1990 B conf
Decomposition of Semi Commutations.
MFCS
Mireille Clerbout, D. Gonzalez
1990 A conf
Semi-Commutations and Algebraic Languages.
STACS
Mireille Clerbout, Yves Roos
1989 J jnl
Compositions De Fonctions De Commutation Partielle.
RAIRO Theor. Informatics Appl.
Mireille Clerbout
1987 J jnl
Semi-commutations
Inf. Comput.
Mireille Clerbout, Michel Latteux
1984 J jnl
Partial Commutations and Faithful Rational Transductions.
Theor. Comput. Sci.
Mireille Clerbout, Michel Latteux
1981 J jnl
The Inclusion of D0L in MULTI-RESET.
Inf. Process. Lett.
Mireille Clerbout, Michel Latteux