|
|
Andrew Martin: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
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
|
|
[2]
|
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) |
|
[3]
|
A Monadic Interpretation of Tactics
Andrew Martin, Jeremy Gibbons
Submitted to MPC2002.
Details
|
BibTeX
|
|
[4]
|
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
|
|
[5]
|
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
|
|
[6]
|
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
|
|
[7]
|
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
|
|
[8]
|
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
|
|
[9]
|
A calculus for schemas in Z
Stephen Brien, Andrew Martin
J. Symbolic Computation, Vol. 30, No. 1, pages 63—91. 2000.
Details
|
BibTeX
|
|
[10]
|
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) |
|
[11]
|
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 |
|
[12]
|
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)
|
|
[13]
|
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
|
|
[14]
|
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
| Link (pdf) |
|
[15]
|
Declarative languages in education
H. Glaser et al.
In Encyclopaedia of Microcomputers Vol. 27, pages 79—102. Marcel Dekker Inc. 2000.
Details
|
BibTeX
|
|
[16]
|
Editorial, Guest Editors, Special issue on Grid Security
Howard Chivers, Andrew Martin
Software—-Practice and Experience, Vol. 35, No. 9, July 2005.
Details
|
BibTeX
|
|
[17]
|
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
|
|
[18]
|
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
|
|
[19]
|
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
|
|
[20]
|
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
|
|
[21]
|
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
|
|
[22]
|
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) |
|
[23]
|
Infinite Lists in Z
Andrew Martin
1993.
Draft paper.
Details
|
BibTeX
|
|
[24]
|
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
|
|
[25]
|
Lifting in Z
A. Martin, C. Fidge
In Proceedings of CATS'2001 No. 42, 2001.
Details
|
BibTeX
|
|
[26]
|
Machine-Assisted Theorem-Proving for Software Engineering
Andrew Martin
PhD Thesis, D.Phil. 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
|
|
[27]
|
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) |
|
[28]
|
Of Tactics and Monads
Andrew Philip Martin
1996.
Work in progress.
Details
|
BibTeX
|
|
[29]
|
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
|
|
[30]
|
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
|
|
[31]
|
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
|
|
[32]
|
Preface.
Alvaro E. Arenas et al.
Electr. Notes Theor. Comput. Sci. Vol. 151, No. 2, pages 1. 2006.
Details
|
BibTeX
|
|
[33]
|
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
|
|
[34]
|
Relating Z and First-order logic
A. P. Martin
Formal Aspects of Computing, Vol. 12, pages 199—209. 2000.
Details
|
BibTeX
|
|
[35]
|
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
|
|
[36]
|
Scientific middleware for abstracted parallelisation
Daniel Goodman
No. RR-05-07, Technical Report, Oxford University Computing Laboratory. November 2005.
Details
|
BibTeX
|
|
[37]
|
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
|
|
[38]
|
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
|
|
[39]
|
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
|
|
[40]
|
The Ten Page Introduction to Trusted Computing
Andrew Martin
No. RR-08-11, Technical Report, OUCL. December 2008.
Details
|
BibTeX
| Download |
|
[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]
|
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
|
|
[45]
|
Trusted Delegation for Grid Computing
Andrew Cooper, Andrew Martin
In The Second Workshop on Advances in Trusted Computing 2006.
Details
|
BibTeX
|
|
[46]
|
Trusted Logging for Grid Computing
Jun Ho Huh, Andrew Martin
In Asia-Pacific Trusted Infrastructure Technologies Conference Vol. 0, pages 30-42. Los Alamitos, CA, USA. 2008. IEEE Computer Society.
Details
|
BibTeX
| Link |
|
[47]
|
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
|
|
[48]
|
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
|
|
[49]
|
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
|
|
[50]
|
Why effective proof tool support for Z is hard
Andrew Martin
No. 97-34, Technical Report, Software Verification Research Centre. 1997.
Details
|
BibTeX
| Link |
|
[51]
|
climateprediction.com: security and design planning
Stainforth, D. et al.
In Proceedings of the 2002 UK e-Science All Hands Meeting 2002.
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]
|
ShibGrid: Shibboleth Access for the UK National Grid Service
David Spence et al.
In eScience 2006, Amsterdam 2006.
Details
|
BibTeX
|
|
[54]
|
Soundness of an Encoding of W: A Logic for Z in 2OBJ
Hendrik Hilberdink, Andrew Martin
Technical Report, OUCL(PRG). June 1992.
Details
|
BibTeX
|
|
[55]
|
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
|
|
[56]
|
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
|
|
[57]
|
e-Science: A Software Engineering Challenge
Andrew Martin, Lee Momtahan
Poster. 2002.
UK eScience All Hands Meeting.
Details
|
BibTeX
|
|
|
|
|
