VuilleminJean

Fixpoint approach to the theory of computation

MannaZohar, VuilleminJean, 1972 .

The cube-connected cycles: a versatile network for parallel computation

VuilleminJean, P PreparataFranco, 1981 .

Operational and Semantic Equivalence Between Recursive Programs

VuilleminJean, RaoultJean-Claude, 1980 .

Inductive methods for proving properties of programs

MannaZohar, VuilleminJean, NessStephen, 1973 .

A data structure for manipulating priority queues

VuilleminJean, 1978 .

A unifying look at data structures

VuilleminJean, 1980 .