Vui70
J. Vuillemin. Formalisation de la notion de structure de données,
Thèse de 3ème cycle, Paris, 1970.
Vui73b
J. Vuillemin. Proof techniques for recursive
programs, Ph.D. Dissertation, Computer Science Department, Stanford University,
disponible chez : Diss. Abst.
Int., 34:12, 1973.
HPV74c L. Hyafil,
F. Prusker and J. Vuillemin. Allocation optimale
et quasi-optimale de la mémoire centrale dans un tri par fusion sur
disque, Rapport IRIA/LABORIA, 85:10-22, 1974.
Vui75a
J. Vuillemin. Syntaxe, Sémantique et Axiomatique d'un langage de
programmation simple, Thèse d'État, Paris, 1975.
Vui75c
J. Vuillemin. Structures de données, Notes de cours de
l'école d'été IRIA, EDF, CEA, 1975.
NV75 M. Nivat and J. Vuillemin. Algebraic interpretations of recursive programs,
University of California at Berkeley, Computer Science, ERL memo 27:37-44,
1975.
HV75a L. Hyafil and J. Vuillemin. On sorting X + Y in X + Y comparisons, University of California at
Berkeley, Computer Science, ERL memo 32:8-18, 1975.
HV75b
G. Huet and J. Vuillemin. Manuel du langage Ralgol,
Notes LRI, 1975.
Vui76
J. Vuillemin. Manuel du langage MS, Notes LRI, 1976.
Vui77/78 J. Vuillemin. Notes de cours sur les algorithmes et
structures de données, Notes LRI, 1977/78.
CV
M.O. Cordier and J. Vuillemin. Notes sur l'élimination
systématique de la récursion,
Rapport LRI No 71.
CHLV83 J. Chailloux,
J-M. Hullot, J-J.
Levy and J. Vuillemin. Le
système LUCIFER d'aide à la conception de circuits
intégrés,
Rapport de Recherche INRIA No 196, Mars 1983.
HSV89 J-C. Hervé, B.
Serpette and J. Vuillemin. BigNum: a portable efficient package for arbitrary-precision arithmetic, PRL report 2, Digital Equipment Corp., Paris Research Laboratory, 85, Av.
Victor Hugo.
92563 Rueil-Malmaison Cedex, France, 1989.
CV89
B. Chen and J. Vuillemin. A fast binary image convolver, Internal PRL note, 1989.
BPV92 P. Bertin, J-Y. Parey
and J. Vuillemin. Proposition
d'enseignement d'approfondissement: Réalisation électronique, Notes de cours, Ecole
Polytechnique, 1992.
FVTV+93 O. Faugeras, T. Viéville, E. Théron, J. Vuillemin, B. Hotz, Z. Zhang, L. Moll, P. Bertin, H. Mathieu, P. Fua, G. Berry and C. Proy. Real
time correlation-based stereo:
Algorithm, implementations
and applications, Rapport de Recherche INRIA NO 2013, Institut National de
Recherche en Informatique et en Automatique, 2004, route des Lucioles, 06902
Sophia Antipolis Cedex, France, Août 1993.
Vui94b
J. Vuillemin. Specification for the
Transition Radiation Tracker on DECPeRLe,
CERN/EAST note 94-12, April 1, 1994, Centre pour l'Etude des
Réactions Nucléaires, Geneva, Switzerland.
LMBV94 L. Lundheim, L. Moll, P. Boucard, J. Vuillemin. TRT on
DecPeRLe-1 (june '94 version)
: Algorithm, Implementation, Test and Future. CERN/EAST note 94-20, August 12, 1994, European
Laboratory for High Energy Physics, 1211 Geneva 23, Switzerland.