Jean-Vincent Loddo Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Vincent Loddo, Luca Saiu: How to Correctly Prune Tropical Trees. AISC/MKM/Calculemus 2010: 101-115
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Vincent Loddo, Luca Saiu: How to correctly prune tropical trees. CoRR abs/1005.1475 (2010)
2007
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo: Tree Components Programming: An Application to XML. ICTAC 2007: 139-153
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Vincent Loddo, Luca Saiu: Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". ML 2007: 59-70
2000
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Vincent Loddo, Roberto Di Cosmo: Playing Logic Programs with the Alpha-Beta Algorithm. LPAR 2000: 207-224
1998
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet: A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP 1998: 355-373
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319

Coauthor Index

1Roberto Di Cosmo
[c3] [c2]
2Pascal Coupey
[c5]
3Pierpaolo Degano
[c1]
4Christophe Fouqueré
[c5]
5Stephane Nicolet
[c2]
6Corrado Priami
[c1]
7Luca Saiu
[c6] [i1] [c4]

Colors in the list of coauthors

Last update Sat May 25 06:01:51 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page