Jim Davies

	2010
59		Aadya Shukla, Steve Harris, Jim Davies: Semantic Interoperability in Practice. HICSS 2010: 1-10
58		Jim Davies, Jeremy Gibbons: Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54
	2009
57		Jim Davies, Tomasz Janowski: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009 ACM 2009
56		Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10
55		Jim Davies, Jeremy Gibbons: Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009)
	2008
54		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
53		Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51
52		Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75
51		Jim Davies, David Faitelson, James Welch: Domain-specific Semantics and Data Refinement of Object Models. Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008)
50		Jim Davies, Ashok K. Goel, Patrick W. Yaner: Proteus: Visuospatial analogy in problem-solving. Knowl.-Based Syst. 21(7): 636-654 (2008)
49		James Welch, David Faitelson, Jim Davies: Automatic maintenance of association invariants. Software and System Modeling 7(3): 287-301 (2008)
	2007
48		Jim Davies, Jeremy Gibbons: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings Springer 2007
47		Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39
46		Jim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla: Technological foundations of electronic governance. ICEGOV 2007: 5-11
45		Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68
44		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)
43		Jim Davies, Ashok K. Goel: Transfer of problem-solving strategy using Covlan. J. Vis. Lang. Comput. 18(2): 149-164 (2007)
	2006
42		Matthew Leslie, Jim Davies, Todd Huffman: Replication Strategies for Reliable Decentralised Storage. ARES 2006: 740-747
41		Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton: On the Generation of Object Databases using Booster. ICECCS 2006: 249-258
40		Jim Davies, Janice I. Glasgow, Tony Kuo: Protein Structure Prediction with Visuospatial Analogy. Spatial Cognition 2006: 127-139
39		Jim Davies, Janice I. Glasgow, Tony Kuo: Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. Computational Intelligence 22(3-4): 194-207 (2006)
38		Christie Bolton, Jim Davies: A singleton failures semantics for Communicating Sequential Processes. Formal Asp. Comput. 18(2): 181-210 (2006)
37		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		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		Jim Davies, Ashok K. Goel, Nancy J. Nersessian: Transfer in Visual Case-Based Problem Solving. ICCBR 2005: 163-176
33		Jim Davies, Ashok K. Goel, Nancy J. Nersessian: A Cognitive Model of Visual Analogical Problem-Solving Transfer. IJCAI 2005: 1556-1557
32		James Welch, David Faitelson, Jim Davies: Automatic Maintenance of Association Invariants. SEFM 2005: 282-292
31		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		Jim Davies: Using CSP. PSSE 2004: 64-122
28		Jim Davies, Andrew Simpson, Andrew Martin: Teaching Formal Methods in Context. TFM 2004: 185-202
27		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		Jim Davies, Charles Crichton: Using State Diagrams to Describe Concurrent Behaviour. ICFEM 2003: 105-124
25		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		Jim Davies, Charles Crichton: Concurrency and Refinement in the Unified Modeling Language. Formal Asp. Comput. 15(2-3): 118-145 (2003)
	2002
21		Christie Bolton, Jim Davies: Refinement in Object-Z and CSP. IFM 2002: 225-244
20		Christie Bolton, Jim Davies: A comparison of refinement orderings and their associated simulation rules. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
19		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		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		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		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		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		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

Coauthor Index

1	Michael Barnett	[30]
2	Kevin Bolding	[17]
3	Jeremy Bryans	[8] [9]
4	Carlos H. Caldas	[54]
5	Radu Calinescu	[45] [54]
6	Lillian N. Cassel (Lillian (Boots) Cassel)	[17]
7	Alessandra Cavarra	[23] [27] [41]
8	Charles Crichton	[11] [19] [22] [23] [26] [27] [31] [47] [52] [53] [56]
9	Edward Crichton	[31] [41]
10	David Faitelson	[32] [44] [49] [51]
11	Jeremy Gibbons	[25] [45] [47] [48] [52] [53] [54] [55] [56] [58]
12	Janice I. Glasgow	[37] [39] [40]
13	Ashok K. Goel	[18] [24] [33] [34] [35] [43] [50]
14	Steve Harris	[45] [47] [52] [53] [54] [56] [59]
15	Mark A. Holliday	[17]
16	Todd Huffman	[36] [42]
17	John Impagliazzo	[17]
18	D. M. Jackson	[2]
19	Dave Jackson	[3]
20	Tomasz Janowski	[46] [57]
21	Deepak Kumar	[17]
22	Tony Kuo	[37] [39] [40]
23	Marta Z. Kwiatkowska	[54]
24	Matthew Leslie	[36] [42]
25	Gavin Lowe	[10]
26	Peter Maccallum	[54]
27	Christie Marr (Christie Bolton)	[12] [15] [16] [20] [21] [38]
28	Andrew Martin	[25] [28]
29	Steve McKeever	[25]
30	Sylvia B. Nagl	[45]
31	David Neilson	[31]
32	Nancy J. Nersessian	[33] [34] [35]
33	Adegboyega K. Ojo	[46]
34	Murray Pearson	[17]
35	George M. Reed	[2]
36	Joy N. Reed	[2]
37	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[2]
38	Steve A. Schneider (Steve Schneider)	[1] [2] [3] [4] [5] [7] [8] [9]
39	Wolfram Schulte	[30]
40	Aadya Shukla	[46] [47] [52] [56] [59]
41	Andrew C. Simpson (Andrew Simpson)	[25] [28]
42	Ib Holm Sørensen	[31]
43	Igor Toujilov	[45]
44	Andrew Tsui	[53] [54] [56]
45	Matt Wallis	[6]
46	James Welch	[32] [41] [44] [49] [51]
47	Jeannette M. Wing	[13] [14]
48	Gregory S. Wolffe	[17]
49	Jim Woodcock (J. C. P. Woodcock)	[11] [12] [13] [14]
50	Patrick W. Yaner	[50]
51	William Yurcik	[17]
52	Tianyi Zang	[54]

Colors in the list of coauthors