Selected publications by Jules Villard
Journals
- LV10
-
É. Lozes and J. Villard. A spatial equational logic for the applied π-calculus. Distributed Computing 23(1), pages 61-83, 2010. ( PDF | BibTeX + Abstract )
Conferences
- JLTV11
-
F. Jacquemard, É. Lozes, R. Treinen and J. Villard. Multiple Congruence Relations, First-Order Theories on Terms, and the
Frames of the Applied Pi-Calculus. In TOSCA'11. 2011. To appear. ( PDF | BibTeX + Abstract )
- VLC10
-
J. Villard, É. Lozes and C. Calcagno. Tracking Heaps that Hop with Heap-Hop. In TACAS'10, LNCS 6015, pages 275-279. Springer, 2010. ( PDF | BibTeX + Abstract )
- VLC09
-
J. Villard, É. Lozes and C. Calcagno. Proving Copyless Message Passing. In APLAS'09, LNCS 5904, pages 194-209. Springer, 2009. ( PDF | BibTeX + Abstract )
- LV08
-
É. Lozes and J. Villard. A Spatial Equational Logic for the Applied π-Calculus. In CONCUR'08, LNCS 5201, pages 387-401. Springer, 2008. ( PDF | BibTeX + Abstract )
Theses
- Vil11
-
J. Villard. Heaps and Hops. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan,
France, February 2011. ( PDF | BibTeX + Abstract )
Other Publications
- VL11
-
J. Villard and É. Lozes. Heap-Hop, 2011. ( Web page | BibTeX + Abstract )
- VLT08
-
J. Villard, É. Lozes and R. Treinen. A Spatial Equational Logic for the Applied pi-calculus. Research Report LSV-08-10, Laboratoire Spécification et Vérification, ENS Cachan,
France, March 2008. 44 pages. ( PDF | BibTeX + Abstract )
- Vil07
-
J. Villard. Logique spatiale pour le pi-calcul appliqué. Rapport de Master, Master Parisien de Recherche en Informatique, Paris,
France, September 2007. ( PDF | BibTeX )