Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Greg J. Michaelson
@article{DBLP:journals/fac/Michaelson22,
author = {Greg Michaelson},
title = {Review of \emph{Formal Methods: An Appetizer}: \emph{By Flemming Nielson
and Hanne Riis Nielson} Springer, 2019, {ISBN} 978-3-030-05155-6,
https: //link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1-160},
journal = {Formal Aspects Comput.},
volume = {34},
number = {2},
pages = {1--2},
year = {2022},
url = {https://doi.org/10.1145/3545181},
doi = {10.1145/3545181},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/Michaelson22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/Michaelson20,
author = {Greg Michaelson},
title = {Programming Paradigms, Turing Completeness and Computational Thinking},
journal = {Art Sci. Eng. Program.},
volume = {4},
number = {3},
pages = {4},
year = {2020},
url = {https://doi.org/10.22152/programming-journal.org/2020/4/4},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/4},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/Michaelson20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06178,
author = {Greg Michaelson},
title = {Programming Paradigms, Turing Completeness and Computational Thinking},
journal = {CoRR},
volume = {abs/2002.06178},
year = {2020},
url = {https://arxiv.org/abs/2002.06178},
eprinttype = {arXiv},
eprint = {2002.06178},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Michaelson19,
author = {Greg Michaelson},
title = {Bernhard Steffen, Oliver R{\textasciidieresis}uthing, and Michael
Huth: Mathematical Foundations of Advanced Informatics - Volume 1:
Inductive Approaches - Springer, 2 April 2018, 258 pp, 156x16x234mm,
{ISBN-13:} 978-3319683966 (Hardback, {\textsterling}28.99), {ISBN:}
978-3030098339 (Paperback, {\textsterling}27.99)},
journal = {Formal Aspects Comput.},
volume = {31},
number = {5},
pages = {641--642},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00496-x},
doi = {10.1007/S00165-019-00496-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Michaelson19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/GarciaBSMW19,
author = {Paulo Garcia and
Deepayan Bhowmik and
Robert J. Stewart and
Greg Michaelson and
Andrew M. Wallace},
title = {Optimized Memory Allocation and Power Minimization for FPGA-Based
Image Processing},
journal = {J. Imaging},
volume = {5},
number = {1},
pages = {7},
year = {2019},
url = {https://doi.org/10.3390/jimaging5010007},
doi = {10.3390/JIMAGING5010007},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/GarciaBSMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/StewartBGIMW19,
author = {Robert J. Stewart and
Bernard Berthomieu and
Paulo Garcia and
Idris Ibrahim and
Greg Michaelson and
Andrew M. Wallace},
title = {Verifying parallel dataflow transformations with model checking and
its application to FPGAs},
journal = {J. Syst. Archit.},
volume = {101},
year = {2019},
url = {https://doi.org/10.1016/j.sysarc.2019.101657},
doi = {10.1016/J.SYSARC.2019.101657},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/StewartBGIMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/StewartBGIMW19,
author = {Robert J. Stewart and
Bernard Berthomieu and
Paulo Garcia and
Idris Ibrahim and
Greg Michaelson and
Andrew M. Wallace},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Graphical program transformations for embedded systems},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {647--649},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297555},
doi = {10.1145/3297280.3297555},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/StewartBGIMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2019rwdsl,
editor = {Robert J. Stewart and
Greg J. Michaelson},
title = {Proceedings of the 4th {ACM} International Workshop on Real World
Domain Specific Languages, RWDSL@CGO 2019, Washington, DC, DC, USA,
February 17, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3300111},
isbn = {978-1-4503-6637-3},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2019rwdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DavidsonM18,
author = {Joe Davidson and
Greg Michaelson},
title = {Expressiveness, meanings and machines},
journal = {Comput.},
volume = {7},
number = {4},
pages = {367--394},
year = {2018},
url = {https://doi.org/10.3233/COM-180090},
doi = {10.3233/COM-180090},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/DavidsonM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/StewartDMGBW18,
author = {Rob Stewart and
Kirsty Duncan and
Greg Michaelson and
Paulo Garcia and
Deepayan Bhowmik and
Andrew M. Wallace},
title = {{RIPL:} {A} Parallel Image Processing Language for FPGAs},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {11},
number = {1},
pages = {7:1--7:24},
year = {2018},
url = {https://doi.org/10.1145/3180481},
doi = {10.1145/3180481},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trets/StewartDMGBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/GarciaBWSM18,
author = {Paulo Garcia and
Deepayan Bhowmik and
Andrew M. Wallace and
Robert J. Stewart and
Greg Michaelson},
editor = {Nikolaos S. Voros and
Michael H{\"{u}}bner and
Georgios Keramidas and
Diana Goehringer and
Christos P. Antonopoulos and
Pedro C. Diniz},
title = {Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems},
booktitle = {Applied Reconfigurable Computing. Architectures, Tools, and Applications
- 14th International Symposium, {ARC} 2018, Santorini, Greece, May
2-4, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10824},
pages = {523--536},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-78890-6\_42},
doi = {10.1007/978-3-319-78890-6\_42},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arc/GarciaBWSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/DuncanSM18,
author = {Kirsty R. Duncan and
Robert J. Stewart and
Greg Michaelson},
title = {Parallel Mean Shift Accuracy and Performance Trade-Offs},
booktitle = {2018 {IEEE} International Conference on Image Processing, {ICIP} 2018,
Athens, Greece, October 7-10, 2018},
pages = {2197--2201},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICIP.2018.8451199},
doi = {10.1109/ICIP.2018.8451199},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icip/DuncanSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BelikovLM18,
author = {Evgenij Belikov and
Hans{-}Wolfgang Loidl and
Greg Michaelson},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Colocation of Potential Parallelism in a Distributed Adaptive Run-Time
System for Parallel Haskell},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {1--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_1},
doi = {10.1007/978-3-030-18506-0\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BelikovLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/AlothmanRM17,
author = {Manal Alothman and
Judy Robertson and
Greg Michaelson},
title = {Computer usage and attitudes among Saudi Arabian undergraduate students},
journal = {Comput. Educ.},
volume = {110},
pages = {127--142},
year = {2017},
url = {https://doi.org/10.1016/j.compedu.2017.02.010},
doi = {10.1016/J.COMPEDU.2017.02.010},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ce/AlothmanRM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/StewartBWM17,
author = {Robert J. Stewart and
Deepayan Bhowmik and
Andrew M. Wallace and
Greg Michaelson},
title = {Profile Guided Dataflow Transformation for FPGAs and CPUs},
journal = {J. Signal Process. Syst.},
volume = {87},
number = {1},
pages = {3--20},
year = {2017},
url = {https://doi.org/10.1007/s11265-015-1044-y},
doi = {10.1007/S11265-015-1044-Y},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/StewartBWM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/BhowmikGWSM17,
author = {Deepayan Bhowmik and
Paulo Garcia and
Andrew M. Wallace and
Robert J. Stewart and
Greg Michaelson},
title = {Power efficient dataflow design for a heterogeneous smart camera architecture},
booktitle = {2017 Conference on Design and Architectures for Signal and Image Processing,
{DASIP} 2017, Dresden, Germany, September 27-29, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DASIP.2017.8122128},
doi = {10.1109/DASIP.2017.8122128},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/BhowmikGWSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2017rwdsl,
editor = {Robert J. Stewart and
Greg Michaelson},
title = {Proceedings of the 2nd International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3039895},
doi = {10.1145/3039895},
isbn = {978-1-4503-4845-4},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2017rwdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/Michaelson16,
author = {Greg Michaelson},
editor = {Robert J. Stewart and
Greg Michaelson},
title = {Are there Domain Specific Languages?},
booktitle = {Proceedings of the 1st International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016},
pages = {1:1--1:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889420.2892271},
doi = {10.1145/2889420.2892271},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/Michaelson16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/StewartMBGW16,
author = {Robert J. Stewart and
Greg J. Michaelson and
Deepayan Bhowmik and
Paulo Garcia and
Andy Wallace},
editor = {Jes{\'{u}}s Carretero and
Javier Garc{\'{\i}}a Blas and
Victor Gergel and
Vladimir V. Voevodin and
Iosif B. Meyerov and
Juan A. Rico{-}Gallego and
Juan Carlos D{\'{\i}}az Mart{\'{\i}}n and
Pedro Alonso and
Juan Jos{\'{e}} Durillo and
Jos{\'{e}} Daniel Garc{\'{\i}}a S{\'{a}}nchez and
Alexey L. Lastovetsky and
Fabrizio Marozzo and
Qin Liu and
Md. Zakirul Alam Bhuiyan and
Karl F{\"{u}}rlinger and
Josef Weidendorfer and
Jos{\'{e}} Gracia},
title = {A Dataflow {IR} for Memory Efficient {RIPL} Compilation to FPGAs},
booktitle = {Algorithms and Architectures for Parallel Processing - {ICA3PP} 2016
Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada,
Spain, December 14-16, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10049},
pages = {174--188},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49956-7\_14},
doi = {10.1007/978-3-319-49956-7\_14},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ica3pp/StewartMBGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2016rwdsl,
editor = {Robert J. Stewart and
Greg Michaelson},
title = {Proceedings of the 1st International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889420},
doi = {10.1145/2889420},
isbn = {978-1-4503-4051-9},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2016rwdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BelikovLM15,
author = {Evgenij Belikov and
Hans{-}Wolfgang Loidl and
Greg J. Michaelson},
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Towards a Characterisation of Parallel Functional Applications},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
pages = {146--153},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/BelikovLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StewartBMW15,
author = {Robert J. Stewart and
Deepayan Bhowmik and
Greg Michaelson and
Andrew M. Wallace},
title = {{RIPL:} An Efficient Image Processing {DSL} for FPGAs},
journal = {CoRR},
volume = {abs/1508.07136},
year = {2015},
url = {http://arxiv.org/abs/1508.07136},
eprinttype = {arXiv},
eprint = {1508.07136},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StewartBMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globalsip/BhowmikWSQM14,
author = {Deepayan Bhowmik and
Andrew M. Wallace and
Robert J. Stewart and
Xinyuan Qian and
Greg J. Michaelson},
title = {Profile driven dataflow optimisation of mean shift visual tracking},
booktitle = {2014 {IEEE} Global Conference on Signal and Information Processing,
GlobalSIP 2014, Atlanta, GA, USA, December 3-5, 2014},
pages = {1--5},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/GlobalSIP.2014.7032066},
doi = {10.1109/GLOBALSIP.2014.7032066},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globalsip/BhowmikWSQM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/CuttsCMD14,
author = {Quintin I. Cutts and
Richard Connor and
Greg Michaelson and
Peter Donaldson},
editor = {Carsten Schulte and
Michael E. Caspersen and
Judith Gal{-}Ezer},
title = {Code or (not code): separating formal and natural language in {CS}
education},
booktitle = {Proceedings of the 9th Workshop in Primary and Secondary Computing
Education, WiPSCE 2014, Berlin, Germany, November 5-7, 2014},
pages = {20--28},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2670757.2670780},
doi = {10.1145/2670757.2670780},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/CuttsCMD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/TrinderCHLM13,
author = {Philip W. Trinder and
M. I. Cole and
Kevin Hammond and
Hans{-}Wolfgang Loidl and
Greg Michaelson},
title = {Resource analyses for parallel and distributed coordination},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {3},
pages = {309--348},
year = {2013},
url = {https://doi.org/10.1002/cpe.1898},
doi = {10.1002/CPE.1898},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/TrinderCHLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esticas/LimprasertWM13,
author = {Wasit Limprasert and
Andrew M. Wallace and
Greg Michaelson},
title = {Real-Time People Tracking in a Camera Network},
journal = {{IEEE} J. Emerg. Sel. Topics Circuits Syst.},
volume = {3},
number = {2},
pages = {263--271},
year = {2013},
url = {https://doi.org/10.1109/JETCAS.2013.2256820},
doi = {10.1109/JETCAS.2013.2256820},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esticas/LimprasertWM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Michaelson13,
author = {Greg Michaelson},
title = {\emph{Learn You a Haskell for Great Good! {A} Beginner's Guide}, by
Miran Lipovaca, No Starch Press, April 2011, {ISBN-10:} 1593272839;
{ISBN-13:} 978-1593272838, 376 pp},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {351--352},
year = {2013},
url = {https://doi.org/10.1017/S095679681300004X},
doi = {10.1017/S095679681300004X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Michaelson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/Michaelson13,
author = {Greg Michaelson},
editor = {Peter H. Welch and
Frederick R. M. Barnes and
Jan F. Broenink and
Kevin Chalmers and
Jan B{\ae}kgaard Pedersen and
Adam T. Sampson},
title = {Costing by Construction},
booktitle = {35th Communicating Process Architectures, {CPA} 2013, organised under
the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013},
pages = {1--2},
publisher = {Open Channel Publishing Ltd.},
year = {2013},
url = {http://wotug.org/paperdb/show\_pap.php?f=1\&\#38;num=701},
timestamp = {Tue, 09 Feb 2021 08:32:30 +0100},
biburl = {https://dblp.org/rec/conf/wotug/Michaelson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SerotM12,
author = {Jocelyn S{\'{e}}rot and
Greg J. Michaelson},
editor = {Andrzej Filinski and
Clemens Grelck},
title = {Harnessing parallelism in FPGAs using the hume language},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} workshop on Functional high-performance
computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012},
pages = {27--36},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364474.2364480},
doi = {10.1145/2364474.2364480},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SerotM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BelikovLMT12,
author = {Evgenij Belikov and
Hans{-}Wolfgang Loidl and
Greg Michaelson and
Philip W. Trinder},
editor = {Stefan J{\"{a}}hnichen and
Bernhard Rumpe and
Holger Schlingloff},
title = {Architecture-aware cost modelling for parallel performance portability},
booktitle = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
series = {{LNI}},
volume = {{P-199}},
pages = {105--120},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18379},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BelikovLMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/AlabdaliGM12,
author = {Aliaa M. Alabdali and
Lilia Georgieva and
Greg Michaelson},
editor = {Geyong Min and
Yulei Wu and
Lei (Chris) Liu and
Xiaolong Jin and
Stephen A. Jarvis and
Ahmed Yassin Al{-}Dubai},
title = {Modelling of Secure Data Transmission over a Multichannel Wireless
Network in Alloy},
booktitle = {11th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2012, Liverpool, United
Kingdom, June 25-27, 2012},
pages = {785--792},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TrustCom.2012.207},
doi = {10.1109/TRUSTCOM.2012.207},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/AlabdaliGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visapp/LimprasertWM12,
author = {Wasit Limprasert and
Andrew M. Wallace and
Greg Michaelson},
editor = {Gabriela Csurka and
Jos{\'{e}} Braz},
title = {Accelerated People Tracking using Texture in a Camera Network},
booktitle = {{VISAPP} 2012 - Proceedings of the International Conference on Computer
Vision Theory and Applications, Volume 2, Rome, Italy, 24-26 February,
2012},
pages = {225--234},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 25 May 2012 14:48:08 +0200},
biburl = {https://dblp.org/rec/conf/visapp/LimprasertWM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/MichaelsonA11,
author = {Greg Michaelson and
Ruth Aylett},
title = {Special issue on social impact of {AI:} killer robots or friendly
fridges},
journal = {{AI} Soc.},
volume = {26},
number = {4},
pages = {317--318},
year = {2011},
url = {https://doi.org/10.1007/s00146-011-0366-y},
doi = {10.1007/S00146-011-0366-Y},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ais/MichaelsonA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/CanforaDRBFRBBMDBEMDRWP11,
author = {Gerardo Canfora and
Darren Dalcher and
David Raffo and
Victor R. Basili and
Juan Fern{\'{a}}ndez{-}Ramil and
V{\'{a}}clav Rajlich and
Keith H. Bennett and
Liz Burd and
Malcolm Munro and
Sophia Drossopoulou and
Barry W. Boehm and
Susan Eisenbach and
Greg Michaelson and
Peter Ross and
Paul Wernick and
Dewayne E. Perry},
title = {In memory of Manny Lehman, 'Father of Software Evolution'},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {23},
number = {3},
pages = {137--144},
year = {2011},
url = {https://doi.org/10.1002/smr.537},
doi = {10.1002/SMR.537},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/CanforaDRBFRBBMDBEMDRWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/MichaelsonG11,
author = {Greg Michaelson and
Gudmund Grov},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Reasoning about Multi-process Systems with the Box Calculus},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {279--338},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_6},
doi = {10.1007/978-3-642-32096-5\_6},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/MichaelsonG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DengMT10,
author = {Xiao Yan Deng and
Greg Michaelson and
Philip W. Trinder},
title = {Cost-driven autonomous mobility},
journal = {Comput. Lang. Syst. Struct.},
volume = {36},
number = {1},
pages = {34--59},
year = {2010},
url = {https://doi.org/10.1016/j.cl.2009.01.003},
doi = {10.1016/J.CL.2009.01.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/DengMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GrovM10,
author = {Gudmund Grov and
Greg Michaelson},
title = {Hume box calculus: robust system development through software transformation},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {2},
pages = {191--226},
year = {2010},
url = {https://doi.org/10.1007/s10990-011-9067-y},
doi = {10.1007/S10990-011-9067-Y},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/GrovM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/Michaelson09,
author = {Greg Michaelson},
title = {Alison Cawsey},
journal = {Comput. Linguistics},
volume = {35},
number = {4},
pages = {475--481},
year = {2009},
url = {https://doi.org/10.1162/coli.2009.35.4.35400},
doi = {10.1162/COLI.2009.35.4.35400},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/Michaelson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/CottrellCM09,
author = {Allin Cottrell and
W. Paul Cockshott and
Greg Michaelson},
title = {Is Economic Planning Hypercomputational? The Argument from Cantor
Diagonalisation},
journal = {Int. J. Unconv. Comput.},
volume = {5},
number = {3-4},
pages = {223--236},
year = {2009},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-5-number-3-4-2009/ijuc-5-3-4-p-223-236/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/CottrellCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HammondM09,
author = {Kevin Hammond and
Greg Michaelson},
title = {The Peter Landin prize},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {4},
pages = {305--312},
year = {2009},
url = {https://doi.org/10.1007/s10990-010-9055-7},
doi = {10.1007/S10990-010-9055-7},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HammondM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/ZainGMHJL09,
author = {Abdallah Al Zain and
Valerie Gibson and
Greg J. Michaelson and
Kevin Hammond and
Steffen Jost and
Hans{-}Wolfgang Loidl},
title = {Towards Hume {SIMD} vectorisation},
booktitle = {17th European Signal Processing Conference, {EUSIPCO} 2009, Glasgow,
Scotland, UK, August 24-28, 2009},
pages = {2683--2687},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/7077855/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusipco/ZainGMHJL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/TrinderCLM09,
author = {Philip W. Trinder and
Murray Cole and
Hans{-}Wolfgang Loidl and
Greg Michaelson},
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Characterising Effective Resource Analyses for Parallel and Distributed
Coordination},
booktitle = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
pages = {67--83},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15331-0\_5},
doi = {10.1007/978-3-642-15331-0\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/TrinderCLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZainHBTMA09,
author = {Abdallah Al Zain and
Kevin Hammond and
Jost Berthold and
Philip W. Trinder and
Greg Michaelson and
Mustafa Aswad},
editor = {Leaf Petersen and
Manuel M. T. Chakravarty},
title = {Low-pain, high-gain multicore programming in Haskell: coordinating
irregular symbolic computations on multicore architectures},
booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
2009},
pages = {25--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481839.1481843},
doi = {10.1145/1481839.1481843},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZainHBTMA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AswadTZMB09,
author = {Mustafa Aswad and
Phil Trinder and
Abdallah Al Zain and
Greg Michaelson and
Jost Berthold},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Low Pain vs No Pain Multi-core Haskells},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {49--64},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AswadTZMB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/YangMP08,
author = {Mikai Yang and
Greg J. Michaelson and
Rob Pooley},
title = {Formal Action Semantics for a {UML} Action Language},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {21},
pages = {3608--3624},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-21-3608},
doi = {10.3217/JUCS-014-21-3608},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/YangMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CockshottMM08,
author = {W. Paul Cockshott and
Lewis Mackenzie and
Greg Michaelson},
title = {Physical constraints on hypercomputation},
journal = {Theor. Comput. Sci.},
volume = {394},
number = {3},
pages = {159--174},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.12.009},
doi = {10.1016/J.TCS.2007.12.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CockshottMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ZainTML08,
author = {Abdallah Al Zain and
Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Evaluating a High-Level Parallel Language (GpH) for Computational
GRIDs},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {19},
number = {2},
pages = {219--233},
year = {2008},
url = {https://doi.org/10.1109/TPDS.2007.70728},
doi = {10.1109/TPDS.2007.70728},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/ZainTML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GrovPMI08,
author = {Gudmund Grov and
Robert F. Pointon and
Greg Michaelson and
Andrew Ireland},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Preserving coordination properties when transforming concurrent system
components},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {126--127},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363719},
doi = {10.1145/1363686.1363719},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/GrovPMI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CockshottM07,
author = {W. Paul Cockshott and
Greg Michaelson},
title = {Are There New Models of Computation? Reply to Wegner and Eberbach},
journal = {Comput. J.},
volume = {50},
number = {2},
pages = {232--247},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxl062},
doi = {10.1093/COMJNL/BXL062},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CockshottM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Michaelson07,
author = {Greg Michaelson},
title = {Inductive Synthesis of Functional Programs by U. Schmid, Springer
Verlag, 2003, 420pp, {ISBN} 3540401741},
journal = {J. Funct. Program.},
volume = {17},
number = {3},
pages = {428--429},
year = {2007},
url = {https://doi.org/10.1017/S0956796807006296},
doi = {10.1017/S0956796807006296},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Michaelson07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/DengMT07,
author = {Xiao Yan Deng and
Greg Michaelson and
Philip W. Trinder},
title = {Automatically Costed Autonomous Mobility},
booktitle = {Proceedings of the 2007 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5,
2007},
pages = {95--101},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IAT.2007.55},
doi = {10.1109/IAT.2007.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/DengMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/GrovMI07,
author = {Gudmund Grov and
Greg Michaelson and
Andrew Ireland},
title = {Formal verification of concurrent scheduling strategies using {TLA}},
booktitle = {13th International Conference on Parallel and Distributed Systems,
{ICPADS} 2007, Hsinchu, Taiwan, December 5-7, 2007},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICPADS.2007.4447839},
doi = {10.1109/ICPADS.2007.4447839},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/GrovMI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BonenfantCHMWW07,
author = {Armelle Bonenfant and
Zezhi Chen and
Kevin Hammond and
Greg Michaelson and
Andrew M. Wallace and
Iain Wallace},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Towards resource-certified software: a formal cost model for time
and its application to an image-processing example},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1307--1314},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244285},
doi = {10.1145/1244002.1244285},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BonenfantCHMWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GrovM07,
author = {Gudmund Grov and
Greg Michaelson},
editor = {Marco T. Moraz{\'{a}}n},
title = {Towards a Box Calculus for Hierarchical Hume},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {71--88},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 08:02:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GrovM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CockshottM06,
author = {W. Paul Cockshott and
Greg Michaelson},
title = {Orthogonal parallel processing in vector Pascal},
journal = {Comput. Lang. Syst. Struct.},
volume = {32},
number = {1},
pages = {2--41},
year = {2006},
url = {https://doi.org/10.1016/j.cl.2004.07.001},
doi = {10.1016/J.CL.2004.07.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/CockshottM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/DengMT06,
author = {Xiao Yan Deng and
Greg Michaelson and
Philip W. Trinder},
title = {Autonomous mobility skeletons},
journal = {Parallel Comput.},
volume = {32},
number = {7-8},
pages = {463--478},
year = {2006},
url = {https://doi.org/10.1016/j.parco.2006.04.002},
doi = {10.1016/J.PARCO.2006.04.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/DengMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/ScaifeMH06,
author = {Norman Scaife and
Greg Michaelson and
Susumu Horiguchi},
title = {Parallel Standard {ML} with Skeletons},
journal = {Scalable Comput. Pract. Exp.},
volume = {7},
number = {2},
year = {2006},
url = {http://www.scpe.org/index.php/scpe/article/view/367},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/ScaifeMH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/ScaifeMH06a,
author = {Norman Scaife and
Greg Michaelson and
Susumu Horiguchi},
title = {Empirical Parallel Performance Prediction From Semantics-Based Profiling},
journal = {Scalable Comput. Pract. Exp.},
volume = {7},
number = {3},
year = {2006},
url = {http://www.scpe.org/index.php/scpe/article/view/371},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/ScaifeMH06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/ZainTML06,
author = {Abdallah Al Zain and
Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Managing Heterogeneity in a Grid Parallel Haskell},
journal = {Scalable Comput. Pract. Exp.},
volume = {7},
number = {3},
year = {2006},
url = {http://www.scpe.org/index.php/scpe/article/view/372},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/ZainTML06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MichaelsonC06,
author = {Greg Michaelson and
W. Paul Cockshott},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Constraints on Hypercomputation},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {378--387},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_40},
doi = {10.1007/11780342\_40},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/MichaelsonC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/DengTM06,
author = {Xiao Yan Deng and
Philip W. Trinder and
Greg Michaelson},
title = {Autonomous Mobile Programs},
booktitle = {Proceedings of the 2006 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/IAT.2006.42},
doi = {10.1109/IAT.2006.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/DengTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HammondGMI06,
author = {Kevin Hammond and
Gudmund Grov and
Greg Michaelson and
Andrew Ireland},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Low-Level Programming in Hume: An Exploration of the HW-Hume Level},
booktitle = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {91--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_6},
doi = {10.1007/978-3-540-74130-5\_6},
timestamp = {Mon, 03 Jan 2022 22:26:06 +0100},
biburl = {https://dblp.org/rec/conf/ifl/HammondGMI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HammondFHDHJLMPSSW06,
author = {Kevin Hammond and
Christian Ferdinand and
Reinhold Heckmann and
Roy Dyckhoff and
Martin Hofmann and
Steffen Jost and
Hans{-}Wolfgang Loidl and
Greg Michaelson and
Robert F. Pointon and
Norman Scaife and
Jocelyn S{\'{e}}rot and
Andy Wallace},
editor = {Frank Mueller},
title = {Towards Formally Verifiable {WCET} Analysis for a Functional Programming
Language},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 4, 2006, Dresden, Germany},
series = {OASIcs},
volume = {4},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/677},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/HammondFHDHJLMPSSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CookIMS05,
author = {Andrew Cook and
Andrew Ireland and
Greg Michaelson and
Norman Scaife},
title = {Discovering applications of higher order functions through proof planning},
journal = {Formal Aspects Comput.},
volume = {17},
number = {1},
pages = {38--57},
year = {2005},
url = {https://doi.org/10.1007/s00165-004-0054-5},
doi = {10.1007/S00165-004-0054-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CookIMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ScaifeHMB05,
author = {Norman Scaife and
Susumu Horiguchi and
Greg Michaelson and
Paul Bristow},
title = {A parallel {SML} compiler based on algorithmic skeletons},
journal = {J. Funct. Program.},
volume = {15},
number = {4},
pages = {615--650},
year = {2005},
url = {https://doi.org/10.1017/S0956796804005489},
doi = {10.1017/S0956796804005489},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ScaifeHMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZainTLM05,
author = {Abdallah Al Zain and
Philip W. Trinder and
Hans{-}Wolfgang Loidl and
Greg Michaelson},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Managing Heterogeneity in a Grid Parallel Haskell},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3515},
pages = {746--754},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428848\_96},
doi = {10.1007/11428848\_96},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ZainTLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ScaifeMH05,
author = {Norman Scaife and
Greg Michaelson and
Susumu Horiguchi},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Empirical Parallel Performance Prediction from Semantics-Based Profiling},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3515},
pages = {781--789},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428848\_100},
doi = {10.1007/11428848\_100},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ScaifeMH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HammondDFHHJLMPSSW05,
author = {Kevin Hammond and
Roy Dyckhoff and
Christian Ferdinand and
Reinhold Heckmann and
Martin Hofmann and
Steffen Jost and
Hans{-}Wolfgang Loidl and
Greg Michaelson and
Robert F. Pointon and
Norman Scaife and
Jocelyn S{\'{e}}rot and
Andy Wallace},
editor = {Marko C. J. D. van Eekelen},
title = {The Embounded project (project start paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {195--210},
publisher = {Intellect},
year = {2005},
timestamp = {Tue, 05 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HammondDFHHJLMPSSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2004,
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136772},
doi = {10.1007/B136772},
isbn = {3-540-26094-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MichaelsonHS04,
author = {Greg Michaelson and
Kevin Hammond and
Jocelyn S{\'{e}}rot},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {FSM-Hume: programming resource-limited systems using bounded automata},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1455--1461},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968192},
doi = {10.1145/967900.968192},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/MichaelsonHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2003,
editor = {Philip W. Trinder and
Greg Michaelson and
Ricardo Pena},
title = {Implementation of Functional Languages, 15th International Workshop,
{IFL} 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b102274},
doi = {10.1007/B102274},
isbn = {3-540-23727-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LoidlRSHHKLMPPPT03,
author = {Hans{-}Wolfgang Loidl and
Fernando Rubio and
Norman Scaife and
Kevin Hammond and
Susumu Horiguchi and
Ulrike Klusik and
Rita Loogen and
Greg Michaelson and
Ricardo Pena and
Steffen Priebe and
{\'{A}}lvaro J. Reb{\'{o}}n Portillo and
Philip W. Trinder},
title = {Comparing Parallel Functional Languages: Programming and Performance},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {3},
pages = {203--251},
year = {2003},
url = {https://doi.org/10.1023/A:1025641323400},
doi = {10.1023/A:1025641323400},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/LoidlRSHHKLMPPPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HammondM03,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Christian Lengauer and
Don S. Batory and
Charles Consel and
Martin Odersky},
title = {The Design of Hume: {A} High-Level Language for the Real-Time Embedded
Systems Domain},
booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl
Castle, Germany, March 23-28, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3016},
pages = {127--142},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25935-0\_8},
doi = {10.1007/978-3-540-25935-0\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HammondM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enlg/MiliaevCM03,
author = {Nestor Yurievich Miliaev and
Alison Cawsey and
Greg Michaelson},
title = {Applied {NLG} system evaluation: FlexyCAT},
booktitle = {Proceedings of the 9th European Workshop on Natural Language Generation,
ENLG@EACL 2003, Budapest, Hungary, April 13-14, 2003},
publisher = {The Association for Computer Linguistics},
year = {2003},
url = {https://aclanthology.org/W03-2308/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enlg/MiliaevCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HammondM03,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {Hume: {A} Domain-Specific Language for Real-Time Embedded Systems},
booktitle = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
pages = {37--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39815-8\_3},
doi = {10.1007/978-3-540-39815-8\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/HammondM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MichaelsonHS03,
author = {Greg Michaelson and
Kevin Hammond and
Jocelyn S{\'{e}}rot},
editor = {Stephen Gilmore},
title = {FSM-Hume is finite state},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {19--28},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 12:00:20 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MichaelsonHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/MichaelsonS03,
author = {Greg Michaelson and
Norman Scaife},
editor = {Fethi A. Rabhi and
Sergei Gorlatch},
title = {Skeleton Realisations from Functional Prototypes},
booktitle = {Patterns and Skeletons for Parallel and Distributed Computing},
pages = {129--153},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-1-4471-0097-3\_5},
doi = {10.1007/978-1-4471-0097-3\_5},
timestamp = {Wed, 17 Jul 2019 13:52:44 +0200},
biburl = {https://dblp.org/rec/books/sp/03/MichaelsonS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/JunMT02,
author = {Yang Jun and
Greg Michaelson and
Philip W. Trinder},
title = {Explaining Polymorphic Types},
journal = {Comput. J.},
volume = {45},
number = {4},
pages = {436--452},
year = {2002},
url = {https://doi.org/10.1093/comjnl/45.4.436},
doi = {10.1093/COMJNL/45.4.436},
timestamp = {Tue, 07 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/JunMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/MiliaevCM02,
author = {Nestor Yurievich Miliaev and
Alison Cawsey and
Greg Michaelson},
editor = {Donia Scott},
title = {Technical Documentation: An Integrated Architecture for Supporting
the Author in Generation and Resource Editing},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 10th
International Conference, {AIMSA} 2002, Varna, Bulgaria, September
4-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2443},
pages = {122--131},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46148-5\_13},
doi = {10.1007/3-540-46148-5\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/MiliaevCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HammondM02,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Ricardo Pena and
Thomas Arts},
title = {Predictable Space Behaviour in FSM-Hume},
booktitle = {Implementation of Functional Languages, 14th International Workshop,
{IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44854-3\_1},
doi = {10.1007/3-540-44854-3\_1},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/HammondM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ScaifeMH01,
author = {Norman Scaife and
Greg Michaelson and
Susumu Horiguchi},
editor = {Thomas Arts and
Markus Mohnen},
title = {Comparative Cross-Platform Performance Results from a Parallelizing
{SML} Compiler},
booktitle = {Implementation of Functional Languages, 13th International Workshop,
{IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2312},
pages = {138--154},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46028-4\_9},
doi = {10.1007/3-540-46028-4\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/ScaifeMH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CookIM01,
author = {Andrew Cook and
Andrew Ireland and
Greg Michaelson},
title = {Higher Order Function Synthesis Through Proof Planning},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {307--310},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989817},
doi = {10.1109/ASE.2001.989817},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CookIM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/JunMT01,
author = {Yang Jun and
Greg Michaelson and
Phil Trinder},
title = {Human and "human-like" type explanations},
booktitle = {Proceedings of the 13th Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 2001, Bournemouth, UK, April 17-20, 2001},
pages = {13},
publisher = {Psychology of Programming Interest Group},
year = {2001},
url = {https://ppig.org/papers/2001-ppig-13th-yang/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/JunMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JungM00,
author = {Yang Jung and
Greg Michaelson},
title = {A visualisation of polymorphic type checking},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {57--75},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003597},
doi = {10.1017/S0956796899003597},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JungM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/JunMT00,
author = {Yang Jun and
Greg Michaelson and
Phil Trinder},
title = {How do people check polymorphic types?},
booktitle = {Proceedings of the 12th Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 2000, Cosenza, Italy, April 10-13, 2000},
pages = {6},
publisher = {Psychology of Programming Interest Group},
year = {2000},
url = {https://ppig.org/papers/2000-ppig-12th-yang/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/JunMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/1999,
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
publisher = {Intellect},
year = {2000},
isbn = {1-84150-024-0},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/HamdanMK99,
author = {Mohammad Hamdan and
Greg J. Michaelson and
Peter King},
editor = {Erik H. D'Hollander and
Gerhard R. Joubert and
Frans J. Peters and
Henk J. Sips},
title = {A framework for nesting algorithmic skeletons},
booktitle = {Parallel Computing: Fundamentals {\&} Applications, Proceedings
of the Conference ParCo'99, 17-20 August 1999, Delft, The Netherlands},
pages = {542--549},
publisher = {Imperial College Press},
year = {1999},
timestamp = {Tue, 28 May 2013 07:39:29 +0200},
biburl = {https://dblp.org/rec/conf/parco/HamdanMK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/HammondM99,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Introduction},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {3--29},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_1},
doi = {10.1007/978-1-4471-0841-2\_1},
timestamp = {Thu, 01 Aug 2019 12:47:09 +0200},
biburl = {https://dblp.org/rec/books/sp/99/HammondM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/MichaelsonHC99,
author = {Greg Michaelson and
Kevin Hammond and
Chris Clack},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Foundations},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {31--61},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_2},
doi = {10.1007/978-1-4471-0841-2\_2},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/MichaelsonHC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/MichaelsonH99,
author = {Greg Michaelson and
Kevin Hammond},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Summary},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {427--430},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_20},
doi = {10.1007/978-1-4471-0841-2\_20},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/MichaelsonH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/99/HM1999,
editor = {Kevin Hammond and
Greg Michaelson},
title = {Research Directions in Parallel Functional Programming},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2},
doi = {10.1007/978-1-4471-0841-2},
isbn = {978-1-85233-092-7},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/HM1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/WallaceMSA98,
author = {Andrew M. Wallace and
Greg Michaelson and
Norman Scaife and
W. J. Austin},
title = {A Dual Source, Parallel Architecture for Computer Vision},
journal = {J. Supercomput.},
volume = {12},
number = {1-2},
pages = {37--56},
year = {1998},
url = {https://doi.org/10.1023/A:1007925309764},
doi = {10.1023/A:1007925309764},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/WallaceMSA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcal/FoubisterMT97,
author = {Sandra P. Foubister and
Greg Michaelson and
N. Tomes},
title = {Automatic assessment of elementary Standard {ML} programs using Ceilidh},
journal = {J. Comput. Assist. Learn.},
volume = {13},
number = {2},
pages = {99--108},
year = {1997},
url = {https://doi.org/10.1046/j.1365-2729.1997.00012.x},
doi = {10.1046/J.1365-2729.1997.00012.X},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcal/FoubisterMT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Michaelson96,
author = {Greg Michaelson},
title = {Automatic Analysis Of Functional Program Style},
booktitle = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
14-18, 1996, Melbourne, Australia},
pages = {38--46},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ASWEC.1996.534121},
doi = {10.1109/ASWEC.1996.534121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/Michaelson96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Michaelson95,
author = {Greg Michaelson},
title = {Implementing Prolog Definite Clause Grammars with {SLR(1)} parsers
on the Relational Algebra Accelerator},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {10},
pages = {547--555},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)90930-S},
doi = {10.1016/0950-5849(95)90930-S},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Michaelson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MichaelsonS95,
author = {Greg Michaelson and
Norman Scaife},
title = {Prototyping a Parallel Vision System in Standard {ML}},
journal = {J. Funct. Program.},
volume = {5},
number = {3},
pages = {345--382},
year = {1995},
url = {https://doi.org/10.1017/S0956796800001398},
doi = {10.1017/S0956796800001398},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MichaelsonS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmvc/ScaifeMW95,
author = {Norman Scaife and
Greg J. Michaelson and
Andrew M. Wallace},
editor = {David Pycock},
title = {Prototyping Parallel Algorithms using Standard {ML}},
booktitle = {Proceedings of the British Machine Vision Conference, {BMVC} 1995,
Birmingham, UK, September, 1995},
pages = {1--10},
publisher = {{BMVA} Press},
year = {1995},
url = {https://doi.org/10.5244/C.9.67},
doi = {10.5244/C.9.67},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmvc/ScaifeMW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip9-1/Michaelson94,
author = {Greg Michaelson},
editor = {Alison E. Adam and
Judy Emms and
Eileen Green and
Jenny Owen},
title = {Women and Men in Computer Cartoons from Punch: 1946 to 1982},
booktitle = {Woman, Work and Computerization: Breaking Old Boundaries - Building
New Forms, Proceedings of the {IFIP} {TC9/WG9.1} Fifth International
Conference on Woman, Work and Computerization: Breaking Old Boundaries
- Building New Forms, Manchester, UK, 2-5 July, 1994},
series = {{IFIP} Transactions},
volume = {{A-57}},
pages = {171--184},
publisher = {Elsevier},
year = {1994},
timestamp = {Thu, 23 May 2002 15:36:24 +0200},
biburl = {https://dblp.org/rec/conf/ifip9-1/Michaelson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Michaelson93,
author = {Gregory John Michaelson},
title = {Interpreter prototypes from formal language definitions},
school = {Heriot-Watt University, Edinburgh, {UK}},
year = {1993},
url = {https://hdl.handle.net/10399/1516},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Michaelson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/MichaelsonBBW93,
author = {Greg Michaelson and
Tore A. Bratvold and
David John Busvine and
K. G. Waugh},
editor = {Gerhard R. Joubert and
Denis Trystram and
Frans J. Peters and
David J. Evans},
title = {Parallel Implementations from Functional Prototype Instrumentation},
booktitle = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
France},
pages = {631--634},
publisher = {Elsevier},
year = {1993},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/MichaelsonBBW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/WallaceMMWA92,
author = {Andrew M. Wallace and
Greg Michaelson and
Patrick McAndrew and
K. G. Waugh and
W. J. Austin},
title = {Dynamic Control and Prototyping of Parallel Algorithms for Intermediate-
and High-Level Vision},
journal = {Computer},
volume = {25},
number = {2},
pages = {43--53},
year = {1992},
url = {https://doi.org/10.1109/2.121474},
doi = {10.1109/2.121474},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/WallaceMMWA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woman/WelchM90,
author = {D. Welch and
Greg Michaelson},
editor = {Gillian Lovegrove and
Barbara Segal},
title = {The Edinburgh Woman in Computing Workshops},
booktitle = {Woman into Computing: Selected Papers 1988-1990},
series = {Workshops in Computing},
pages = {359--366},
publisher = {Springer},
year = {1990},
timestamp = {Tue, 18 Feb 2003 12:09:25 +0100},
biburl = {https://dblp.org/rec/conf/woman/WelchM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070530,
author = {Greg J. Michaelson},
title = {An introduction to functional programming through lambda calculus},
series = {International computer science series},
publisher = {Addison-Wesley},
year = {1989},
isbn = {978-0-201-17812-8},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ivc/HopkinsMW89,
author = {S. Hopkins and
Greg Michaelson and
Andrew M. Wallace},
title = {Parallel imperative and functional approaches to visual scene labelling},
journal = {Image Vis. Comput.},
volume = {7},
number = {3},
pages = {178--193},
year = {1989},
url = {https://doi.org/10.1016/0262-8856(89)90043-7},
doi = {10.1016/0262-8856(89)90043-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ivc/HopkinsMW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/Michaelson89,
author = {Greg Michaelson},
editor = {John Rosenberg and
David M. Koch},
title = {Grammars and Implementation Independent Structure Representation},
booktitle = {Persistent Object Systems, Proceedings of the Third International
Workshop, 10-13 January 1989, Newcastle, New South Wales, Australia},
series = {Workshops in Computing},
pages = {19--28},
publisher = {Springer},
year = {1989},
timestamp = {Thu, 05 Jul 2018 07:44:24 +0200},
biburl = {https://dblp.org/rec/conf/pos/Michaelson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Michaelson86,
author = {Greg Michaelson},
title = {Interpreters From Functions and Grammars},
journal = {Comput. Lang.},
volume = {11},
number = {2},
pages = {85--104},
year = {1986},
url = {https://doi.org/10.1016/0096-0551(86)90003-2},
doi = {10.1016/0096-0551(86)90003-2},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Michaelson86.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 2024-04-17 20:39 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:
