Brigitte Rozoy

Available identifiers

Publication	Date of Publication	Type
Self-stabilizing counting in mobile sensor networks	2014-03-13	Paper
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station	2008-09-02	Paper
Distributed Computing	2006-11-01	Paper
A method for the verification of a distributed and synchronized algorithm	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2769448	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4934342	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4270074	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4223009	1999-01-07	Paper
Finite labelling problem in event structures	1994-12-04	Paper
The poset of infinitary traces	1993-12-20	Paper
Decidability of the star problem in \(A^\times{}\{ b\}^\)	1993-01-17	Paper
ON THE STAR OPERATION IN FREE PARTIALLY COMMUTATIVE MONOIDS	1992-09-27	Paper
Event structures and trace monoids	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3792233	1988-01-01	Paper
The Dyck language \(D_ 1^{'*}\) is not generated by any matrix grammar of finite index	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3763576	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725762	1986-01-01	Paper
Outils et résultats pour les transducteurs boustrophédons	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3692894	1985-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Brigitte Rozoy