Andrew Martin

Andrew Martin, Sharon Peperkamp, Emmanuel Dupoux: Learning Phonemes With a Proto-Lexicon. Cognitive Science 37(1): 103-124 (2013)

Wattana Viriyasitavat, Andrew Martin: A Survey of Trust in Workflows and Relevant Contexts. IEEE Communications Surveys and Tutorials 14(3): 911-940 (2012)

Andrew Martin: Enterprise IT Architecture in Large Federated Organizations: The Art of the Possible. IS Management 29(2): 137-147 (2012)

Wattana Viriyasitavat, Li Da Xu, Andrew Martin: SWSpec: The Requirements Specification Language in Service Workflow Environments. IEEE Trans. Industrial Informatics 8(3): 631-638 (2012)

Li Da Xu, Wattana Viriyasitavat, Puripan Ruchikachorn, Andrew Martin: Using Propositional Logic for Requirements Verification of Service Workflow. IEEE Trans. Industrial Informatics 8(3): 639-646 (2012)

John Lyle, Shamal Faily, Ivan Flechais, André Paul, Ayse Göker, Hans I. Myrhaug, Heiko Desruelle, Andrew Martin: On the Design and Development of webinos: A Distributed Mobile Application Middleware. DAIS 2012: 140-147

Anbang Ruan, Andrew Martin: TMR: Towards a Trusted MapReduce Infrastructure. SERVICES 2012: 141-148

Cornelius Namiluko, Andrew Martin: Provenance-Based Model for Verifying Trust-Properties. TRUST 2012: 255-272

David Wallom, Matteo Turilli, Andrew Martin, Anbang Ruan, Gareth Taylor, Nigel Hargreaves, Alan McMoran: myTrustedCloud: trusted cloud infrastructure for security-critical computation and data management. WICSA/ECSA Companion Volume 2012: 82-83

Steve Bannerman, Andrew Martin: A multiple comparative study of test-with development product changes and their effects on team speed and product quality. Empirical Software Engineering 16(2): 177-210 (2011)

Jun Ho Huh, John Lyle, Cornelius Namiluko, Andrew Martin: Managing application whitelists in trusted distributed systems. Future Generation Comp. Syst. 27(2): 211-226 (2011)

Imad M. Abbadi, Andrew Martin: Trust in the Cloud. Inf. Sec. Techn. Report 16(3-4): 108-114 (2011)

David Wallom, Matteo Turilli, Andrew Martin, Anbang Ruan, Gareth Taylor, Nigel Hargreaves, Alan McMoran: myTrustedCloud: Trusted Cloud Infrastructure for Security-critical Computation and Data Managment. CloudCom 2011: 247-254

Wattana Viriyasitavat, Andrew Martin: Formalizing Trust Requirements and Specification in Service Workflow Environments. ICEIS (3) 2011: 196-206

Imad M. Abbadi, Cornelius Namiluko, Andrew Martin: Insiders analysis in Cloud computing focusing on home healthcare system. ICITST 2011: 350-357

Cornelius Namiluko, Jun Ho Huh, Andrew Martin: Verifying Trustworthiness of Virtual Appliances in Collaborative Environments. TRUST 2011: 1-15

Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin: A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4) (2010)

Andrew Martin, Jim Davies, Steve Harris: Towards a Framework for Security in eScience. eScience 2010: 230-237

Wattana Viriyasitavat, Andrew Martin: Formal Trust Specification in Service Workflows. EUC 2010: 703-710

Andrew Martin, Andrew Lim, Simon Colton, Cameron Browne: Evolving 3D Buildings for the Prototype Video Game Subversion. EvoApplications (1) 2010: 111-120

Cornelius Namiluko, Andrew Martin: An Abstract Model of a Trusted Platform. INTRUST 2010: 47-66

John Lyle, Andrew Martin: Engineering Attestable Services. TRUST 2010: 257-264

John Lyle, Andrew Martin: On the Feasibility of Remote Attestation for Web Services. CSE (3) 2009: 283-288

