Search the dblp DataBase
Andrew Martin :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ernest A. Edmonds , Andrew Martin , Sandra Pauletto Audio-visual interfaces in digital art. [Citation Graph (0, 0)][DBLP ] Advances in Computer Entertainment Technology, 2004, pp:331-336 [Conf ] Owen Traynor , Daniel Hazel , Peter Kearney , Andrew Martin , Ray Nickson , Luke Wildman The Cogito Development System. [Citation Graph (0, 0)][DBLP ] AMAST, 1997, pp:586-591 [Conf ] Andrew Martin , Andrew Simpson Generalising the Z Schema Calculus: Database Schemas and Beyond. [Citation Graph (0, 0)][DBLP ] APSEC, 2003, pp:28-37 [Conf ] Lee Momtahan , Andrew Martin e-Science Experiences: Software Engineering Practice and the EU DataGrid. [Citation Graph (0, 0)][DBLP ] APSEC, 2002, pp:269-275 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASSETS, 2005, pp:150-157 [Conf ] Matt Kaufmann , Andrew Martin , Carl Pixley Design Constraints in Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:477-487 [Conf ] Andrew Cooper , Andrew Martin Towards a Secure, Tamper-Proof Grid Platform. [Citation Graph (0, 0)][DBLP ] CCGRID, 2006, pp:373-380 [Conf ] Andrew Martin Encoding W: A Logic for Z in 2OBJ. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:462-481 [Conf ] Andrew Martin Relating Z and First-Order Logic. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1266-1280 [Conf ] Kenneth McGarry , Andrew Martin , J. F. Dale Addison , John MacIntyre Data Mining and User Profiling for An E-Commerce System. [Citation Graph (0, 0)][DBLP ] FSKD, 2002, pp:682-0 [Conf ] Andrew Simpson , Andrew Martin , Jeremy Gibbons , Jim Davies , Steve McKeever On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:628-633 [Conf ] Andrew Martin Workflow support for re-engineering case management in an English law firm. [Citation Graph (0, 0)][DBLP ] Business Process Re-Engineering, 1994, pp:421-432 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IASTED PDCS, 2002, pp:32-38 [Conf ] Jim Davies , Andrew Simpson , Andrew Martin Teaching Formal Methods in Context. [Citation Graph (0, 0)][DBLP ] TFM, 2004, pp:185-202 [Conf ] Dave Stainforth , Andrew Martin , Andrew Simpson , Carl Christensen , Jamie Kettleborough , Tolu Aina , Myles Allen Security Principles for Public-Resource Modeling Research. [Citation Graph (0, 0)][DBLP ] WETICE, 2004, pp:319-324 [Conf ] Jon G. Hall , Andrew Martin W Reconstructed. [Citation Graph (0, 0)][DBLP ] ZUM, 1997, pp:115-134 [Conf ] Mark Utting , Ian Toyn , Jing Sun , Andrew Martin , Jin Song Dong , Nicholas Daley , David W. Currie ZML: XML Support for Standard Z. [Citation Graph (0, 0)][DBLP ] ZB, 2003, pp:437-456 [Conf ] Andrew Martin , M. Chan Information Systems Project Redefinition in New Zealand: Will We Ever Learn? [Citation Graph (0, 0)][DBLP ] Australian Computer Journal, 1996, v:28, n:1, pp:27-40 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Briefings in Bioinformatics, 2007, v:8, n:1, pp:45-59 [Journal ] Alvaro E. Arenas , Jin Song Dong , Andrew Martin , Brian Matthews Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:1- [Journal ] Lee Momtahan , Andrew Martin , A. W. Roscoe A Taxonomy of Web Services Using CSP. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:71-87 [Journal ] Andrew Martin Relating Z and First-Order Logic. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2000, v:12, n:3, pp:199-209 [Journal ] Andrew Martin Successful IT application architecture design: an empirical study. [Citation Graph (0, 0)][DBLP ] Inf. Syst. E-Business Management, 2006, v:4, n:2, pp:107-135 [Journal ] Philip Yetton , Andrew Martin , Rajeev Sharma , Kim Johnston A model of information systems development project performance. [Citation Graph (0, 0)][DBLP ] Inf. Syst. J., 2000, v:10, n:4, pp:263-290 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2007, v:35, n:Database-Issue, pp:595-598 [Journal ] Howard Chivers , Andrew Martin Editorial. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2005, v:35, n:9, pp:799-800 [Journal ] Andrew Martin , Colin J. Fidge Lifting in Z. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal ] François Guimbretière , Andrew Martin , Terry Winograd Benefits of merging command selection and direct manipulation. [Citation Graph (0, 0)][DBLP ] , 2005, v:, n:, pp:460-476 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] e-Science, 2006, pp:75- [Conf ] Towards an open, trusted digital rights management platform. [Citation Graph (, )][DBLP ] Evolving 3D Buildings for the Prototype Video Game Subversion. [Citation Graph (, )][DBLP ] Innovations for Grid Security from Trusted Computing. [Citation Graph (, )][DBLP ] Engineering Attestable Services. [Citation Graph (, )][DBLP ] On the Feasibility of Remote Attestation for Web Services. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.302secs