Mike Reeve

Publication Activity (10 Years)

Years Active: 1981-2000
Publications (10 Years): 0

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Ioannis Antoniou, Mike Reeve, Vic Stenning
The Information Society as a Complex System. J. Univers. Comput. Sci. 6 (3) (2000)
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
MaTourA: Multi-agent Tourist Advisor. ENTER (1994)
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
APPLAUSE: Applications Using the ElipSys Parallel CLP System. ICLP (1993)
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
Applause: Application & Assessment of Parallel Programming Using Logic. PARLE (1993)
André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li
Why and How in the ElipSys OR-parallel CLP System. PARLE (1993)
Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Liang-Liang Li, Kees Schuerman, Mike Reeve, André Véron
Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System. Comput. J. 36 (8) (1993)
Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, André Véron, Mike Reeve
Protein Topology Prediction through Parallel Constraint Logic Programming. ISMB (1993)
Colin J. Skelton, Carsten Hammer, M. Lopez, Mike Reeve, Paul Townsend, Kam-Fai Wong
EDS: A Parallel Computer System for Advanced Information Processing. PARLE (1992)
Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron
ElipSys - A Parallel Programming System based on Logic. LPAR (1992)
Guy Haworth, Steve Leunig, Carsten Hammer, Mike Reeve
The European Declarative System, database, and languages. IEEE Micro 10 (6) (1990)
John Darlington, Mike Reeve, Sue Wright
Declarative Languages and Program Transformation for Programming Parallel Systems. Concurr. Pract. Exp. 2 (3) (1990)
Stuart Cox, Hugh Glaser, Mike Reeve
Implementing Functional Languages on the Transputer. Functional Programming (1989)
John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. PARLE (1) (1989)
Peter G. Harrison, Mike Reeve
The parallel graph reduction machine, Alice. Graph Reduction (1986)
John Darlington, Mike Reeve
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages. FPCA (1981)

Mike Reeve.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Mike Reeve