Jean-Marie Cadiou

According to our database, Jean-Marie Cadiou authored at least 6 papers between 1972 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Information Technologies: The European Co-operation Approach to Research and Development.

Jean-Marie Cadiou

Proceedings of the Forum '90 Wissenschaft und Technik, 1990

1988

Advanced Information Processing in ESPRIT - Status and Plans.

Jean-Marie Cadiou

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1986

ESPRIT in action.

Jean-Marie Cadiou

Future Gener. Comput. Syst., 1986

1973

Mechanizable Proofs about Parallel Processes

Jean-Marie Cadiou, Jean-Jacques Lévy

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1972

Recursive definitions of partial functions and their computations.

Jean-Marie Cadiou

PhD thesis, 1972

Recursive definitions of partial functions and their computations.

Jean-Marie Cadiou, Zohar Manna

Proceedings of ACM Conference on Proving Assertions About Programs, 1972