Author: Jean Vuillemin

Publications

Co-authors

Stephen Nes

1

Franco P. Preparata

1

Zohar Manna

2

Productive Colleagues

Stephen Nes

1

Franco P. Preparata

6

Zohar Manna

7

Publications

Preparata, Franco P., Vuillemin, Jean (1981): The Cube-Connected Cycles: A Versatile Network for Parallel Computation. In Communications of the ACM, 24 (5) pp. 300-309.

Vuillemin, Jean (1980): A Unifying Look at Data Structures. In Communications of the ACM, 23 (4) pp. 229-239.

Vuillemin, Jean (1978): A Data Structure for Manipulating Priority Queues. In Communications of the ACM, 21 (4) pp. 309-315.

Manna, Zohar, Nes, Stephen, Vuillemin, Jean (1973): Inductive Methods for Proving Properties of Programs. In Communications of the ACM, 16 (8) pp. 491-502.

Manna, Zohar, Vuillemin, Jean (1972): Fix Point Approach to the Theory of Computation. In Communications of the ACM, 15 (7) pp. 528-536.