Jun Ho Huh, Andrew Martin: Towards a Trustable Virtual Organisation. ISPA 2009: 425-431

Liqun Chen, Chris J. Mitchell, Andrew Martin (Eds.): Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. Lecture Notes in Computer Science 5471, Springer 2009, isbn 978-3-642-00586-2

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)

Andrew Martin, Po-Wah Yau: Grid security: Next steps. Inf. Sec. Techn. Report 12(3): 113-122 (2007)

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)

Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)

Lee Momtahan, Andrew Martin, A. W. Roscoe: A Taxonomy of Web Services Using CSP. Electr. Notes Theor. Comput. Sci. 151(2): 71-87 (2006)

Andrew Martin: Successful IT application architecture design: an empirical study. Inf. Syst. E-Business Management 4(2): 107-135 (2006)

Andrew Martin, Deepak Khazanchi: Information Availability and Security Policy. AMCIS 2006: 168

Andrew Cooper, Andrew Martin: Towards a Secure, Tamper-Proof Grid Platform. CCGRID 2006: 373-380

Andrew Cooper, Andrew Martin: Towards an open, trusted digital rights management platform. Digital Rights Management Workshop 2006: 79-88

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

Wenbo Mao, Andrew Martin, Hai Jin, Huanguo Zhang: Innovations for Grid Security from Trusted Computing. Security Protocols Workshop 2006: 132-149

Howard Chivers, Andrew Martin: Editorial. Softw., Pract. Exper. 35(9): 799-800 (2005)

François Guimbretière, Andrew Martin, Terry Winograd: Benefits of merging command selection and direct manipulation. ACM Trans. Comput.-Hum. Interact. 12(3): 460-476 (2005)

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

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

Ernest A. Edmonds, Andrew Martin, Sandra Pauletto: Audio-visual interfaces in digital art. Advances in Computer Entertainment Technology 2004: 331-336

Jim Davies, Andrew Simpson, Andrew Martin: Teaching Formal Methods in Context. TFM 2004: 185-202

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

Andrew Martin, Andrew Simpson: Generalising the Z Schema Calculus: Database Schemas and Beyond. APSEC 2003: 28-37

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

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

Lee Momtahan, Andrew Martin: e-Science Experiences: Software Engineering Practice and the EU DataGrid. APSEC 2002: 269-275

Kenneth McGarry, Andrew Martin, J. F. Dale Addison, John MacIntyre: Data Mining and User Profiling for An E-Commerce System. FSKD 2002: 682-

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

Andrew Martin, Colin J. Fidge: Lifting in Z. Electr. Notes Theor. Comput. Sci. 42: 197-219 (2001)

Andrew Martin: Relating Z and First-Order Logic. Formal Asp. Comput. 12(3): 199-209 (2000)

Philip Yetton, Andrew Martin, Rajeev Sharma, Kim Johnston: A model of information systems development project performance. Inf. Syst. J. 10(4): 263-290 (2000)

Philip Yetton, Andrew Martin, Rajeev Sharma, Kim Johnston: Reframing IS Project Management: Building an Empirical Model of Project Performance. ECIS 1999: 732-749

Andrew Martin: Relating Z and First-Order Logic. World Congress on Formal Methods 1999: 1266-1280

Matt Kaufmann, Andrew Martin, Carl Pixley: Design Constraints in Symbolic Model Checking. CAV 1998: 477-487

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman: The Cogito Development System. AMAST 1997: 586-591

Jon G. Hall, Andrew Martin: W Reconstructed. ZUM 1997: 115-134

Andrew Martin, M. Chan: Information Systems Project Redefinition in New Zealand: Will We Ever Learn? Australian Computer Journal 28(1): 27-40 (1996)

Andrew Martin: Workflow support for re-engineering case management in an English law firm. Business Process Re-Engineering 1994: 421-432

Andrew Martin: Encoding W: A Logic for Z in 2OBJ. FME 1993: 462-481