| 2006 | 
| 6 | EE | Gilles Barthe,
Lennart Beringer,
Pierre Crégut,
Benjamin Grégoire,
Martin Hofmann,
Peter Müller,
Erik Poll,
Germán Puebla,
Ian Stark,
Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security.
TGC 2006: 10-29 | 
| 1998 | 
| 5 |   | Jean-Jacques Vandewalle,
Eric Vétillard:
Developing Smart Card-Based Applications Using Java Card.
CARDIS 1998: 105-124 | 
| 1996 | 
| 4 |   | Eric Vétillard:
Applications de la programmation logique avec contraintes aux problèmes de transport.
JFPLC 1996: 155- | 
| 1995 | 
| 3 |   | Eric Vétillard:
Vérification de déclarations en programmation logique avec contraintes.
JFPLC 1995: 333-335 | 
| 1994 | 
| 2 |   | Eric Vétillard:
Utilisation de Déclarations en Programmation Logique avec Contraintes.
JFPLC 1994: 127-142 | 
| 1992 | 
| 1 |   | Eric Vétillard:
Expériences de parallélisme en Prolog III.
JFPL 1992: 129-142 |