The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mohamed Mosbah: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bruno Courcelle, Mohamed Mosbah
    Monadic Second-Order Evaluations on Tree-Decomposable Graphs. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:49-82 [Journal]
  2. Brahim Hamid, Mohamed Mosbah
    A Local Self-stabilizing Enumeration Algorithm. [Citation Graph (0, 0)][DBLP]
    DAIS, 2006, pp:289-302 [Conf]
  3. Mohamed Mosbah, Rodrigue Ossamy
    A Programming Language for Local Computations in Graphs: Computational Completeness. [Citation Graph (0, 0)][DBLP]
    ENC, 2004, pp:12-19 [Conf]
  4. Mohamed Mosbah, Rodrigue Ossamy
    Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. [Citation Graph (0, 0)][DBLP]
    ENC, 2004, pp:35-42 [Conf]
  5. Nicolas Bonichon, Stefan Felsner, Mohamed Mosbah
    Convex Drawings of 3-Connected Plane Graphs. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 2004, pp:60-70 [Conf]
  6. Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami
    Termination Detection of Distributed Algorithms by Graph Relabelling Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:106-119 [Conf]
  7. Yves Métivier, Mohamed Mosbah
    Workshop on Graph Computation Models. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:463-464 [Conf]
  8. Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami
    Synchronizers for Local Computations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:271-286 [Conf]
  9. Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
    Wagner's Theorem on Realizers. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:1043-1053 [Conf]
  10. Bilel Derbel, Mohamed Mosbah, Akka Zemmari
    Fast distributed graph partition and application. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  11. Bilel Derbel, Mohamed Mosbah
    Distributing the Execution of a Distributed Algorithm over a Network. [Citation Graph (0, 0)][DBLP]
    IV, 2003, pp:485-490 [Conf]
  12. Brahim Hamid, Mohamed Mosbah
    Visualization of Self-Stabilizing Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    IV, 2005, pp:550-555 [Conf]
  13. Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier, Stefan Gruner
    A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2001, pp:141-158 [Conf]
  14. Brahim Hamid, Mohamed Mosbah
    An Implementation of a Failure Detector for Local Computations in Graphs. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Networks, 2005, pp:473-478 [Conf]
  15. Brahim Hamid, Mohamed Mosbah
    A Formal Model for Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:108-121 [Conf]
  16. Brahim Hamid, Mohamed Mosbah
    An Automatic Approach to Self-Stabilization. [Citation Graph (0, 0)][DBLP]
    SNPD, 2005, pp:123-128 [Conf]
  17. Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
    Optimal Area Algorithm for Planar Polyline Drawings. [Citation Graph (0, 0)][DBLP]
    WG, 2002, pp:35-46 [Conf]
  18. Bruno Courcelle, Mohamed Mosbah
    Monadic Second-Order Evaluations on Tree-Decomposable Graphs. [Citation Graph (0, 0)][DBLP]
    WG, 1991, pp:13-24 [Conf]
  19. Mohamed Mosbah
    Probabilistic Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WG, 1992, pp:236-247 [Conf]
  20. Mohamed Mosbah, Nasser Saheb
    A Syntactic Approach to Random Walks on Graphs. [Citation Graph (0, 0)][DBLP]
    WG, 1997, pp:258-272 [Conf]
  21. Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
    Orthogonal drawings based on the stratification of planar graphs. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2004, v:276, n:1-3, pp:43-57 [Journal]
  22. Mohamed Mosbah, Nasser Saheb
    Formal rational fractions and random walks on cycles. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2000, v:217, n:1-3, pp:301-313 [Journal]
  23. Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami
    Visualization of Distributed Algorithms Based on Graph Relabelling Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  24. Michel Bauderon, Mohamed Mosbah
    A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
  25. Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami
    Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  26. Bilel Derbel, Mohamed Mosbah
    Distributed Graph Traversals by Relabelling Systems with Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:79-94 [Journal]
  27. Mohamed Mosbah
    Probabilistic Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:26, n:3/4, pp:341-362 [Journal]
  28. Nicolas Bonichon, Mohamed Mosbah
    Watermelon uniform random generation with applications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:307, n:2, pp:241-256 [Journal]
  29. Mohamed Mosbah
    Probabilistic Hyperedge Replacement Grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:159, n:1, pp:81-102 [Journal]
  30. Mohamed Mosbah, Nasser Saheb
    Non-Uniform Random Spanning Trees on Weighted Graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:218, n:2, pp:263-271 [Journal]
  31. Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
    Distributed Local 2-Connectivity Test of Graphs and Applications. [Citation Graph (0, 0)][DBLP]
    ISPA, 2007, pp:195-207 [Conf]
  32. Nicolas Bonichon, Stefan Felsner, Mohamed Mosbah
    Convex Drawings of 3-Connected Plane Graphs. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 2007, v:47, n:4, pp:399-420 [Journal]

  33. Electing a leader in the local computation model using mobile agents. [Citation Graph (, )][DBLP]


  34. Simplification de données de vol pour un stockage optimal et une visualisation accélérée. [Citation Graph (, )][DBLP]


  35. Mobile Agents Implementing Local Computations in Graphs. [Citation Graph (, )][DBLP]


  36. Workshop on Graph Computation Models. [Citation Graph (, )][DBLP]


  37. Evaluating the Efficiency of Clustering on Routing and Network Performance. [Citation Graph (, )][DBLP]


  38. A Synchronous Tiered Based Clustering Algorithm for large-scale Ad hoc Networks. [Citation Graph (, )][DBLP]


  39. A Self-stabilizing Distributed Algorithm for Resolving Conflicts. [Citation Graph (, )][DBLP]


  40. A Distributed Computational Model for Mobile Agents. [Citation Graph (, )][DBLP]


  41. A Generic Distributed Algorithm for Computing by Random Mobile Agents. [Citation Graph (, )][DBLP]


  42. A Domain Specific Language for Securing Distributed Systems. [Citation Graph (, )][DBLP]


  43. Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. [Citation Graph (, )][DBLP]


  44. A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. [Citation Graph (, )][DBLP]


  45. A DSL Framework for Policy-Based Security of Distributed Systems. [Citation Graph (, )][DBLP]


  46. Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. [Citation Graph (, )][DBLP]


  47. A formal security framework for mobile agent systems: Specification and verification. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.282secs
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