| 2000 |
J |
jnl |
J. Univers. Comput. Sci.
Ioannis Antoniou, Mike Reeve, Vic Stenning
|
| 1994 |
C |
conf |
ENTER
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
|
| 1993 |
B |
conf |
ICLP
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
|
| 1993 |
— |
conf |
PARLE
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
|
| 1993 |
— |
ed. |
PARLE
Arndt Bode, Mike Reeve, Gottfried Wolf
|
| 1993 |
A |
conf |
ISMB
Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, André Véron, Mike Reeve
|
| 1993 |
J |
jnl |
Comput. J.
Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Liang-Liang Li, Kees Schuerman, Mike Reeve, André Véron
|
| 1993 |
— |
conf |
PARLE
André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li
|
| 1992 |
— |
conf |
PARLE
Colin J. Skelton, Carsten Hammer, M. Lopez, Mike Reeve, Paul Townsend, Kam-Fai Wong
|
| 1992 |
B |
conf |
LPAR
Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron
|
| 1990 |
J |
jnl |
Concurr. Pract. Exp.
John Darlington, Mike Reeve, Sue Wright
|
| 1990 |
J |
jnl |
IEEE Micro
Guy Haworth, Steve Leunig, Carsten Hammer, Mike Reeve
|
| 1989 |
— |
conf |
PARLE (1)
John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright
|
| 1989 |
A |
conf |
Functional Programming
Stuart Cox, Hugh Glaser, Mike Reeve
|
| 1987 |
— |
— |
Mike Reeve
|
| 1986 |
— |
conf |
Graph Reduction
Peter G. Harrison, Mike Reeve
|
| 1981 |
— |
conf |
FPCA
John Darlington, Mike Reeve
|