Publications of Michel Bauderon
Load the BibTeX file
Academic Journals
- Michel Bauderon, Mohamed Mosbah. A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. Electronic Notes in Theoretical Computer Science, GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation), 72(3):13-24, 2003.
- Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. Graph Relabelling Systems: A Tool for Encoding, Proving, Studying and Visualizing Distributed Algorithms. Electronic Notes in Theoretical Computer Science, GETGRATS Closing Workshop, 51(0):93-107, 2002.
International Conferences
- Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Affif Sellami. Visualization of Distributed Algorithms Based on Labeled Rewriting Systems. In Second International Workshop on Graph Transformation and Visual Modeling Techniques, Volume 50(3), Pages 229-39, Crete, Greece, July 2001.
- Michel Bauderon, Stefan Gruner, Mohamed Mosbah. A New Tool for the Simulation And Visualization of Distributed Algorithms. In MFI'01, Volume I, Pages 165-77, Toulouse, France, May 2001.
Misc
- Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. From Local Computations to Asynchronous Message Passing Systems. 2002.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.