About two-way transducers. - Brigitte Rozoy (FCT, 1985)

Model and Complexity of Termination for Distributed Computations. - Brigitte Rozoy (MFCS, 1986)

Outils et Résultats Pour Les Transducteurs Boustrophedons. - Brigitte Rozoy (RAIRO Theor. Informatics Appl., 1986)

Solutions for the Distributed Termination Problem. - Didier Ferment; Brigitte Rozoy (Parallel Algorithms and Architectures, 1987)

The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index - Brigitte Rozoy (Inf. Comput., 1987)

On Distributed Languages and Models for Distributed Computation. - Brigitte Rozoy (Semantics of Systems of Concurrent Processes, 1990)

On the Star Operation in Free Partially Commutative Monoids. - Yves Métivier; Brigitte Rozoy (Int. J. Found. Comput. Sci., 1991)

Event Structures and Trace Monoids. - Brigitte Rozoy; P. S. Thiagarajan (Theor. Comput. Sci., 1991)

On distributed languages and models for concurrency. - Brigitte Rozoy (Advances in Petri Nets: The DEMON Project, 1992)

Decidability of the Star Problem in A* x {b}*. - Paul Gastin; Edward Ochmanski; Antoine Petit 001; Brigitte Rozoy (Inf. Process. Lett., 1992)

The Poset of Infinitary Traces. - Paul Gastin; Brigitte Rozoy (Theor. Comput. Sci., 1993)

Finite Labelling Problem in Event Structures. - Marc Roland Assous; Vincent Bouchitté; Christine Charretton; Brigitte Rozoy (Theor. Comput. Sci., 1994)

Graphs for Generalized Traces. - Iabelle Biermann; Brigitte Rozoy (STRICT, 1995)

Marella: A Tool for Simulation and Verification. - Dominique Ambroise; Brigitte Rozoy (CAV, 1996)

Using Events Structures for the Efficient Analysis of State Graphs (Abstract). - Dominique Ambroise; Brigitte Rozoy (PODC, 1996)

Marrella: a Tool to Analyse the Graph of States. - Dominique Ambroise; Brigitte Rozoy (Parallel Process. Lett., 1996)

Reliable Generalized and Context Dependent Commutation Relations. - Iabelle Biermann; Brigitte Rozoy (TAPSOFT, 1997)

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)

Simulation and verification of an embedded system. - Patrick Augé; Brigitte Rozoy; Thierry Maurin; Roger Reynaud; Kamel Bouchefra (CATA, 2001)

MARRELLA and the Verification of an Embedded System. - Dominique Ambroise; Patrick Augé; Kamel Bouchefra; Brigitte Rozoy (FoSSaCS, 2001)

Deadlock Detection in Distributed Systems. - Dominique Ambroise; Brigitte Rozoy; Jean Saquet (CATA, 2003)

Observing locally self-stabilization. - Joffroy Beauquier; Laurence Pilard; Brigitte Rozoy (J. High Speed Networks, 2005)

Observing Locally Self-Stabilization in a Probabilistic Way. - Joffroy Beauquier; Laurence Pilard; Brigitte Rozoy (J. Aerosp. Comput. Inf. Commun., 2006)

Self-stabilizing counting in mobile sensor networks. - Joffroy Beauquier; Julien Clément 002; Stéphane Messika; Laurent Rosaz; Brigitte Rozoy (PODC, 2007)

Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. - Joffroy Beauquier; Julien Clément 002; Stéphane Messika; Laurent Rosaz; Brigitte Rozoy (DISC, 2007)

Observer des algorithmes autostabilisants. Vers une valuation du co. - Julien Clément 002; Stéphane Messika; Brigitte Rozoy (Tech. Sci. Informatiques, 2011)

Boost.SIMD: generic programming for portable SIMDization. - Pierre Estérie; Mathias Gaunard; Joel Falcou; Jean-Thierry Lapresté; Brigitte Rozoy (PACT, 2012)

Non-deterministic Population Protocols. - Joffroy Beauquier; Janna Burman; Laurent Rosaz; Brigitte Rozoy (OPODIS, 2012)

Locality Optimization on a NUMA Architecture for Hybrid LU Factorization. - Adrien Rémy; Marc Baboulin; Masha Sosonkina; Brigitte Rozoy (PARCO, 2013)