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