dblp.uni-trier.dewww.uni-trier.de

Brigitte Rozoy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
27EEJoffroy 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
26EEJoffroy Beauquier, Julien Clement, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy: Self-stabilizing counting in mobile sensor networks. PODC 2007: 396-397
2005
25EEJoffroy Beauquier, Laurence Pilard, Brigitte Rozoy: Observing Locally Self-stabilization in a Probabilistic Way. DISC 2005: 399-413
24EEJoffroy Beauquier, Laurence Pilard, Brigitte Rozoy: Observing locally self-stabilization. J. High Speed Networks 14(1): 3-19 (2005)
2003
23 Dominique Ambroise, Brigitte Rozoy, Jean Saquet: Deadlock Detection in Distributed Systems. Computers and Their Applications 2003: 210-213
2001
22 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
21 Patrick Augé, Brigitte Rozoy, T. Maurin, Roger Reynaud, Kamel Bouchefra: Simulation and verification of an embedded system. Computers and Their Applications 2001: 272-275
20EEDominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412
1999
19EERémi Morin, Brigitte Rozoy: On the Semantics of Place/Transition Nets. CONCUR 1999: 447-462
18EEH. C. M. Kleijn, Rémi Morin, Brigitte Rozoy: A General Categorical Connection between Local Event Structures and Local Traces. FCT 1999: 338-349
1998
17EEH. C. M. Kleijn, Rémi Morin, Brigitte Rozoy: Event Structures for Local Traces. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
1997
16EEIabelle Biermann, Brigitte Rozoy: Reliable Generalized and Context Dependent Commutation Relations. TAPSOFT 1997: 165-176
1996
15EEDominique Ambroise, Brigitte Rozoy: Marella: A Tool for Simulation and Verification. CAV 1996: 458-461
14 Dominique Ambroise, Brigitte Rozoy: Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC 1996: 123
13EEDominique Ambroise, Brigitte Rozoy: Marrella: a Tool to Analyse the Graph of States. Parallel Processing Letters 6(4): 583-594 (1996)
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
10EEBrigitte 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
6EEBrigitte 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
3EEBrigitte 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

Coauthor Index

1Dominique Ambroise [13] [14] [15] [20] [23]
2Marc Roland Assous [12]
3Patrick Augé [20] [21]
4Joffroy Beauquier [24] [25] [26] [27]
5Iabelle Biermann [16]
6Kamel Bouchefra [20] [21]
7Vincent Bouchitté [12]
8Franck Cassez [22]
9Christine Charretton [12]
10Julien Clement [26] [27]
11Didier Ferment [5]
12Paul Gastin [9] [11]
13Claude Jard [22]
14Jetty Kleijn (H. C. M. Kleijn) [17] [18]
15T. Maurin [21]
16Stéphane Messika [26] [27]
17Yves Métivier [8]
18Rémi Morin [17] [18] [19]
19Edward Ochmanski [9]
20Antoine Petit [9]
21Laurence Pilard [24] [25]
22Roger Reynaud [21]
23Laurent Rosaz [26] [27]
24Mark Ryan (Mark Dermot Ryan) [22]
25Jean Saquet [23]
26P. S. Thiagarajan [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)