`Travelled to:`

1 × Ireland

1 × Italy

1 × United Kingdom

3 × Spain

`Collaborated with:`

Y.Métivier A.Sellami S.Gruner D.Méry M.Tounsi B.Derbel N.Bonichon B.L.Saëc A.B.Zakour M.Sistiaga S.Maabout R.Ossamy E.Godard M.Bauderon

`Talks about:`

algorithm (3) local (3) graph (3) distribut (2) synchron (2) relabel (2) system (2) comput (2) base (2) constraint (1)

## Person: Mohamed Mosbah

### DBLP: Mosbah:Mohamed

### Facilitated 2 volumes:

### Contributed to:

### Wrote 7 papers:

- FM-2011-MeryMT #algorithm #verification
- Refinement-Based Verification of Local Synchronization Algorithms (DM, MM, MT), pp. 338–352.
- KDIR-2010-ZakourSMM #constraints
- Time Constraints Extension on Frequent Sequential Patterns (ABZ, MS, SM, MM), pp. 281–287.
- ICGT-2008-DerbelMG #graph #implementation #mobile
- Mobile Agents Implementing Local Computations in Graphs (BD, MM, SG), pp. 99–114.
- ICGT-2004-MetivierMOS
- Synchronizers for Local Computations (YM, MM, RO, AS), pp. 271–286.
- ICALP-2002-BonichonSM #theorem
- Wagner’s Theorem on Realizers (NB, BLS, MM), pp. 1043–1053.
- ICGT-2002-GodardMMS #algorithm #detection #distributed #graph #termination
- Termination Detection of Distributed Algorithms by Graph Relabelling Systems (EG, YM, MM, AS), pp. 106–119.
- GT-VMT-2001-BauderonGMMS #algorithm #distributed #graph #visualisation
- Visualization of Distributed Algorithms Based on Graph Relabelling Systems (MB, SG, YM, MM, AS), pp. 227–237.