Mike Reeve

According to our database, Mike Reeve authored at least 16 papers between 1981 and 2000.

Collaborative distances:

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

2000

The Information Society as a Complex System.

Ioannis Antoniou, Mike Reeve, Vic Stenning

J. Univers. Comput. Sci., 2000

1994

MaTourA: Multi-agent Tourist Advisor.

Constantin Halatsis, Panagiotis Stamatopoulos, Isambo Karali, Costantinos Mourlas, Dimitris Gouscos, Dimitris Margaritis, Constantin Fouskakis, Angelos Kolokouris, Panagiotis Xinos, Mike Reeve, André Véron, Kees Schuerman, Liang-Liang Li

Proceedings of the International Conference on Information and Communications Technologies in Tourism, 1994

1993

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

Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Liang-Liang Li, Kees Schuerman, Mike Reeve, André Véron

Comput. J., 1993

Why and How in the ElipSys OR-parallel CLP System.

André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li

Proceedings of the PARLE '93, 1993

Applause: Application & Assessment of Parallel Programming Using Logic.

Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Angelos Kolokouris, Takis Stamatopoulos, Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu

Proceedings of the PARLE '93, 1993

Protein Topology Prediction through Parallel Constraint Logic Programming.

Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, André Véron, Mike Reeve

Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, 1993

APPLAUSE: Applications Using the ElipSys Parallel CLP System.

Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu

Proceedings of the Logic Programming, 1993

1992

EDS: A Parallel Computer System for Advanced Information Processing.

Colin J. Skelton, Carsten Hammer, M. Lopez, Mike Reeve, Paul Townsend, Kam-Fai Wong

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

ElipSys - A Parallel Programming System based on Logic.

Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron

Proceedings of the Logic Programming and Automated Reasoning, 1992

1990

The European Declarative System, database, and languages.

Guy Haworth, Steve Leunig, Carsten Hammer, Mike Reeve

IEEE Micro, 1990

Declarative Languages and Program Transformation for Programming Parallel Systems.

John Darlington, Mike Reeve, Sue Wright

Concurr. Pract. Exp., 1990

1989

A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.

John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Implementing Functional Languages on the Transputer.

Stuart Cox, Hugh Glaser, Mike Reeve

Proceedings of the Functional Programming, 1989

1987

A packet-based parallel computation scheme for declarative languages.

Mike Reeve

PhD thesis, 1987

1986

The parallel graph reduction machine, Alice.

Peter G. Harrison, Mike Reeve

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.

John Darlington, Mike Reeve

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981