Search the dblp DataBase
Mohamed Mosbah :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Brahim Hamid , Mohamed Mosbah A Local Self-stabilizing Enumeration Algorithm. [Citation Graph (0, 0)][DBLP ] DAIS, 2006, pp:289-302 [Conf ] 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 ] 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 ] 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 ] 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 ] Yves Métivier , Mohamed Mosbah Workshop on Graph Computation Models. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:463-464 [Conf ] Yves Métivier , Mohamed Mosbah , Rodrigue Ossamy , Afif Sellami Synchronizers for Local Computations. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:271-286 [Conf ] Nicolas Bonichon , Bertrand Le Saëc , Mohamed Mosbah Wagner's Theorem on Realizers. [Citation Graph (0, 0)][DBLP ] ICALP, 2002, pp:1043-1053 [Conf ] Bilel Derbel , Mohamed Mosbah , Akka Zemmari Fast distributed graph partition and application. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] 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 ] Brahim Hamid , Mohamed Mosbah Visualization of Self-Stabilizing Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] IV, 2005, pp:550-555 [Conf ] 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 ] 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 ] Brahim Hamid , Mohamed Mosbah A Formal Model for Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:108-121 [Conf ] Brahim Hamid , Mohamed Mosbah An Automatic Approach to Self-Stabilization. [Citation Graph (0, 0)][DBLP ] SNPD, 2005, pp:123-128 [Conf ] 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 ] Bruno Courcelle , Mohamed Mosbah Monadic Second-Order Evaluations on Tree-Decomposable Graphs. [Citation Graph (0, 0)][DBLP ] WG, 1991, pp:13-24 [Conf ] Mohamed Mosbah Probabilistic Graph Grammars. [Citation Graph (0, 0)][DBLP ] WG, 1992, pp:236-247 [Conf ] Mohamed Mosbah , Nasser Saheb A Syntactic Approach to Random Walks on Graphs. [Citation Graph (0, 0)][DBLP ] WG, 1997, pp:258-272 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Mohamed Mosbah Probabilistic Graph Grammars. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:26, n:3/4, pp:341-362 [Journal ] 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 ] Mohamed Mosbah Probabilistic Hyperedge Replacement Grammars. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:159, n:1, pp:81-102 [Journal ] 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 ] 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 ] 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 ] Electing a leader in the local computation model using mobile agents. [Citation Graph (, )][DBLP ] Simplification de données de vol pour un stockage optimal et une visualisation accélérée. [Citation Graph (, )][DBLP ] Mobile Agents Implementing Local Computations in Graphs. [Citation Graph (, )][DBLP ] Workshop on Graph Computation Models. [Citation Graph (, )][DBLP ] Evaluating the Efficiency of Clustering on Routing and Network Performance. [Citation Graph (, )][DBLP ] A Synchronous Tiered Based Clustering Algorithm for large-scale Ad hoc Networks. [Citation Graph (, )][DBLP ] A Self-stabilizing Distributed Algorithm for Resolving Conflicts. [Citation Graph (, )][DBLP ] A Distributed Computational Model for Mobile Agents. [Citation Graph (, )][DBLP ] A Generic Distributed Algorithm for Computing by Random Mobile Agents. [Citation Graph (, )][DBLP ] A Domain Specific Language for Securing Distributed Systems. [Citation Graph (, )][DBLP ] Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. [Citation Graph (, )][DBLP ] A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. [Citation Graph (, )][DBLP ] A DSL Framework for Policy-Based Security of Distributed Systems. [Citation Graph (, )][DBLP ] Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. [Citation Graph (, )][DBLP ] A formal security framework for mobile agent systems: Specification and verification. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.282secs