The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrew Martin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Andrew Martin, Andrew Simpson
    Generalising the Z Schema Calculus: Database Schemas and Beyond. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:28-37 [Conf]
  4. 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]
  5. 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]
  6. Matt Kaufmann, Andrew Martin, Carl Pixley
    Design Constraints in Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:477-487 [Conf]
  7. Andrew Cooper, Andrew Martin
    Towards a Secure, Tamper-Proof Grid Platform. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2006, pp:373-380 [Conf]
  8. Andrew Martin
    Encoding W: A Logic for Z in 2OBJ. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:462-481 [Conf]
  9. Andrew Martin
    Relating Z and First-Order Logic. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1266-1280 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Jim Davies, Andrew Simpson, Andrew Martin
    Teaching Formal Methods in Context. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:185-202 [Conf]
  15. 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]
  16. Jon G. Hall, Andrew Martin
    W Reconstructed. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:115-134 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Howard Chivers, Andrew Martin
    Editorial. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2005, v:35, n:9, pp:799-800 [Journal]
  27. Andrew Martin, Colin J. Fidge
    Lifting in Z. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  28. 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]
  29. 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]

  30. Towards an open, trusted digital rights management platform. [Citation Graph (, )][DBLP]


  31. Evolving 3D Buildings for the Prototype Video Game Subversion. [Citation Graph (, )][DBLP]


  32. Innovations for Grid Security from Trusted Computing. [Citation Graph (, )][DBLP]


  33. Engineering Attestable Services. [Citation Graph (, )][DBLP]


  34. On the Feasibility of Remote Attestation for Web Services. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.302secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002