Search the dblp DataBase
Colette Johnen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christine Choppy , Colette Johnen PETRIREVE: Proving Petri Net Properties with Rewriting Systems. [Citation Graph (1, 0)][DBLP ] RTA, 1985, pp:271-286 [Conf ] Colette Johnen , Le Huy Nguyen Self-stabilizing Weight-Based Clustering Algorithm for Ad Hoc Sensor Networks. [Citation Graph (0, 0)][DBLP ] ALGOSENSORS, 2006, pp:83-94 [Conf ] Gérard Berthelot , Colette Johnen , Laure Petrucci PAPETRI: Environment for the Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP ] CAV, 1990, pp:13-22 [Conf ] Maria Gradinariu , Colette Johnen Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2001, pp:458-465 [Conf ] Colette Johnen , Luc Onana Alima , Ajoy Kumar Datta , Sébastien Tixeuil Self-Stabilizing Neighborhood Synchronizer in Tree Networks. [Citation Graph (0, 0)][DBLP ] ICDCS, 1999, pp:487-494 [Conf ] Colette Johnen Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on Unidirectional Rings. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Lisa Higham , Colette Johnen Relationships between communication models in networks using atomic registers. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] Colette Johnen , Le Huy Nguyen Robust Self-stabilizing Clustering Algorithm. [Citation Graph (0, 0)][DBLP ] OPODIS, 2006, pp:410-424 [Conf ] Ivan Lavallée , Christian Lavault , Colette Johnen Fair and Reliable Self-stabilizing Communication. [Citation Graph (0, 0)][DBLP ] OPODIS, 2000, pp:163-176 [Conf ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen Memory Space Requirements for Self-Stabilizing Leader Election Protocols. [Citation Graph (0, 0)][DBLP ] PODC, 1999, pp:199-207 [Conf ] Colette Johnen Memory Efficient, Self-Stabilizing Algorithm to Construct BFS Spanning Trees. [Citation Graph (0, 0)][DBLP ] PODC, 1997, pp:288- [Conf ] Ajoy Kumar Datta , Colette Johnen , Franck Petit , Vincent Villain Self-stabilizing depth-first token circulation in arbitrary rooted networks. [Citation Graph (0, 0)][DBLP ] SIROCCO, 1998, pp:229-243 [Conf ] Colette Johnen Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings. [Citation Graph (0, 0)][DBLP ] SRDS, 2002, pp:80-0 [Conf ] Colette Johnen , Sébastien Tixeuil Route Preserving Stabilization. [Citation Graph (0, 0)][DBLP ] Self-Stabilizing Systems, 2003, pp:184-198 [Conf ] Faith E. Fich , Colette Johnen A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings. [Citation Graph (0, 0)][DBLP ] DISC, 2001, pp:224-239 [Conf ] Colette Johnen , Gianluigi Alari , Joffroy Beauquier , Ajoy Kumar Datta Self-Stabilizing Depth-First Token Passing on Rooted Networks. [Citation Graph (0, 0)][DBLP ] WDAG, 1997, pp:260-274 [Conf ] Joffroy Beauquier , Colette Johnen , Stéphane Messika Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. [Citation Graph (0, 0)][DBLP ] DISC, 2006, pp:543-547 [Conf ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. [Citation Graph (0, 0)][DBLP ] WSS, 2001, pp:19-34 [Conf ] Colette Johnen Memory-efficient self-stabilizing algorithm to construct BFS spanning trees. [Citation Graph (0, 0)][DBLP ] WSS, 1997, pp:125-140 [Conf ] Ajoy Kumar Datta , Colette Johnen , Franck Petit , Vincent Villain Self-stabilizing depth-first token circulation in arbitrary rooted networks. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2000, v:13, n:4, pp:207-218 [Journal ] Ted Herman , Colette Johnen Strategies for peer-to-peer downloading. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:94, n:5, pp:203-209 [Journal ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen , Jérôme Olivier Durand-Lose Token-Based Self-Stabilizing Uniform Algorithms. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2002, v:62, n:5, pp:899-921 [Journal ] Colette Johnen , Luc Onana Alima , Ajoy Kumar Datta , Sébastien Tixeuil Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 2002, v:12, n:3-4, pp:327-340 [Journal ] Colette Johnen , Ivan Lavallée , Christian Lavault Reliable Self-Stabilizing Communication for Quasi Rendezvous. [Citation Graph (0, 0)][DBLP ] Stud. Inform. Univ., 2001, v:1, n:1, pp:59-76 [Journal ] Colette Johnen , Franck Petit , Sébastien Tixeuil Autostabilisation et protocoles réseau. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2004, v:23, n:8, pp:1027-1056 [Journal ] Joffroy Beauquier , Colette Johnen , Stéphane Messika All k -Bounded Policies Are Equivalent for Self-stabilization. [Citation Graph (0, 0)][DBLP ] SSS, 2006, pp:82-94 [Conf ] Kajari Ghosh Dastidar , Ted Herman , Colette Johnen Safe Peer-to-Peer Self-downloading. [Citation Graph (0, 0)][DBLP ] SSS, 2006, pp:324-334 [Conf ] Colette Johnen , Lisa Higham Fault-Tolerant Implementations of the Atomic-State Communication Model in Weaker Networks. [Citation Graph (0, 0)][DBLP ] DISC, 2007, pp:485-487 [Conf ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2007, v:20, n:1, pp:75-93 [Journal ] Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. [Citation Graph (, )][DBLP ] Analyze of Probabilistic Algorithms under Indeterministic Scheduler. [Citation Graph (, )][DBLP ] Self-Stabilizing Construction of Bounded Size Clusters. [Citation Graph (, )][DBLP ] Fault-tolerant implementations of atomic registers by safe registers in networks. [Citation Graph (, )][DBLP ] Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. [Citation Graph (, )][DBLP ] Fault-Tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.307secs