dblp.uni-trier.dewww.uni-trier.de

Andrew Martin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
32EELiqun Chen, Chris J. Mitchell, Andrew Martin: Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings Springer 2009
2007
31EEEmanuela 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)
30EEKieran 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
29EEAndrew Cooper, Andrew Martin: Towards a Secure, Tamper-Proof Grid Platform. CCGRID 2006: 373-380
28EEAndrew Cooper, Andrew Martin: Towards an open, trusted digital rights management platform. Digital Rights Management Workshop 2006: 79-88
27EEDavid 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
26EEAlvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
25EELee Momtahan, Andrew Martin, A. W. Roscoe: A Taxonomy of Web Services Using CSP. Electr. Notes Theor. Comput. Sci. 151(2): 71-87 (2006)
24EEAndrew Martin: Successful IT application architecture design: an empirical study. Inf. Syst. E-Business Management 4(2): 107-135 (2006)
2005
23EEFrançois Guimbretière, Andrew Martin, Terry Winograd: Benefits of merging command selection and direct manipulation. ACM Trans. Comput.-Hum. Interact. 2005: 460-476
22EERichard 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
21EEKenneth 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
20EEHoward Chivers, Andrew Martin: Editorial. Softw., Pract. Exper. 35(9): 799-800 (2005)
2004
19EEErnest A. Edmonds, Andrew Martin, Sandra Pauletto: Audio-visual interfaces in digital art. Advances in Computer Entertainment Technology 2004: 331-336
18EEJim Davies, Andrew Simpson, Andrew Martin: Teaching Formal Methods in Context. TFM 2004: 185-202
17EEDave 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
16EEAndrew Martin, Andrew Simpson: Generalising the Z Schema Calculus: Database Schemas and Beyond. APSEC 2003: 28-37
15EEAndrew 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
14EEMark 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
13EELee 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
10EEAndrew Martin, Colin J. Fidge: Lifting in Z. Electr. Notes Theor. Comput. Sci. 42: (2001)
2000
9EEAndrew Martin: Relating Z and First-Order Logic. Formal Asp. Comput. 12(3): 199-209 (2000)
8EEPhilip Yetton, Andrew Martin, Rajeev Sharma, Kim Johnston: A model of information systems development project performance. Inf. Syst. J. 10(4): 263-290 (2000)
1999
7EEAndrew 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)