Publications of Afif Sellami

Load the BibTeX file

Academic Journals

  1. 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. details ppt

International Conferences

  1. Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Affif Sellami. Synchronizers for Local Computations. In Graph Transformations, Volume 3256, Pages 271-86, 2004. details ppt
  2. Mohamed Mosbah, Affif Sellami. Visidia: un environnement général pour étudier et implémenter les algorithmes distribués. In MCSEAI'04, Eighth Maghrebian Conference on Software Engineering and Artificial Intelligence, Sousse, Tunisia, May 2004. details
  3. Mohamed Mosbah, Affif Sellami. Un modèle général pour l'étude, l'implémentation et la visualisation d'algorithmes distribués. In Conférence Internationale Sciences Electroniques, Technologies de l'Information et des Técommunications (SETIT 2002), IEEE, Sousse, Tunisia, March 2003. details
  4. Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami. Termination Detection of Distributed Algorithms by Graph Relabelling Systems. In ICGT '02: Proceedings of the First International Conference on Graph Transformation, Pages 106-119, London, UK, 2002. details ppt
  5. Yves Métivier, Mohamed Mosbah, Affif Sellami. Proving Distributed Algorithms by Graph Relabelling Systems: Examples of Trees in Networks with Processor Identities. In AGT2002, ETAPS, Grenoble, France, April 2002. details ps
  6. Mohamed Mosbah, Affif Sellami. Implementation of an Enumeration Protocol Algorithm Using Local Graph Computations. In Second International Workshop on Graph Transformation and Visual Modeling Techniques, Crete, Greece, July 2001. details ps
  7. 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. details ps

Misc

  1. Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. From Local Computations to Asynchronous Message Passing Systems. 2002. details ps

Thesis

  1. Afif Sellami. Des calculs locaux aux algorithmes distribués. PhD Thesis Université Bordeaux I, Talence, France, 2004. details pdf

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.