BibTeX records: Mike Jackson 0003

download as .bib file

@inproceedings{DBLP:conf/pldi/SufiHHACHIJPPRC14,
  author       = {Shoaib Sufi and
                  Neil P. Chue Hong and
                  Simon Hettrick and
                  Mario Antonioletti and
                  Stephen Crouch and
                  Alexander Hay and
                  Devasena Inupakutika and
                  Mike Jackson and
                  Aleksandra Pawlik and
                  Giacomo Peru and
                  John Robinson and
                  Les Carr and
                  David De Roure and
                  Carole A. Goble and
                  Mark Parsons},
  editor       = {Grigori Fursin and
                  Bruce R. Childers and
                  Alex K. Jones and
                  Daniel Moss{\'{e}}},
  title        = {Software in reproducible research: advice and best practice collected
                  from experiences at the collaborations workshop},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} Workshop on Reproducible Research
                  Methodologies and New Publication Models in Computer Engineering,
                  {TRUST} 2014, Edinburgh, United Kingdom, June 9-11, 2014},
  pages        = {2:1--2:4},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2618137.2618140},
  doi          = {10.1145/2618137.2618140},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SufiHHACHIJPPRC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cse/CrouchHHJPSCRGP13,
  author       = {Stephen Crouch and
                  Neil P. Chue Hong and
                  Simon Hettrick and
                  Mike Jackson and
                  Aleksandra Pawlik and
                  Shoaib Sufi and
                  Les Carr and
                  David De Roure and
                  Carole A. Goble and
                  Mark Parsons},
  title        = {The Software Sustainability Institute: Changing Research Software
                  Attitudes and Practices},
  journal      = {Comput. Sci. Eng.},
  volume       = {15},
  number       = {6},
  pages        = {74--80},
  year         = {2013},
  url          = {https://doi.org/10.1109/MCSE.2013.133},
  doi          = {10.1109/MCSE.2013.133},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cse/CrouchHHJPSCRGP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/fiore2011/JacksonADH11,
  author       = {Michael J. Jackson and
                  Mario Antonioletti and
                  Bartosz Dobrzelecki and
                  Neil P. Chue Hong},
  editor       = {Sandro Fiore and
                  Giovanni Aloisio},
  title        = {Distributed Data Management with {OGSA-DAI}},
  booktitle    = {Grid and Cloud Database Management},
  pages        = {63--86},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20045-8\_4},
  doi          = {10.1007/978-3-642-20045-8\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/fiore2011/JacksonADH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eScience/JacksonAHBBHR09,
  author       = {Mike Jackson and
                  Mario Antonioletti and
                  Alastair C. Hume and
                  Tobias Blanke and
                  Gabriel Bodard and
                  Mark Hedges and
                  Shrija Rajbhandari},
  title        = {Building Bridges between Islands of Data - An Investigation into Distributed
                  Data Management in the Humanities},
  booktitle    = {Fifth International Conference on e-Science, e-Science 2009, 9-11
                  December 2009, Oxford, {UK}},
  pages        = {33--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/e-Science.2009.13},
  doi          = {10.1109/E-SCIENCE.2009.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eScience/JacksonAHBBHR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eScience/GrantAHKDJPAT08,
  author       = {Alistair Grant and
                  Mario Antonioletti and
                  Alastair C. Hume and
                  Amy Krause and
                  Bartosz Dobrzelecki and
                  Michael J. Jackson and
                  Mark Parsons and
                  Malcolm P. Atkinson and
                  Elias Theocharopoulos},
  title        = {{OGSA-DAI:} Middleware for Data Integration: Selected Applications},
  booktitle    = {Fourth International Conference on e-Science, e-Science 2008, 7-12
                  December 2008, Indianapolis, IN, {USA}},
  pages        = {343},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/eScience.2008.131},
  doi          = {10.1109/ESCIENCE.2008.131},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eScience/GrantAHKDJPAT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/para/AntoniolettiAHDH0KKSST06,
  author       = {Mario Antonioletti and
                  Malcolm P. Atkinson and
                  Neil P. Chue Hong and
                  Bartosz Dobrzelecki and
                  Alastair C. Hume and
                  Mike Jackson and
                  Konstantinos Karasavvas and
                  Amy Krause and
                  Jennifer M. Schopf and
                  Tom Sugden and
                  Elias Theocharopoulos},
  editor       = {Bo K{\aa}gstr{\"{o}}m and
                  Erik Elmroth and
                  Jack J. Dongarra and
                  Jerzy Wasniewski},
  title        = {Grid Enabling Your Data Resources with {OGSA-DAI}},
  booktitle    = {Applied Parallel Computing. State of the Art in Scientific Computing,
                  8th International Workshop, {PARA} 2006, Ume{\aa}, Sweden, June 18-21,
                  2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4699},
  pages        = {799--808},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-75755-9\_97},
  doi          = {10.1007/978-3-540-75755-9\_97},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/para/AntoniolettiAHDH0KKSST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/concurrency/AntoniolettiABBHCHHKJKLMPPSWW05,
  author       = {Mario Antonioletti and
                  Malcolm P. Atkinson and
                  Robert M. Baxter and
                  Andrew Borley and
                  Neil P. Chue Hong and
                  Brian Collins and
                  Neil Hardman and
                  Alastair C. Hume and
                  Alan Knox and
                  Mike Jackson and
                  Amrey Krause and
                  Simon Laws and
                  James Magowan and
                  Norman W. Paton and
                  Dave Pearson and
                  Tom Sugden and
                  Paul Watson and
                  Martin Westhead},
  title        = {The design and implementation of Grid database services in {OGSA-DAI}},
  journal      = {Concurr. Pract. Exp.},
  volume       = {17},
  number       = {2-4},
  pages        = {357--376},
  year         = {2005},
  url          = {https://doi.org/10.1002/cpe.939},
  doi          = {10.1002/CPE.939},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/AntoniolettiABBHCHHKJKLMPPSWW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sag/KarasavvasAAHSHJKP04,
  author       = {Konstantinos Karasavvas and
                  Mario Antonioletti and
                  Malcolm P. Atkinson and
                  Neil P. Chue Hong and
                  Tom Sugden and
                  Alastair C. Hume and
                  Mike Jackson and
                  Amrey Krause and
                  Charaka Palansuriya},
  editor       = {Pilar Herrero and
                  Mar{\'{\i}}a S. P{\'{e}}rez and
                  V{\'{\i}}ctor Robles},
  title        = {Introduction to {OGSA-DAI} Services},
  booktitle    = {Scientific Applications of Grid Computing, First International Workshop,
                  {SAG} 2004, Beijing, China, September 20-24, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3458},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423287\_1},
  doi          = {10.1007/11423287\_1},
  timestamp    = {Tue, 11 Apr 2023 12:52:01 +0200},
  biburl       = {https://dblp.org/rec/conf/sag/KarasavvasAAHSHJKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/JacksonL00,
  author       = {Mike Jackson and
                  Helen Lowe},
  editor       = {David A. McAllester},
  title        = {System Description: Interactive Proof Critics in XBarnacle},
  booktitle    = {Automated Deduction - CADE-17, 17th International Conference on Automated
                  Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1831},
  pages        = {502--506},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721959\_41},
  doi          = {10.1007/10721959\_41},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/JacksonL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/IrelandJR99,
  author       = {Andrew Ireland and
                  Mike Jackson and
                  Gordon Reid},
  title        = {Interactive Proof Critics},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {302--325},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050052},
  doi          = {10.1007/S001650050052},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/IrelandJR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurographics/JacksonC83,
  author       = {Michael J. Jackson and
                  Tony Clark},
  editor       = {Paul J. W. ten Hagen},
  title        = {Interactive Graphical Planning},
  booktitle    = {4th European Computer Graphics Conference and Exhibition, Eurographics
                  1983, Zagreb, Yugoslavia, August 31 - September 2, 1983, Proceedings},
  publisher    = {North-Holland / Eurographics Association},
  year         = {1983},
  url          = {https://doi.org/10.2312/eg.19831023},
  doi          = {10.2312/EG.19831023},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurographics/JacksonC83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.