Publications of Vincent Filou

Load the BibTeX file

Academic Journals

  1. Pierre Castéran, Vincent Filou. Tasks, types and tactics for local computation systems. Studia Informatica Universalis, http://studia.complexica.net/Art/RI090102.pdf, 9.1:39-86, 2011. details ppt

International Conferences

  1. Pierre Castéran, Vincent Filou. Tâches, types et tactiques pour les systèmes de calculs locaux. In Journées Francophones des Langages Applicatifs, 2010. details
  2. Pierre Castéran, Vincent Filou. Tâches, types et tactiques pour les systèmes de calculs locaux. In Actes des vingt-et-unièmes Journées Francophones des Langages Applicatifs, Ivan Lavallée (ed.), Studia Informatica Universalis, Pages 83-110, La Ciotat, France, March 2010. details ppt
  3. Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Symbolic Computation in Software Science (SCSS'09), 2009. details
  4. Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Proceedings of Symbolic Computation in Software Science (SCSS 2009) Symbolic Computation in Software Science (SCSS 2009), Tunisie, 2009. details ppt

Research Reports

  1. Pierre Castéran, Vincent Filou, Mohamed Mosbah. Formal Proofs of Local Computation Systems. March 2009. details pdf

Misc

  1. Pierre Castéran, Vincent Filou. Loco: A Coq Library on Local Computation Systems. http://www.labri.fr/$\sim$casteran/Loco, 0. details

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.