The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brigitte Rozoy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Dominique Ambroise, Brigitte Rozoy
    Marella: A Tool for Simulation and Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:458-461 [Conf]
  5. Rémi Morin, Brigitte Rozoy
    On the Semantics of Place/Transition Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:447-462 [Conf]
  6. 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]
  7. Brigitte Rozoy
    About two-way transducers. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:371-379 [Conf]
  8. 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]
  9. 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]
  10. Brigitte Rozoy
    Model and Complexity of Termination for Distributed Computations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:564-572 [Conf]
  11. Didier Ferment, Brigitte Rozoy
    Solutions for the Distributed Termination Problem. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms and Architectures, 1987, pp:114-121 [Conf]
  12. 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]
  13. Iabelle Biermann, Brigitte Rozoy
    Reliable Generalized and Context Dependent Commutation Relations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:165-176 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002