2009 |
32 | EE | Liqun Chen,
Chris J. Mitchell,
Andrew Martin:
Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings
Springer 2009 |
2007 |
31 | EE | Emanuela Merelli,
Giuliano Armano,
Nicola Cannata,
Flavio Corradini,
Mark d'Inverno,
Andreas Doms,
Phillip W. Lord,
Andrew Martin,
Luciano Milanesi,
Steffen Möller,
Michael Schroeder,
Michael Luck:
Agents in bioinformatics, computational and systems biology.
Briefings in Bioinformatics 8(1): 45-59 (2007) |
30 | EE | Kieran Hervold,
Andrew Martin,
Roger A. Kirkpatrick,
Paul F. Mc Kenna,
F. A. Ramirez-Weber:
Hedgehog Signaling Pathway Database: a repository of current annotation efforts and resources for the Hh research community.
Nucleic Acids Research 35(Database-Issue): 595-598 (2007) |
2006 |
29 | EE | Andrew Cooper,
Andrew Martin:
Towards a Secure, Tamper-Proof Grid Platform.
CCGRID 2006: 373-380 |
28 | EE | Andrew Cooper,
Andrew Martin:
Towards an open, trusted digital rights management platform.
Digital Rights Management Workshop 2006: 79-88 |
27 | EE | David Spence,
Neil Geddes,
Jens Jensen,
Andrew Richards,
Matthew Viljoen,
Andrew Martin,
Matthew J. Dovey,
Mark Norman,
Kang Tang,
Anne E. Trefethen,
David Wallom,
Rob Allan,
David Meredith:
ShibGrid: Shibboleth Access for the UK National Grid Service.
e-Science 2006: 75 |
26 | EE | Alvaro E. Arenas,
Jin Song Dong,
Andrew Martin,
Brian Matthews:
Preface.
Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006) |
25 | EE | Lee Momtahan,
Andrew Martin,
A. W. Roscoe:
A Taxonomy of Web Services Using CSP.
Electr. Notes Theor. Comput. Sci. 151(2): 71-87 (2006) |
24 | EE | Andrew Martin:
Successful IT application architecture design: an empirical study.
Inf. Syst. E-Business Management 4(2): 107-135 (2006) |
2005 |
23 | EE | François Guimbretière,
Andrew Martin,
Terry Winograd:
Benefits of merging command selection and direct manipulation.
ACM Trans. Comput.-Hum. Interact. 2005: 460-476 |
22 | EE | Richard E. Ladner,
Melody Y. Ivory,
Rajesh Rao,
Sheryl Burgstahler,
Dan Comden,
Sangyun Hahn,
Matthew Renzelmann,
Satria Krisnandi,
Mahalakshmi Ramasamy,
Beverly Slabosky,
Andrew Martin,
Amelia Lacenski,
Stuart Olsen,
Dmitri Groce:
Automating tactile graphics translation.
ASSETS 2005: 150-157 |
21 | EE | Kenneth McGarry,
Andrew Martin,
J. F. Dale Addison:
Data Mining and User Profiling for an E-Commerce System.
Classification and Clustering for Knowledge Discovery 2005: 175-189 |
20 | EE | Howard Chivers,
Andrew Martin:
Editorial.
Softw., Pract. Exper. 35(9): 799-800 (2005) |
2004 |
19 | EE | Ernest A. Edmonds,
Andrew Martin,
Sandra Pauletto:
Audio-visual interfaces in digital art.
Advances in Computer Entertainment Technology 2004: 331-336 |
18 | EE | Jim Davies,
Andrew Simpson,
Andrew Martin:
Teaching Formal Methods in Context.
TFM 2004: 185-202 |
17 | EE | Dave Stainforth,
Andrew Martin,
Andrew Simpson,
Carl Christensen,
Jamie Kettleborough,
Tolu Aina,
Myles Allen:
Security Principles for Public-Resource Modeling Research.
WETICE 2004: 319-324 |
2003 |
16 | EE | Andrew Martin,
Andrew Simpson:
Generalising the Z Schema Calculus: Database Schemas and Beyond.
APSEC 2003: 28-37 |
15 | EE | Andrew Simpson,
Andrew Martin,
Jeremy Gibbons,
Jim Davies,
Steve McKeever:
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.
ICSE 2003: 628-633 |
14 | EE | Mark Utting,
Ian Toyn,
Jing Sun,
Andrew Martin,
Jin Song Dong,
Nicholas Daley,
David W. Currie:
ZML: XML Support for Standard Z.
ZB 2003: 437-456 |
2002 |
13 | EE | Lee Momtahan,
Andrew Martin:
e-Science Experiences: Software Engineering Practice and the EU DataGrid.
APSEC 2002: 269-275 |
12 | | Kenneth McGarry,
Andrew Martin,
J. F. Dale Addison,
John MacIntyre:
Data Mining and User Profiling for An E-Commerce System.
FSKD 2002: 682- |
11 | | Dave Stainforth,
Jamie Kettleborough,
Andrew Martin,
Andrew Simpson,
R. Gillis,
A. Akkas,
R. Gault,
Mat Collins,
David Gavaghan,
Myles Allen:
Climateprediction.net: Design Principles for Publicresource Modeling Research.
IASTED PDCS 2002: 32-38 |
2001 |
10 | EE | Andrew Martin,
Colin J. Fidge:
Lifting in Z.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
2000 |
9 | EE | Andrew Martin:
Relating Z and First-Order Logic.
Formal Asp. Comput. 12(3): 199-209 (2000) |
8 | EE | Philip Yetton,
Andrew Martin,
Rajeev Sharma,
Kim Johnston:
A model of information systems development project performance.
Inf. Syst. J. 10(4): 263-290 (2000) |
1999 |
7 | EE | Andrew Martin:
Relating Z and First-Order Logic.
World Congress on Formal Methods 1999: 1266-1280 |
1998 |
6 | | Matt Kaufmann,
Andrew Martin,
Carl Pixley:
Design Constraints in Symbolic Model Checking.
CAV 1998: 477-487 |
1997 |
5 | | Owen Traynor,
Daniel Hazel,
Peter Kearney,
Andrew Martin,
Ray Nickson,
Luke Wildman:
The Cogito Development System.
AMAST 1997: 586-591 |
4 | | Jon G. Hall,
Andrew Martin:
W Reconstructed.
ZUM 1997: 115-134 |
1996 |
3 | | Andrew Martin,
M. Chan:
Information Systems Project Redefinition in New Zealand: Will We Ever Learn?
Australian Computer Journal 28(1): 27-40 (1996) |
1994 |
2 | | Andrew Martin:
Workflow support for re-engineering case management in an English law firm.
Business Process Re-Engineering 1994: 421-432 |
1993 |
1 | | Andrew Martin:
Encoding W: A Logic for Z in 2OBJ.
FME 1993: 462-481 |