| 2007 |
|---|
| 26 | EE | Joffroy Beauquier,
Julien Clement,
Stéphane Messika,
Laurent Rosaz,
Brigitte Rozoy:
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.
DISC 2007: 63-76 |
| 25 | EE | Joffroy Beauquier,
Julien Clement,
Stéphane Messika,
Laurent Rosaz,
Brigitte Rozoy:
Self-stabilizing counting in mobile sensor networks.
PODC 2007: 396-397 |
| 2005 |
|---|
| 24 | EE | Joffroy Beauquier,
Laurence Pilard,
Brigitte Rozoy:
Observing Locally Self-stabilization in a Probabilistic Way.
DISC 2005: 399-413 |
| 23 | EE | Joffroy Beauquier,
Laurence Pilard,
Brigitte Rozoy:
Observing locally self-stabilization.
J. High Speed Networks 14(1): 3-19 (2005) |
| 2003 |
|---|
| 22 | | Dominique Ambroise,
Brigitte Rozoy,
Jean Saquet:
Deadlock Detection in Distributed Systems.
Computers and Their Applications 2003: 210-213 |
| 2001 |
|---|
| 21 | | Franck Cassez,
Claude Jard,
Brigitte Rozoy,
Mark Dermot Ryan:
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
Springer 2001 |
| 20 | | Patrick Augé,
Brigitte Rozoy,
T. Maurin,
Roger Reynaud,
Kamel Bouchefra:
Simulation and verification of an embedded system.
Computers and Their Applications 2001: 272-275 |
| 19 | EE | Dominique Ambroise,
Patrick Augé,
Kamel Bouchefra,
Brigitte Rozoy:
MARRELLA and the Verification of an Embedded System.
FoSSaCS 2001: 409-412 |
| 1999 |
|---|
| 18 | EE | Rémi Morin,
Brigitte Rozoy:
On the Semantics of Place/Transition Nets.
CONCUR 1999: 447-462 |
| 17 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
A General Categorical Connection between Local Event Structures and Local Traces.
FCT 1999: 338-349 |
| 1998 |
|---|
| 16 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
Event Structures for Local Traces.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 1997 |
|---|
| 15 | | Iabelle Biermann,
Brigitte Rozoy:
Reliable Generalized and Context Dependent Commutation Relations.
TAPSOFT 1997: 165-176 |
| 1996 |
|---|
| 14 | | Dominique Ambroise,
Brigitte Rozoy:
Marella: A Tool for Simulation and Verification.
CAV 1996: 458-461 |
| 13 | | Dominique Ambroise,
Brigitte Rozoy:
Using Events Structures for the Efficient Analysis of State Graphs (Abstract).
PODC 1996: 123 |
| 1994 |
|---|
| 12 | | Marc Roland Assous,
Vincent Bouchitté,
Christine Charretton,
Brigitte Rozoy:
Finite Labelling Problem in Event Structures.
Theor. Comput. Sci. 123(1): 9-19 (1994) |
| 1993 |
|---|
| 11 | | Paul Gastin,
Brigitte Rozoy:
The Poset of Infinitary Traces.
Theor. Comput. Sci. 120(1): 101-121 (1993) |
| 1992 |
|---|
| 10 | | Brigitte Rozoy:
On distributed languages and models for concurrency.
Advances in Petri Nets: The DEMON Project 1992: 267-291 |
| 9 | | Paul Gastin,
Edward Ochmanski,
Antoine Petit,
Brigitte Rozoy:
Decidability of the Star Problem in A* x {b}*.
Inf. Process. Lett. 44(2): 65-71 (1992) |
| 1991 |
|---|
| 8 | | Yves Métivier,
Brigitte Rozoy:
On the Star Operation in Free Partially Commutative Monoids.
Int. J. Found. Comput. Sci. 2(3): 257-265 (1991) |
| 7 | | Brigitte Rozoy,
P. S. Thiagarajan:
Event Structures and Trace Monoids.
Theor. Comput. Sci. 91(2): 285-313 (1991) |
| 1990 |
|---|
| 6 | | Brigitte Rozoy:
On Distributed Languages and Models for Distributed Computation.
Semantics of Systems of Concurrent Processes 1990: 434-456 |
| 1987 |
|---|
| 5 | | Didier Ferment,
Brigitte Rozoy:
Solutions for the Distributed Termination Problem.
Parallel Algorithms and Architectures 1987: 114-121 |
| 4 | | Brigitte Rozoy:
The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index
Inf. Comput. 74(1): 64-89 (1987) |
| 1986 |
|---|
| 3 | | Brigitte Rozoy:
Model and Complexity of Termination for Distributed Computations.
MFCS 1986: 564-572 |
| 2 | | Brigitte Rozoy:
Outils et Résultats Pour Les Transducteurs Boustrophedons.
ITA 20(3): 221-249 (1986) |
| 1985 |
|---|
| 1 | | Brigitte Rozoy:
About two-way transducers.
FCT 1985: 371-379 |
