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:
EdEdContributed to:
2011
2010
20082004
20022002
2001Wrote 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.