Fixpoint Approach to the Theory of Computation. - Zohar Manna; Jean Vuillemin (ICALP, 1972)

Inductive methods for proving properties of programs. - Zohar Manna; Stephen Nes; Jean Vuillemin (Proving Assertions About Programs, 1972)

Fix Point Approach to the Theory of Computation. - Zohar Manna; Jean Vuillemin (Commun. ACM, 1972)

Correct and Optimal Implementations of Recursion in a Simple Programming Language - Jean Vuillemin (STOC, 1973)

Optimal Disk Merge Patterns. - Maurice Schlumberger; Jean Vuillemin (Acta Informatica, 1973)

Proof techniques for recursive programs. - Jean Vuillemin (1973)

Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. - Bruno Courcelle; Gilles Kahn; Jean Vuillemin (ICALP, 1974)

Design of Optimal Merge on Direct Access Devices. - Laurent Hyafil; F. Prusker; Jean Vuillemin (IFIP Congress, 1974)

Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. - Bruno Courcelle; Jean Vuillemin (Symposium on Programming, 1974)

Semantics and Axiomatics of a Simple Recursive Language - Bruno Courcelle; Jean Vuillemin (STOC, 1974)

An Efficient Algorithm for Computing Optimal Desk Merge Patterns (Extended Abstract) - Laurent Hyafil; F. Prusker; Jean Vuillemin (STOC, 1974)

A Generalization and Proof of the Aanderaa-Rosenberg Conjecture - Ronald L. Rivest; Jean Vuillemin (STOC, 1975)

Completeness Results for the Equivalence of Recursive Schemas. - Bruno Courcelle; Jean Vuillemin (J. Comput. Syst. Sci., 1976)

On Recognizing Graph Properties from Adjacency Matrices. - Ronald L. Rivest; Jean Vuillemin (Theor. Comput. Sci., 1976)

On the Average Number of Registers Required for Evaluating Arithmetic Expressions - Philippe Flajolet; Jean-Claude Raoult; Jean Vuillemin (FOCS, 1977)

Comment Verifier l'Associativite d'une Table de Groupe. - Jean Vuillemin (Theor. Comput. Sci., 1977)

Description and Analysis of an Efficient Priority Queue Representation - Jean Françon; Gérard Viennot; Jean Vuillemin (FOCS, 1978)

Operational and Semantic Equivalence between Recursive Programs - Jean-Claude Raoult; Jean Vuillemin (STOC, 1978)

A Data Structure for Manipulating Priority Queues. - Jean Vuillemin (Commun. ACM, 1978)

Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version) - Philippe Flajolet; Jean Françon; Jean Vuillemin (FOCS, 1979)

The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract) - Franco P. Preparata; Jean Vuillemin (FOCS, 1979)

Computing Integrated Costs of Sequences of Operations with Application to Dictionaries - Philippe Flajolet; Jean Françon; Jean Vuillemin (STOC, 1979)

The Number of Registers Required for Evaluating Arithmetic Expressions. - Philippe Flajolet; Jean-Claude Raoult; Jean Vuillemin (Theor. Comput. Sci., 1979)

A Combinatorial Limit to the Computing Power of V.L.S.I. Circuits (Extended Abstract) - Jean Vuillemin (FOCS, 1980)

Optimal Unbounded Search Strategies. - Jean-Claude Raoult; Jean Vuillemin (ICALP, 1980)

A Unifying Look at Data Structures. - Jean Vuillemin (Commun. ACM, 1980)

Area-Time Optimal VLSI Networks for Multiplying Matrices. - Franco P. Preparata; Jean Vuillemin (Inf. Process. Lett., 1980)

Sequence of Operations Analysis for Dynamic Data Structures. - Philippe Flajolet; Jean Françon; Jean Vuillemin (J. Algorithms, 1980)

Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform. - Franco P. Preparata; Jean Vuillemin (ICALP, 1981)

The Cube-Connected Cycles: A Versatile Network for Parallel Computation. - Franco P. Preparata; Jean Vuillemin (Commun. ACM, 1981)

