Publications 2004

Books

  1. Yves Bertot, Pierre Castéran. Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, Springer Verlag, 2004. details ppt

International Conferences

  1. Jérémie Chalopin, Yves Métivier. Election and Local Computations on Edges. In Foundations of Software Science and Computation Structures, Volume 2987, Pages 90-104, 2004. details ppt
  2. Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka. Election, Naming and Cellular Edge Local Computations. In Graph transformation International Conference on Graph Transformation (ICGT 2004) (EATCS best paper award), Lecture notes in computer science, Volume 3256, Pages 242-256, Italie, 2004. details ppt
  3. Bilel Derbel, Mohamed Mosbah. Fully Distributed Linear Time Algorithm for Cluster Network Decomposition. In 16th International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, PDCS 2004, Pages 548-53, Cambridge, MA, USA, 2004. details ppt
  4. Emmanuel Godard, Yves Métivier, Anca Muscholl. Characterizations of Classes of Graphs Recognizable by Local Computations. In Theory of Computing Systems, Volume 37(2), Pages 249-93, 2004. details ppt
  5. Mohamed Mosbah, Rodrigue Ossamy. A Programming Language for Local Computations in Graphs: Computational Completeness. In ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science, Pages 12-19, Washington, DC, USA, 2004. details ppt
  6. Mohamed Mosbah, Rodrigue Ossamy. Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. In ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science, Pages 35-42, Washington, DC, USA, 2004. details ppt
  7. Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Affif Sellami. Synchronizers for Local Computations. In Graph Transformations, Volume 3256, Pages 271-86, 2004. details ppt
  8. Mohamed Mosbah, Rodrigue Ossamy. A Programming Language for Local Computation Graphs. In MCSEAI'04, Eighth Maghrebian Conference on Software Engineering and Artificial Intelligence, Sousse, Tunisia, May 2004. details
  9. 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

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.