|
|
Andrew Martin: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Association of parameter, software, and hardware variation with large-scale behavior across 57,000 climate models
Christopher G. Knight et al.
Proceedings of the National Academy of Sciences in the United States of America, Vol. 104, No. 30, pages 12259—12264. July 2007.
Details
|
BibTeX
|
DOI (10.1073/pnas.0608144104)
|
|
[2]
|
Innovations for Grid Security from Trusted Computing
Wenbo Mao et al.
In Fourteenth International Workshop on Security Protocols Springer-Verlag, 2006.
To appear.
Details
|
BibTeX
|
|
[3]
|
Data access and analysis with distributed federated data servers in climateprediction.net
N. Massey et al.
Advances in Geosciences, Vol. 8, pages 49—56. June 2006.
Details
|
BibTeX
|
|
[4]
|
Towards a Secure, Tamper-Proof Grid Platform.
Andrew Cooper, Andrew Martin
In Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore pages 373-380. IEEE Computer Society, 2006.
Details
|
BibTeX
|
|
[5]
|
ShibGrid: Shibboleth Access for the UK National Grid Service
David Spence et al.
In eScience 2006, Amsterdam 2006.
Details
|
BibTeX
|
|
[6]
|
Preface.
Alvaro E. Arenas et al.
Electr. Notes Theor. Comput. Sci. Vol. 151, No. 2, pages 1. 2006.
Details
|
BibTeX
|
|
[7]
|
Trusted Delegation for Grid Computing
Andrew Cooper, Andrew Martin
In The Second Workshop on Advances in Trusted Computing 2006.
Details
|
BibTeX
|
|
[9]
|
Scientific middleware for abstracted parallelisation
Daniel Goodman
No. RR-05-07, Technical Report, Oxford University Computing Laboratory. November 2005.
Details
|
BibTeX
|
|
[10]
|
A Taxonomy of Web Services Using CSP
Lee Momtahan, Andrew Martin and A. W. Roscoe
In Proceedings of Web Languages and Formal Methods 2005.
Details
|
BibTeX
|
|
[11]
|
Uncertainty in the predictions of the climate response to rising levels of greenhouse gases
D. A. Stainforth et al.
Nature, Vol. 433, pages 403—406. 2005.
Details
|
BibTeX
|
|
[12]
|
Editorial, Guest Editors, Special issue on Grid Security
Howard Chivers, Andrew Martin
Software—-Practice and Experience, Vol. 35, No. 9, July 2005.
Details
|
BibTeX
|
|
[13]
|
On two kinds of public-resource distributed computing
Andrew Martin et al.
In Proceedings of Fourth UK e-Science All Hands Meeting 2005.
Details
|
BibTeX
|
|
[14]
|
Uncertainty in the predictions of the climate response to rising levels of greenhouse gases
D. A. Stainforth et al.
Nature, Vol. 433, pages 403—406. 2005.
Details
|
BibTeX
|
|
[15]
|
A taxonomy of web services using CSP
Lee Momtahan, Andrew Martin and A. W. Roscoe
No. RR-04-22, Technical Report, Oxford University Computing Laboratory. October 2004.
Details
|
BibTeX
| Download (ps) |
|
[16]
|
Object Models: Job Submission in DataGrids
Lee Momtahan, Andrew Martin
No. RR-04-26, Technical Report, Oxford University Computing Laboratory. February 2004.
Details
|
BibTeX
| Download (pdf) |
|
[17]
|
Teaching Formal Methods in Context
Jim Davies, Andrew Simpson and Andrew Martin
In C. Neville Dean, Raymond T. Boute, editors, Symposium on Teaching Formal Methods Vol. 3294 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
Details
|
BibTeX
|
|
[18]
|
Grid Style Web Services for ClimatePrediction.net
Daniel Goodman, Andrew Martin
In S. Newhouse, S. Parastatidis, editors, GGF workshop on building Service-Based Grids, Honolulu, Hawaii Global Grid Forum. 2004.
Details
|
BibTeX
|
|
[19]
|
Grids and Private Networks are Anthitetical
Andrew Martin, Carl Cook
In Howard Chivers, Andrew Martin, editors, Grid Security Practice and Experience Workshop Computer Science Department, University of York, YCS-2004-380, 2004.
Details
|
BibTeX
|
|
[20]
|
Security Principles for Public-Resource Modeling Research.
Dave Stainforth et al.
In 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004, Modena, Italy pages 319-324. IEEE Computer Society, 2004.
Details
|
BibTeX
|
|
[21]
|
A Critical Survey of Grid Security Requirements and Technologies
Philippa J. Broadfoot, Andrew P. Martin
No. RR-03-15, Technical Report, Oxford University Computing Laboratory. August 2003.
Details
|
BibTeX
| Download (ps.gz) |
|
[22]
|
Supplementing the understanding of Z: a formal approach to database design
Simpson, A. C., Martin, A. P.
In Proceedings of the BCS Teaching Formal Methods workshop BCS, 2003.
Details
|
BibTeX
|
|
[23]
|
On the supervision and assessment of part-time postgraduate software engineering projects
Simpson, A C. et al.
In Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, Oregon, 3—10 May, 2003 pages 628—633. IEEE Computer Society Press, 2003.
Details
|
BibTeX
|
|
[24]
|
ZML: XML Support for Standard Z
Mark Utting et al.
In Didier Bert et al. , editors, ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Vol. 2651 of Lecture Notes in Computer Science, pages 437-456. Springer, 2003.
Details
|
BibTeX
|
|
[25]
|
Grid Security: Requirements and Technologies A Survey of the State-of-the-art
Philippa Broadfoot, Andrew Martin
No. PRG-RR-03-15, Technical Report, Programming Research GroupOxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. 2003.
Details
|
BibTeX
|
|
[26]
|
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.
Andrew Simpson et al.
In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA pages 628-633. IEEE Computer Society, 2003.
Details
|
BibTeX
|
|
[27]
|
Generalizing the Schema Calculus: Database Schemas and Beyond
Andrew Martin, Andrew Simpson
In Proceedings of 10th Asia-Pacific Software Engineering Conference IEEE press, 2003.
to appear.
Details
|
BibTeX
|
|
[28]
|
climateprediction.com: security and design planning
Stainforth, D. et al.
In Proceedings of the 2002 UK e-Science All Hands Meeting 2002.
Details
|
BibTeX
|
|
[29]
|
Climateprediction.net: design principles for public resource modelling research.
Stainforth, D. et al.
In Proc. 14th IASTED conference on parallel and distributed computing systems. 2002.
Details
|
BibTeX
|
|
[30]
|
e-Science: A Software Engineering Challenge
Andrew Martin, Lee Momtahan
Poster. 2002.
UK eScience All Hands Meeting.
Details
|
BibTeX
|
|
[31]
|
e-Science Experiences: Software Engineering Practice and the EU DataGrid
Lee Momtahan, Andrew Martin
In Proc. Asia-Pacific Software Engineering Conference pages 269—275. IEEE Press, 2002.
Details
|
BibTeX
|
|
[32]
|
Lifting in Z
A. Martin, C. Fidge
In Proceedings of CATS'2001 No. 42, 2001.
Details
|
BibTeX
|
|
[33]
|
Relating Z and First-order logic
A. P. Martin
Formal Aspects of Computing, Vol. 12, pages 199—209. 2000.
Details
|
BibTeX
|
|
[34]
|
A calculus for schemas in Z
Stephen Brien, Andrew Martin
J. Symbolic Computation, Vol. 30, No. 1, pages 63—91. 2000.
Details
|
BibTeX
|
|
[35]
|
A Calculus for Schemas in Z
S. M. Brien, A. P. Martin
J. Symbolic Computation, Vol. 30, No. 1, pages 63—91. 2000.
Details
|
BibTeX
|
|
[36]
|
Declarative languages in education
H. Glaser et al.
In Encyclopaedia of Microcomputers Vol. 27, pages 79—102. Marcel Dekker Inc. 2000.
Details
|
BibTeX
|
|
[37]
|
Relating Z and first-order logic
Andrew Martin
In Jeanette M. Wing, Jim Woodcock and Jim Davies, editors, FM'99 — Formal Methods No. 1708,1709, pages 1266—1280. Springer-Verlag, September 1999.
Details
|
BibTeX
|
|
[38]
|
Questions and Answers About Ten Formal Methods
P. Hartel et al.
In S. Gnesi, D. Latella, editors, Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems Vol. II, pages 179-203. Trento, Italy. July 1999. ERCIM, STAR/CNR, Pisa, Italy.
Details
|
BibTeX
|
|
[39]
|
Applying the Cogito Program Development Environment to Real-Time System Design
C. J. Fidge, P. Kearney and A. P. Martin
In C. McDonald, editor, Computer Science '98 pages 367—378. Springer-Verlag, 1998.
Proc. 21st Australasian Computer Science Conference, Perth, 4-6 February 1998. Australian Computer Science Communications, Vol. 20, No. 1. Also available as technical report SVRC-TR-97-36.
Details
|
BibTeX
| Link |
|
[40]
|
A Set-Theoretic Model for Real-Time Specification and Reasoning
C. J. Fidge et al.
In J. Jeuring, editor, Mathematics of Program Construction (MPC'98) Vol. 1422 of Lecture Notes in Computer Science, pages 188—206. Springer-Verlag, 1998.
Details
|
BibTeX
|
|
[41]
|
The Cogito development system
Owen Traynor et al.
In Michael Johnson, editor, Algebraic Methodology and Software Technology Vol. 1349 of LNCS, pages 586—591. Berlin. December 1997. Springer-Verlag.
6th International conference, AMAST'97, Sydney, Australia.
Details
|
BibTeX
|
|
[42]
|
W Reconstructed
Jon Hall, Andrew Martin
In Jonathan P. Bowen, Michael G Hinchey and David Till, editors, ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 1997, Proceedings Vol. 1212 of Lecture Notes in Computer Science. Berlin Heidelberg. April 1997. Springer-Verlag.
Details
|
BibTeX
|
|
[43]
|
Improving Angel's Parallel Operator: Gumtree's Approach
Andrew Martin, Ray Nickson and Mark Utting
No. 97-15, Technical Report, Software Verification Research CentreThe University of Queensland, QLD 4072, Australia. 1997.
Details
|
BibTeX
|
|
[44]
|
A Tactic Language for Ergo
A. Martin, R. Nickson and M. Utting
In Lindsay Groves, Steve Reeves, editors, Formal Methods Pacific '97 Singapore. July 1997. Springer-Verlag.
Also appears as TR97-16, Software Verification Research Centre, The University of Queensland, QLD 4072, Australia.
Details
|
BibTeX
|
|
[45]
|
Why effective proof tool support for Z is hard
Andrew Martin
No. 97-34, Technical Report, Software Verification Research Centre. 1997.
Details
|
BibTeX
| Link |
|
[46]
|
Infinite Lists for Specifying Functional Programs in Z
Andrew Martin
In Proceedings of Australian Refinement Workshop University of Queensland, 1996.
Details
|
BibTeX
| Link (ps.gz) |
|
[47]
|
Of Tactics and Monads
Andrew Philip Martin
1996.
Work in progress.
Details
|
BibTeX
|
|
[48]
|
A Tactic Calculus
A. P. Martin, P. H. B. Gardiner and J. C. P. Woodcock
Formal Aspects of Computing, Vol. 8, No. 4, pages 479—489. 1996.
An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing, 8E, pp244—285. http://link.springer.de/link/service/journals/00165/supp/list94_96.htm.
Details
|
BibTeX
|
|
[49]
|
A Tutorial on Proof in Standard Z
Stephen M. Brien, Andrew P. Martin
No. PRG-120, Technical Report, Programming Research Group, Oxford University Computing LaboratoryWolfson Building, Parks Road, Oxford, OX1 3QD, UK. 1995.
Presented at ZUM'95.
Details
|
BibTeX
|
|
[50]
|
Machine-Assisted Theorem-Proving for Software Engineering
Andrew Martin
PhD Thesis, University of Oxford. 1994.
Also available as Technical Monograph PRG-121, ISBN 0-902928-95-3, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK.
Details
|
BibTeX
|
|
[51]
|
Infinite Lists in Z
Andrew Martin
1993.
Draft paper.
Details
|
BibTeX
|
|
[52]
|
Encoding W : A Logic for Z in 2OBJ
Andrew Martin
In J. C. P. Woodcock, P. G. Larsen, editors, FME'93: Industrial-Strength Formal Methods Vol. 670 of Lecture Notes in Computer Science, pages 462—481. Springer-Verlag, 1993.
Details
|
BibTeX
|
|
[53]
|
Soundness of an Encoding of W: A Logic for Z in 2OBJ
Hendrik Hilberdink, Andrew Martin
Technical Report, OUCL(PRG). June 1992.
Details
|
BibTeX
|
|
[54]
|
A Monadic Interpretation of Tactics
Andrew Martin, Jeremy Gibbons
Submitted to MPC2002.
Details
|
BibTeX
|
|
|
|
|
