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 |