 | 2011 |
| 14 |  | Daniel Abler,
Charles Crichton,
James Welch,
Jim Davies,
Steve Harris:
Models for forms.
SPLASH Workshops 2011: 13-18 |
| 13 |  | M. S. Avila-Garcia,
X. Xiong,
Anne E. Trefethen,
Charles Crichton,
Andrew Tsui,
P. Hu:
A Virtual Research Environment for Cancer Imaging Research.
eScience 2011: 1-6 |
| 2009 |
| 12 |  | Charles Crichton,
Jim Davies,
Jeremy Gibbons,
Steve Harris,
Aadya Shukla,
Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications.
HICSS 2009: 1-10 |
| 2008 |
| 11 |  | Steve Harris,
Jeremy Gibbons,
Jim Davies,
Andrew Tsui,
Charles Crichton:
Semantic technologies in electronic government.
ICEGOV 2008: 45-51 |
| 10 |  | Jim Davies,
Steve Harris,
Charles Crichton,
Aadya Shukla,
Jeremy Gibbons:
Metadata standards for semantic interoperability in electronic government.
ICEGOV 2008: 67-75 |
| 9 |  | Tianyi Zang,
Radu Calinescu,
Steve Harris,
Andrew Tsui,
Charles Crichton,
Marta Z. Kwiatkowska,
Jeremy Gibbons,
Jim Davies,
James D. Brenton,
Carlos H. Caldas:
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.
eScience 2008: 406-407 |
| 2007 |
| 8 |  | Charles Crichton,
Jim Davies,
Jeremy Gibbons,
Steve Harris,
Aadya Shukla:
Semantic frameworks for e-government.
ICEGOV 2007: 30-39 |
| 2005 |
| 7 |  | Jim Davies,
Charles Crichton,
Edward Crichton,
David Neilson,
Ib Holm Sørensen:
Formality, Evolution, and Model-driven Software Engineering.
Electr. Notes Theor. Comput. Sci. 130: 39-55 (2005) |
| 2004 |
| 6 |  | Alessandra Cavarra,
Charles Crichton,
Jim Davies:
A method for the automatic generation of test suites from object models.
Information & Software Technology 46(5): 309-314 (2004) |
| 2003 |
| 5 |  | Jim Davies,
Charles Crichton:
Using State Diagrams to Describe Concurrent Behaviour.
ICFEM 2003: 105-124 |
| 4 |  | Jim Davies,
Charles Crichton,
Alessandra Cavarra:
A Method for the Automatic Generation of Test Suites from Object Models.
SAC 2003: 1104-1109 |
| 3 |  | Jim Davies,
Charles Crichton:
Concurrency and Refinement in the Unified Modeling Language.
Formal Asp. Comput. 15(2-3): 118-145 (2003) |
| 2002 |
| 2 |  | Jim Davies,
Charles Crichton:
Concurrency and refinement in the UML.
Electr. Notes Theor. Comput. Sci. 70(3): 217-243 (2002) |
| 1999 |
| 1 |  | Charles Crichton,
Jim Davies,
Jim Woodcock:
When to Trust Mobile Objects: Access Control in the Jini(tm) Software System.
TOOLS (30) 1999: 116-125 |