On fast binary addition in MDS Technologies. - Leonidas J. Guibas; Jean Vuillemin (IEEE Symposium on Computer Arithmetic, 1983)

A very fast multiplication algorithm for VLSI implementation. - Jean Vuillemin (Integr., 1983)

Area-Time Optimal VLSI Circuits for Convolution. - Gérard M. Baudet; Franco P. Preparata; Jean Vuillemin (IEEE Trans. Computers, 1983)

A Combinatorial Limit to the Computing Power of VLSI Circuits. - Jean Vuillemin (IEEE Trans. Computers, 1983)

The analysis of simple list structures. - Philippe Flajolet; Claude Puech; Jean Vuillemin (Inf. Sci., 1986)

Exact Real Computer Arithmetic with Continued Fractions. - Jean Vuillemin (LISP and Functional Programming, 1988)

Hardware Speedups in Long Integer Multiplication. - Mark Shand; Patrice Bertin; Jean Vuillemin (SPAA, 1990)

Practical Cellular Dividers. - Franco P. Preparata; Jean Vuillemin (IEEE Trans. Computers, 1990)

Constant time arbitrary length synchronous binary counters. - Jean Vuillemin (IEEE Symposium on Computer Arithmetic, 1991)

Programmable Active Memories: A Performance Assessment. - Patrice Bertin; Didier Roncin; Jean Vuillemin (Heinz Nixdorf Symposium, 1992)

Fast implementations of RSA cryptography. - Mark Shand; Jean Vuillemin (IEEE Symposium on Computer Arithmetic, 1993)

Fast linear Hough transform. - Jean Vuillemin (ASAP, 1994)

Implementing On Line Arithmetic on PAM. - Marc Daumas; Jean-Michel Muller; Jean Vuillemin (FPL, 1994)

On Computing Power. - Jean Vuillemin (Programming Languages and System Architectures, 1994)

On Circuits and Numbers. - Jean Vuillemin (IEEE Trans. Computers, 1994)

High-Energy Physics on DECPeRLe-1 Programmable Active Memory. - Laurent Moll; Jean Vuillemin; Philippe Boucard (FPGA, 1995)

Programmable active memories: reconfigurable systems come of age. - Jean Vuillemin; Patrice Bertin; Didier Roncin; Mark Shand; Hervé H. Touati; Philippe Boucard (IEEE Trans. Very Large Scale Integr. Syst., 1996)

Real-time high-energy physics applications on DECPeRLe-1 programmable active memory. - Laurent Moll; Jean Vuillemin; Philippe Boucard; Lars Lundheim (J. VLSI Signal Process., 1996)

Reconfigurable Systems: Past and Next 10 Years. - Jean Vuillemin (VECPAR, 1998)

A Reconfigurable Arithmetic Array for Multimedia Application. - Alan Marshall; Tony Stansfield; Igor Kostarnov; Jean Vuillemin; Brad L. Hutchings (FPGA, 1999)

Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. - Jean Vuillemin (ASIAN, 2000)

Digital Algebra and Circuits. - Jean Vuillemin (Verification: Theory and Practice, 2003)

On the BDD of a Random Boolean Function. - Jean Vuillemin; Frédéric Béal (ASIAN, 2004)

Real-Time Video Pixel Matching. - Jean-Baptiste Note; Mark Shand; Jean Vuillemin (FPL, 2006)

Efficient Data Structure and Algorithms for Sparse Integers, Sets and Predicates. - Jean Vuillemin (IEEE Symposium on Computer Arithmetic, 2009)

Compact Normal Form for Regular Languages as Xor Automata. - Jean Vuillemin; Nicolas Gama (CIAA, 2009)

Defensive Leakage Camouflage. - Eric Brier; Quentin Fortier; Roman Korkikian; Khalid W. Magld; David Naccache; Guilherme Ozari de Almeida; Adrien Pommellet; A. H. Ragab; Jean Vuillemin (CARDIS, 2012)

The Conjoined Microprocessor. - Ehsan Aerabi; A. Elhadi Amirouche; Houda Ferradi; Rémi Géraud; David Naccache; Jean Vuillemin (HOST, 2016)