Mike Reeve

According to our database1, Mike Reeve
  • authored at least 14 papers between 1981 and 2000.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2000
The Information Society as a Complex System.
J. UCS, 2000

1993
Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System.
Comput. J., 1993

Why and How in the ElipSys OR-parallel CLP System.
Proceedings of the PARLE '93, 1993

Applause: Application & Assessment of Parallel Programming Using Logic.
Proceedings of the PARLE '93, 1993

Protein Topology Prediction through Parallel Constraint Logic Programming.
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, 1993


1992
EDS: A Parallel Computer System for Advanced Information Processing.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

ElipSys - A Parallel Programming System based on Logic.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1990
The European Declarative System, database, and languages.
IEEE Micro, 1990

Declarative Languages and Program Transformation for Programming Parallel Systems.
Concurrency - Practice and Experience, 1990

1989
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Implementing Functional Languages on the Transputer.
Proceedings of the Functional Programming, 1989

1986
The parallel graph reduction machine, Alice.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1981
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981


  Loading...