Books & Course Notes


Notes & unpublished reports


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 DECPeRLetex2html_wrap_inline656, 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.

 


Jean Vuillemin