The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Colette Johnen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christine Choppy, Colette Johnen
    PETRIREVE: Proving Petri Net Properties with Rewriting Systems. [Citation Graph (1, 0)][DBLP]
    RTA, 1985, pp:271-286 [Conf]
  2. 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]
  3. 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]
  4. Maria Gradinariu, Colette Johnen
    Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2001, pp:458-465 [Conf]
  5. 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]
  6. 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]
  7. Lisa Higham, Colette Johnen
    Relationships between communication models in networks using atomic registers. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  8. Colette Johnen, Le Huy Nguyen
    Robust Self-stabilizing Clustering Algorithm. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2006, pp:410-424 [Conf]
  9. Ivan Lavallée, Christian Lavault, Colette Johnen
    Fair and Reliable Self-stabilizing Communication. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2000, pp:163-176 [Conf]
  10. 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]
  11. Colette Johnen
    Memory Efficient, Self-Stabilizing Algorithm to Construct BFS Spanning Trees. [Citation Graph (0, 0)][DBLP]
    PODC, 1997, pp:288- [Conf]
  12. 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]
  13. 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]
  14. Colette Johnen, Sébastien Tixeuil
    Route Preserving Stabilization. [Citation Graph (0, 0)][DBLP]
    Self-Stabilizing Systems, 2003, pp:184-198 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Colette Johnen
    Memory-efficient self-stabilizing algorithm to construct BFS spanning trees. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:125-140 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Kajari Ghosh Dastidar, Ted Herman, Colette Johnen
    Safe Peer-to-Peer Self-downloading. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:324-334 [Conf]
  28. 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]
  29. 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]

  30. Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. [Citation Graph (, )][DBLP]


  31. Analyze of Probabilistic Algorithms under Indeterministic Scheduler. [Citation Graph (, )][DBLP]


  32. Self-Stabilizing Construction of Bounded Size Clusters. [Citation Graph (, )][DBLP]


  33. Fault-tolerant implementations of atomic registers by safe registers in networks. [Citation Graph (, )][DBLP]


  34. Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. [Citation Graph (, )][DBLP]


  35. Fault-Tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.038secs
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