Andrew Martin

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 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

Coauthor Index

1	J. F. Dale Addison	[12] [21]
2	Tolu Aina	[17]
3	A. Akkas	[11]
4	Rob Allan	[27]
5	Myles Allen	[11] [17]
6	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[26]
7	Giuliano Armano	[31]
8	Sheryl Burgstahler	[22]
9	Nicola Cannata	[31]
10	M. Chan	[3]
11	Howard Chivers	[20]
12	Carl Christensen	[17]
13	Mat Collins	[11]
14	Dan Comden	[22]
15	Andrew Cooper	[28] [29]
16	Flavio Corradini	[31]
17	David W. Currie	[14]
18	Nicholas Daley	[14]
19	Jim Davies	[15] [18]
20	Andreas Doms	[31]
21	Jin Song Dong	[14] [26]
22	Matthew Dovey	[27]
23	Ernest A. Edmonds	[19]
24	Colin J. Fidge	[10]
25	R. Gault	[11]
26	David Gavaghan	[11]
27	Neil Geddes	[27]
28	Jeremy Gibbons	[15]
29	R. Gillis	[11]
30	Dmitri Groce	[22]
31	François Guimbretière	[23]
32	Sangyun Hahn	[22]
33	Jon G. Hall	[4]
34	Daniel Hazel	[5]
35	Kieran Hervold	[30]
36	Melody Y. Ivory	[22]
37	Jens Jensen	[27]
38	Kim Johnston	[8]
39	Matt Kaufmann	[6]
40	Peter Kearney	[5]
41	Paul F. Mc Kenna	[30]
42	Jamie Kettleborough	[11] [17]
43	Roger A. Kirkpatrick	[30]
44	Satria Krisnandi	[22]
45	Amelia Lacenski	[22]
46	Richard E. Ladner	[22]
47	Phillip W. Lord	[31]
48	Michael Luck	[31]
49	John MacIntyre	[12]
50	Brian Matthews	[26]
51	Kenneth McGarry	[12] [21]
52	Steve McKeever	[15]
53	David Meredith	[27]
54	Emanuela Merelli	[31]
55	Luciano Milanesi	[31]
56	Steffen Möller	[31]
57	Lee Momtahan	[13] [25]
58	Ray Nickson	[5]
59	Mark Norman	[27]
60	Stuart Olsen	[22]
61	Sandra Pauletto	[19]
62	Carl Pixley	[6]
63	Mahalakshmi Ramasamy	[22]
64	F. A. Ramirez-Weber	[30]
65	Rajesh Rao	[22]
66	Matthew Renzelmann	[22]
67	Andrew Richards	[27]
68	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[25]
69	Michael Schroeder	[31]
70	Rajeev Sharma	[8]
71	Andrew Simpson	[11] [15] [16] [17] [18]
72	Beverly Slabosky	[22]
73	David Spence	[27]
74	Dave Stainforth	[11] [17]
75	Jing Sun	[14]
76	Kang Tang	[27]
77	Ian Toyn	[14]
78	Owen Traynor	[5]
79	Anne E. Trefethen	[27]
80	Mark Utting	[14]
81	Matthew Viljoen	[27]
82	David Wallom	[27]
83	Luke Wildman	[5]
84	Terry Winograd	[23]
85	Philip Yetton	[8]
86	Mark d'Inverno	[31]

Colors in the list of coauthors