Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mike Reeve
@article{DBLP:journals/jucs/AntoniouRS00,
author = {Ioannis Antoniou and
Mike Reeve and
Vic Stenning},
title = {The Information Society as a Complex System},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {3},
pages = {272--288},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-03-0272},
doi = {10.3217/JUCS-006-03-0272},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AntoniouRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/HalatsisSKMGMFK94,
author = {Constantin Halatsis and
Panagiotis Stamatopoulos and
Isambo Karali and
Costantinos Mourlas and
Dimitris Gouscos and
Dimitris Margaritis and
Constantin Fouskakis and
Angelos Kolokouris and
Panagiotis Xinos and
Mike Reeve and
Andr{\'{e}} V{\'{e}}ron and
Kees Schuerman and
Liang{-}Liang Li},
editor = {Walter Schertler and
Beat Schmid and
A Min Tjoa and
Hannes Werthner},
title = {MaTourA: Multi-agent Tourist Advisor},
booktitle = {Proceedings of the International Conference on Information and Communications
Technologies in Tourism, {ENTER} 1994, Innsbruck, Austria, 1994},
pages = {140--147},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-7091-9343-3\_22},
doi = {10.1007/978-3-7091-9343-3\_22},
timestamp = {Tue, 29 Dec 2020 18:40:12 +0100},
biburl = {https://dblp.org/rec/conf/enter/HalatsisSKMGMFK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ClarkRSLSRV93,
author = {Dominic A. Clark and
Christopher J. Rawlings and
Jack Shirazi and
Liang{-}Liang Li and
Kees Schuerman and
Mike Reeve and
Andr{\'{e}} V{\'{e}}ron},
title = {Solving Large Combinatorial Problems in Molecular Biology Using the
ElipSys Parallel Constraint Logic Programming System},
journal = {Comput. J.},
volume = {36},
number = {8},
pages = {690--701},
year = {1993},
url = {https://doi.org/10.1093/comjnl/36.8.690},
doi = {10.1093/COMJNL/36.8.690},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ClarkRSLSRV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiRSVBPPSCDRSS93,
author = {Liang{-}Liang Li and
Mike Reeve and
Kees Schuerman and
Andr{\'{e}} V{\'{e}}ron and
Jacques Bellone and
Claudine Pradelles and
Zissis Palaskas and
Takis Stamatopoulos and
Dominic A. Clark and
Sylvie Doursenot and
Christopher J. Rawlings and
Jack Shirazi and
Giuseppe Sardu},
editor = {David Scott Warren},
title = {{APPLAUSE:} Applications Using the ElipSys Parallel {CLP} System},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {847--848},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LiRSVBPPSCDRSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/ClarkRSVR93,
author = {Dominic A. Clark and
Christopher J. Rawlings and
Jack Shirazi and
Andr{\'{e}} V{\'{e}}ron and
Mike Reeve},
editor = {Lawrence Hunter and
David B. Searls and
Jude W. Shavlik},
title = {Protein Topology Prediction through Parallel Constraint Logic Programming},
booktitle = {Proceedings of the 1st International Conference on Intelligent Systems
for Molecular Biology, Bethesda, MD, USA, July 1993},
pages = {83--91},
publisher = {{AAAI}},
year = {1993},
url = {http://www.aaai.org/Library/ISMB/1993/ismb93-010.php},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismb/ClarkRSVR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/VeronSRL93,
author = {Andr{\'{e}} V{\'{e}}ron and
Kees Schuerman and
Mike Reeve and
Liang{-}Liang Li},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {Why and How in the ElipSys OR-parallel {CLP} System},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {291--303},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_23},
doi = {10.1007/3-540-56891-3\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/VeronSRL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/LiRSVBPKSCRSS93,
author = {Liang{-}Liang Li and
Mike Reeve and
Kees Schuerman and
Andr{\'{e}} V{\'{e}}ron and
Jacques Bellone and
Claudine Pradelles and
Angelos Kolokouris and
Takis Stamatopoulos and
Dominic A. Clark and
Christopher J. Rawlings and
Jack Shirazi and
Giuseppe Sardu},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {Applause: Application {\&} Assessment of Parallel Programming
Using Logic},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {756--759},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_77},
doi = {10.1007/3-540-56891-3\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/LiRSVBPKSCRSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/parle/1993,
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3},
doi = {10.1007/3-540-56891-3},
isbn = {3-540-56891-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DorochevskyLRSV92,
author = {Michel Dorochevsky and
Liang{-}Liang Li and
Mike Reeve and
Kees Schuerman and
Andr{\'{e}} V{\'{e}}ron},
editor = {Andrei Voronkov},
title = {ElipSys - {A} Parallel Programming System based on Logic},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {469--471},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013090},
doi = {10.1007/BFB0013090},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DorochevskyLRSV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/SkeltonHLRTW92,
author = {Colin J. Skelton and
Carsten Hammer and
M. Lopez and
Mike Reeve and
Paul Townsend and
Kam{-}Fai Wong},
editor = {Daniel Etiemble and
Jean{-}Claude Syre},
title = {{EDS:} {A} Parallel Computer System for Advanced Information Processing},
booktitle = {{PARLE} '92: Parallel Architectures and Languages Europe, 4th International
{PARLE} Conference, Paris, France, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {605},
pages = {1--18},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55599-4\_77},
doi = {10.1007/3-540-55599-4\_77},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/SkeltonHLRTW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/DarlingtonRW90,
author = {John Darlington and
Mike Reeve and
Sue Wright},
title = {Declarative Languages and Program Transformation for Programming Parallel
Systems},
journal = {Concurr. Pract. Exp.},
volume = {2},
number = {3},
pages = {149--170},
year = {1990},
url = {https://doi.org/10.1002/cpe.4330020302},
doi = {10.1002/CPE.4330020302},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/DarlingtonRW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/HaworthLHR90,
author = {Guy Haworth and
Steve Leunig and
Carsten Hammer and
Mike Reeve},
title = {The European Declarative System, database, and languages},
journal = {{IEEE} Micro},
volume = {10},
number = {6},
pages = {20--23},
year = {1990},
url = {https://doi.org/10.1109/40.62726},
doi = {10.1109/40.62726},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/HaworthLHR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/CoxGR89,
author = {Stuart Cox and
Hugh Glaser and
Mike Reeve},
editor = {Kei Davis and
John Hughes},
title = {Implementing Functional Languages on the Transputer},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {287--295},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fp/CoxGR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/DarlingtonHKMPPRSWW89,
author = {John Darlington and
Peter G. Harrison and
Hessam Khoshnevisan and
Lee McLoughlin and
Nigel Perry and
Helen Pull and
Mike Reeve and
Keith Sephton and
Lyndon While and
Sue Wright},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {A Functional Programming Environment Supporting Execution, Partial
Execution and Transformation},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {I:}
Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {365},
pages = {286--305},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3540512845\_46},
doi = {10.1007/3540512845\_46},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/DarlingtonHKMPPRSWW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Reeve87,
author = {Mike Reeve},
title = {A packet-based parallel computation scheme for declarative languages},
school = {Imperial College London, {UK}},
year = {1987},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.717227},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Reeve87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/HarrisonR86,
author = {Peter G. Harrison and
Mike Reeve},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {The parallel graph reduction machine, Alice},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {181--202},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_55},
doi = {10.1007/3-540-18420-1\_55},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gr/HarrisonR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/DarlingtonR81,
author = {John Darlington and
Mike Reeve},
editor = {Arvind and
Jack B. Dennis},
title = {{ALICE} a multi-processor reduction machine for the parallel evaluation
{CF} applicative languages},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {65--76},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806764},
doi = {10.1145/800223.806764},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/DarlingtonR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
