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