default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBrigitte Rozoy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[c20]Adrien Rémy, Marc Baboulin, Masha Sosonkina, Brigitte Rozoy:
Locality Optimization on a NUMA Architecture for Hybrid LU Factorization. PARCO 2013: 153-162- 2012
- [c19]Pierre Estérie, Mathias Gaunard, Joel Falcou, Jean-Thierry Lapresté, Brigitte Rozoy:
Boost.SIMD: generic programming for portable SIMDization. PACT 2012: 431-432 - [c18]Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy:
Non-deterministic Population Protocols. OPODIS 2012: 61-75 - 2011
- [j11]Julien Clément, Stéphane Messika, Brigitte Rozoy:
Observer des algorithmes autostabilisants. Vers une valuation du co. Tech. Sci. Informatiques 30(1): 35-57 (2011)
2000 – 2009
- 2007
- [c17]Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy:
Self-stabilizing counting in mobile sensor networks. PODC 2007: 396-397 - [c16]Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy:
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. DISC 2007: 63-76 - 2006
- [j10]Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy:
Observing Locally Self-Stabilization in a Probabilistic Way. J. Aerosp. Comput. Inf. Commun. 3(10): 516-537 (2006) - 2005
- [j9]Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy:
Observing locally self-stabilization. J. High Speed Networks 14(1): 3-19 (2005) - [c15]Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy:
Observing Locally Self-stabilization in a Probabilistic Way. DISC 2005: 399-413 - 2003
- [c14]Dominique Ambroise, Brigitte Rozoy, Jean Saquet:
Deadlock Detection in Distributed Systems. CATA 2003: 210-213 - 2001
- [c13]Patrick Augé, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra:
Simulation and verification of an embedded system. CATA 2001: 272-275 - [c12]Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy:
MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412 - [e1]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. Lecture Notes in Computer Science 2067, Springer 2001, ISBN 3-540-42787-2 [contents]
1990 – 1999
- 1999
- [c11]Rémi Morin, Brigitte Rozoy:
On the Semantics of Place/Transition Nets. CONCUR 1999: 447-462 - [c10]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
- [c9]H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy:
Event Structures for Local Traces. EXPRESS 1998: 98-113 - 1997
- [c8]Iabelle Biermann, Brigitte Rozoy:
Reliable Generalized and Context Dependent Commutation Relations. TAPSOFT 1997: 165-176 - 1996
- [j8]Dominique Ambroise, Brigitte Rozoy:
Marrella: a Tool to Analyse the Graph of States. Parallel Process. Lett. 6(4): 583-594 (1996) - [c7]Dominique Ambroise, Brigitte Rozoy:
Marella: A Tool for Simulation and Verification. CAV 1996: 458-461 - [c6]Dominique Ambroise, Brigitte Rozoy:
Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC 1996: 123 - 1995
- [c5]Iabelle Biermann, Brigitte Rozoy:
Graphs for Generalized Traces. STRICT 1995: 101-115 - 1994
- [j7]Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy:
Finite Labelling Problem in Event Structures. Theor. Comput. Sci. 123(1): 9-19 (1994) - 1993
- [j6]Paul Gastin, Brigitte Rozoy:
The Poset of Infinitary Traces. Theor. Comput. Sci. 120(1): 101-121 (1993) - 1992
- [j5]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) - [p1]Brigitte Rozoy:
On distributed languages and models for concurrency. Advances in Petri Nets: The DEMON Project 1992: 267-291 - 1991
- [j4]Yves Métivier, Brigitte Rozoy:
On the Star Operation in Free Partially Commutative Monoids. Int. J. Found. Comput. Sci. 2(3): 257-265 (1991) - [j3]Brigitte Rozoy, P. S. Thiagarajan:
Event Structures and Trace Monoids. Theor. Comput. Sci. 91(2): 285-313 (1991) - 1990
- [c4]Brigitte Rozoy:
On Distributed Languages and Models for Distributed Computation. Semantics of Systems of Concurrent Processes 1990: 434-456
1980 – 1989
- 1987
- [j2]Brigitte Rozoy:
The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index. Inf. Comput. 74(1): 64-89 (1987) - [c3]Didier Ferment, Brigitte Rozoy:
Solutions for the Distributed Termination Problem. Parallel Algorithms and Architectures 1987: 114-121 - 1986
- [j1]Brigitte Rozoy:
Outils et Résultats Pour Les Transducteurs Boustrophedons. RAIRO Theor. Informatics Appl. 20(3): 221-249 (1986) - [c2]Brigitte Rozoy:
Model and Complexity of Termination for Distributed Computations. MFCS 1986: 564-572 - 1985
- [c1]Brigitte Rozoy:
About two-way transducers. FCT 1985: 371-379
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
