| 2009 |
|---|
| 54 | EE | Charles Crichton,
Jim Davies,
Jeremy Gibbons,
Steve Harris,
Aadya Shukla,
Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications.
HICSS 2009: 1-10 |
| 2008 |
|---|
| 53 | EE | Tianyi Zang,
Radu Calinescu,
Steve Harris,
Andrew Tsui,
Marta Z. Kwiatkowska,
Jeremy Gibbons,
Jim Davies,
Peter Maccallum,
Carlos H. Caldas:
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
CCGRID 2008: 73-81 |
| 52 | EE | Steve Harris,
Jeremy Gibbons,
Jim Davies,
Andrew Tsui,
Charles Crichton:
Semantic technologies in electronic government.
ICEGOV 2008: 45-51 |
| 51 | EE | Jim Davies,
Steve Harris,
Charles Crichton,
Aadya Shukla,
Jeremy Gibbons:
Metadata standards for semantic interoperability in electronic government.
ICEGOV 2008: 67-75 |
| 50 | EE | Jim Davies,
David Faitelson,
James Welch:
Domain-specific Semantics and Data Refinement of Object Models.
Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008) |
| 49 | EE | Jim Davies,
Ashok K. Goel,
Patrick W. Yaner:
Proteus: Visuospatial analogy in problem-solving.
Knowl.-Based Syst. 21(7): 636-654 (2008) |
| 48 | EE | James Welch,
David Faitelson,
Jim Davies:
Automatic maintenance of association invariants.
Software and System Modeling 7(3): 287-301 (2008) |
| 2007 |
|---|
| 47 | | Jim Davies,
Jeremy Gibbons:
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Springer 2007 |
| 46 | EE | Charles Crichton,
Jim Davies,
Jeremy Gibbons,
Steve Harris,
Aadya Shukla:
Semantic frameworks for e-government.
ICEGOV 2007: 30-39 |
| 45 | EE | Jim Davies,
Tomasz Janowski,
Adegboyega K. Ojo,
Aadya Shukla:
Technological foundations of electronic governance.
ICEGOV 2007: 5-11 |
| 44 | EE | Radu Calinescu,
Steve Harris,
Jeremy Gibbons,
Jim Davies,
Igor Toujilov,
Sylvia B. Nagl:
Model-driven architecture for cancer research.
SEFM 2007: 59-68 |
| 43 | EE | David Faitelson,
James Welch,
Jim Davies:
From Predicates to Programs: The Semantics of a Method Language.
Electr. Notes Theor. Comput. Sci. 184: 171-187 (2007) |
| 42 | EE | Jim Davies,
Ashok K. Goel:
Transfer of problem-solving strategy using Covlan.
J. Vis. Lang. Comput. 18(2): 149-164 (2007) |
| 2006 |
|---|
| 41 | EE | Matthew Leslie,
Jim Davies,
Todd Huffman:
Replication Strategies for Reliable Decentralised Storage.
ARES 2006: 740-747 |
| 40 | EE | Jim Davies,
James Welch,
Alessandra Cavarra,
Edward Crichton:
On the Generation of Object Databases using Booster.
ICECCS 2006: 249-258 |
| 39 | EE | Jim Davies,
Janice I. Glasgow,
Tony Kuo:
Protein Structure Prediction with Visuospatial Analogy.
Spatial Cognition 2006: 127-139 |
| 38 | EE | Christie Bolton,
Jim Davies:
A singleton failures semantics for Communicating Sequential Processes.
Formal Asp. Comput. 18(2): 181-210 (2006) |
| 37 | EE | Janice I. Glasgow,
Tony Kuo,
Jim Davies:
Protein Structure from Contact Maps: A Case-Based Reasoning Approach.
Information Systems Frontiers 8(1): 29-36 (2006) |
| 36 | EE | Matthew Leslie,
Jim Davies,
Todd Huffman:
A Comparison of Replication Strategies for Reliable Decentralised Storage.
JNW 1(6): 36-44 (2006) |
| 2005 |
|---|
| 35 | | Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian:
Transfer of Problem-Solving Strategy Using the Cognitive Visual Language.
DMS 2005: 293-298 |
| 34 | EE | Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian:
Transfer in Visual Case-Based Problem Solving.
ICCBR 2005: 163-176 |
| 33 | EE | Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian:
A Cognitive Model of Visual Analogical Problem-Solving Transfer.
IJCAI 2005: 1556-1557 |
| 32 | EE | James Welch,
David Faitelson,
Jim Davies:
Automatic Maintenance of Association Invariants.
SEFM 2005: 282-292 |
| 31 | EE | 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 |
|---|
| 30 | | Jim Davies,
Wolfram Schulte,
Michael Barnett:
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Springer 2004 |
| 29 | EE | Jim Davies:
Using CSP.
PSSE 2004: 64-122 |
| 28 | EE | Jim Davies,
Andrew Simpson,
Andrew Martin:
Teaching Formal Methods in Context.
TFM 2004: 185-202 |
| 27 | EE | 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 |
|---|
| 26 | EE | Jim Davies,
Charles Crichton:
Using State Diagrams to Describe Concurrent Behaviour.
ICFEM 2003: 105-124 |
| 25 | EE | 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 |
| 24 | | Jim Davies,
Ashok K. Goel:
Visual Case-Based Reasoning II: Transfer and Adaptation.
IICAI 2003: 769-778 |
| 23 | | Jim Davies,
Charles Crichton,
Alessandra Cavarra:
A Method for the Automatic Generation of Test Suites from Object Models.
SAC 2003: 1104-1109 |
| 22 | EE | Jim Davies,
Charles Crichton:
Concurrency and Refinement in the Unified Modeling Language.
Formal Asp. Comput. 15(2-3): 118-145 (2003) |
| 2002 |
|---|
| 21 | EE | Christie Bolton,
Jim Davies:
Refinement in Object-Z and CSP.
IFM 2002: 225-244 |
| 20 | EE | Christie Bolton,
Jim Davies:
A comparison of refinement orderings and their associated simulation rules.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 19 | EE | Jim Davies,
Charles Crichton:
Concurrency and refinement in the UML.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 18 | | Jim Davies,
Ashok K. Goel:
Visual Analogy in Problem Solving.
IJCAI 2001: 377-384 |
| 17 | EE | Lillian (Boots) Cassel,
Mark A. Holliday,
Deepak Kumar,
John Impagliazzo,
Kevin Bolding,
Murray Pearson,
Jim Davies,
Gregory S. Wolffe,
William Yurcik:
Distributed expertise for teaching computer organization & architecture.
SIGCSE Bulletin 33(2): 111-126 (2001) |
| 2000 |
|---|
| 16 | | Christie Bolton,
Jim Davies:
Using Relational and Behavioural Semantics in the Verification of Object Models.
FMOODS 2000: 163-182 |
| 15 | EE | Christie Bolton,
Jim Davies:
Activity Graphs and Processes.
IFM 2000: 77-96 |
| 1999 |
|---|
| 14 | | Jeannette M. Wing,
Jim Woodcock,
Jim Davies:
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Springer 1999 |
| 13 | | Jeannette M. Wing,
Jim Woodcock,
Jim Davies:
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II
Springer 1999 |
| 12 | | Christie Bolton,
Jim Davies,
Jim Woodcock:
On the Refinement and Simulation of Data Types and Processes.
IFM 1999: 273-292 |
| 11 | EE | Charles Crichton,
Jim Davies,
Jim Woodcock:
When to Trust Mobile Objects: Access Control in the Jini(tm) Software System.
TOOLS (30) 1999: 116-125 |
| 10 | EE | Gavin Lowe,
Jim Davies:
Using CSP to Verify Sequential Consistency.
Distributed Computing 12(2-3): 91-103 (1999) |
| 1995 |
|---|
| 9 | | Jeremy Bryans,
Jim Davies,
Steve Schneider:
Towards a denotational semantics for ET-LOTOS.
CONCUR 1995: 269-283 |
| 8 | | Jim Davies,
Jeremy Bryans,
Steve Schneider:
Real-time LOTOS and Timed Observations.
FORTE 1995: 383-397 |
| 7 | EE | Jim Davies,
Steve Schneider:
A Brief History of Timed CSP.
Theor. Comput. Sci. 138(2): 243-271 (1995) |
| 1994 |
|---|
| 6 | | Jim Davies,
Matt Wallis:
On the formal specification and verification of network routing algorithms.
FORTE 1994: 100-115 |
| 5 | | Jim Davies,
Steve Schneider:
Recursion Induction for Real-Time Processes.
Formal Asp. Comput. 5(6): 530-553 (1994) |
| 1992 |
|---|
| 4 | | Jim Davies,
Steve Schneider:
Using CSP to Verify a Timed Protocol over a Fair Medium.
CONCUR 1992: 355-369 |
| 3 | | Jim Davies,
Dave Jackson,
Steve Schneider:
Broadcast Communication for Real-time Processes.
FTRTFT 1992: 149-169 |
| 1991 |
|---|
| 2 | | Steve Schneider,
Jim Davies,
D. M. Jackson,
George M. Reed,
Joy N. Reed,
A. W. Roscoe:
Timed CSP: Theory and Practice.
REX Workshop 1991: 640-675 |
| 1989 |
|---|
| 1 | | Jim Davies,
Steve Schneider:
Factorizing Proofs in Timed CSP.
Mathematical Foundations of Programming Semantics 1989: 129-159 |
