×

zbMATH — the first resource for mathematics

Rozoy, Brigitte

Compute Distance To:
Author ID: rozoy.brigitte Recent zbMATH articles by "Rozoy, Brigitte"
Published as: Rozoy, B.; Rozoy, Brigitte
Documents Indexed: 20 Publications since 1985, including 1 Book

Publications by Year

Citations contained in zbMATH

11 Publications have been cited 44 times in 39 Documents Cited by Year
The poset of infinitary traces. Zbl 0787.68056
Gastin, Paul; Rozoy, Brigitte
9
1993
Event structures and trace monoids. Zbl 0756.68036
Rozoy, Brigitte; Thiagarajan, P. S.
8
1991
Self-stabilizing counting in mobile sensor networks with a base station. Zbl 1145.68343
Beauquier, Joffroy; Clement, Julien; Messika, Stephane; Rosaz, Laurent; Rozoy, Brigitte
6
2007
Finite labelling problem in event structures. Zbl 0801.68057
Assous, Marc Roland; Bouchitté, Vincent; Charretton, Christine; Rozoy, Brigitte
5
1994
Self-stabilizing counting in mobile sensor networks. Zbl 1283.68078
Beauquier, Joffroy; Clement, Julien; Messika, Stephane; Rosaz, Laurent; Rozoy, Brigitte
4
2007
The Dyck language \(D_ 1^{'*}\) is not generated by any matrix grammar of finite index. Zbl 0638.68067
Rozoy, Brigitte
4
1987
On the star operation in free partially commutative monoids. Zbl 0801.20041
Métivier, Yves; Rozoy, Brigitte
3
1991
Decidability of the star problem in \(A^*\times{}\{ b\}^*\). Zbl 0759.68050
Gastin, Paul; Ochmanski, Edward; Petit, Antoine; Rozoy, Brigitte
2
1992
Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19–23, 2000. Revised tutorial lectures. Zbl 0974.00044
Cassez, Franck (ed.); Jard, Claude (ed.); Rozoy, Brigitte (ed.); Ryan, Mark Dermot (ed.)
1
2001
Outils et résultats pour les transducteurs boustrophedons. Zbl 0617.68073
Rozoy, Brigitte
1
1986
About two-way transducers. Zbl 0574.68067
Rozoy, B.
1
1985
Self-stabilizing counting in mobile sensor networks with a base station. Zbl 1145.68343
Beauquier, Joffroy; Clement, Julien; Messika, Stephane; Rosaz, Laurent; Rozoy, Brigitte
6
2007
Self-stabilizing counting in mobile sensor networks. Zbl 1283.68078
Beauquier, Joffroy; Clement, Julien; Messika, Stephane; Rosaz, Laurent; Rozoy, Brigitte
4
2007
Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19–23, 2000. Revised tutorial lectures. Zbl 0974.00044
Cassez, Franck (ed.); Jard, Claude (ed.); Rozoy, Brigitte (ed.); Ryan, Mark Dermot (ed.)
1
2001
Finite labelling problem in event structures. Zbl 0801.68057
Assous, Marc Roland; Bouchitté, Vincent; Charretton, Christine; Rozoy, Brigitte
5
1994
The poset of infinitary traces. Zbl 0787.68056
Gastin, Paul; Rozoy, Brigitte
9
1993
Decidability of the star problem in \(A^*\times{}\{ b\}^*\). Zbl 0759.68050
Gastin, Paul; Ochmanski, Edward; Petit, Antoine; Rozoy, Brigitte
2
1992
Event structures and trace monoids. Zbl 0756.68036
Rozoy, Brigitte; Thiagarajan, P. S.
8
1991
On the star operation in free partially commutative monoids. Zbl 0801.20041
Métivier, Yves; Rozoy, Brigitte
3
1991
The Dyck language \(D_ 1^{'*}\) is not generated by any matrix grammar of finite index. Zbl 0638.68067
Rozoy, Brigitte
4
1987
Outils et résultats pour les transducteurs boustrophedons. Zbl 0617.68073
Rozoy, Brigitte
1
1986
About two-way transducers. Zbl 0574.68067
Rozoy, B.
1
1985

Citations by Year