dblp.uni-trier.dewww.uni-trier.de

Eric Vétillard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEGilles 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

Coauthor Index

1Gilles Barthe [6]
2Lennart Beringer [6]
3Pierre Crégut [6]
4Benjamin Grégoire [6]
5Martin Hofmann [6]
6Peter Müller [6]
7Erik Poll [6]
8Germán Puebla (German Puebla) [6]
9Ian Stark [6]
10Jean-Jacques Vandewalle [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)