Jim Davies

	2011
80		Jim Davies, Leila Silva, Adenilso da Silva Simão: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers Springer 2011
79		Mohammed A. Aboulsamh, Jim Davies: A Formal Modeling Approach to Information Systems Evolution and Data Migration. BMMDS/EMMSAD 2011: 383-397
78		Sterling Somers, Jonathan Gagné, César Astudillo, Jim Davies: Using semantic similarity to predict angle and distance of objects in images. Creativity & Cognition 2011: 217-222
77		Christopher B. Stapleton, Jim Davies: Imagination: The third reality to the virtuality continuum. ISMAR-AMH 2011: 53-60
76		Mohammed A. Aboulsamh, Jim Davies: Specification and Verification of Model-Driven Data Migration. MEDI 2011: 214-225
75		Chen-Wei Wang, Alessandra Cavarra, Jim Davies: Formal and Model-Based Testing of Concurrent Workflows. QSIC 2011: 252-259
74		Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris: Models for forms. SPLASH Workshops 2011: 13-18
73		A. W. Roscoe, Jim Davies: CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing 2011: 478-482
72		Craig Comstock, Zhizhong Jiang, Jim Davies: Economies and diseconomies of scale in software development. Journal of Software Maintenance 23(8): 533-548 (2011)
	2010
71		Tomasz Janowski, Jim Davies: ICEGOV 2010, Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China, October 25 - 28, 2010 ACM 2010
70		Jolie Bell, Jim Davies: Are Pixel Graphs Are Better at Representing Information than Pie Graphs? Diagrams 2010: 288-291
69		Connor Smith, Allen Cybulskie, Nic Di Noia, Janine Fitzpatrick, Jobina Li, Korey MacDougall, Xander Miller, Jeanne-Marie Musca, Jennifer Nutall, Kathy Van Bentham, Jim Davies: Modelling English Spatial Preposition Detectors. Diagrams 2010: 328-330
68		Jim Davies: The Graduate Student Symposium of Diagrams 2010. Diagrams 2010: 5
67		Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch: Model-Driven Data Migration. ER Workshops 2010: 285-294
66		Aadya Shukla, Steve Harris, Jim Davies: Semantic Interoperability in Practice. HICSS 2010: 1-10
65		Jim Davies, Jeremy Gibbons: Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54
64		Mohammed A. Aboulsamh, Jim Davies: A Metamodel-Based Approach to Information Systems Evolution and Data Migration. ICSEA 2010: 155-161
63		Chen-Wei Wang, Jim Davies, James Welch: A Guarded Workflow Language and Its Formal Semantics. TASE 2010: 25-34
62		Jim Davies, Jonathan Gagné: Estimating Quantitative Magnitudes Using Semantic Similarity. Visual Representations and Reasoning 2010
61		Andrew Martin, Jim Davies, Steve Harris: Towards a Framework for Security in eScience. eScience 2010: 230-237
	2009
60		Tomasz Janowski, Jim Davies: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009 ACM 2009
59		Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman: GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12 (3. ed.). Network Theory Ltd 2009: 1-573
58		Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10
57		Jim Davies, Ashok K. Goel, Nancy J. Nersessian: A computational model of visual analogies in design. Cognitive Systems Research 10(3): 204-215 (2009)
56		Jim Davies, Jeremy Gibbons: Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009)
	2008
55		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
54		Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51
53		Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75
52		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
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		Jim Davies, Charles Crichton: Concurrency and refinement in the UML. Electr. Notes Theor. Comput. Sci. 70(3): 217-243 (2002)
19		Christie Bolton, Jim Davies: A comparison of refinement orderings and their associated simulation rules. Electr. Notes Theor. Comput. Sci. 70(3): 297-310 (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	Daniel Abler	[74]
2	Mohammed A. Aboulsamh	[64] [67] [76] [79]
3	César Astudillo	[78]
4	Michael Barnett	[30]
5	Jolie Bell	[70]
6	Kathy Van Bentham	[69]
7	Kevin Bolding	[17]
8	James D. Brenton	[52]
9	Jeremy Bryans (Jeremy W. Bryans)	[8] [9]
10	Carlos H. Caldas	[52] [55]
11	Radu Calinescu	[45] [52] [55]
12	Lillian N. Cassel (Lillian (Boots) Cassel)	[17]
13	Alessandra Cavarra	[23] [27] [41] [75]
14	Craig Comstock	[72]
15	Charles Crichton	[11] [20] [22] [23] [26] [27] [31] [47] [52] [53] [54] [58] [74]
16	Edward Crichton	[31] [41] [67]
17	Allen Cybulskie	[69]
18	David Faitelson	[32] [44] [49] [51]
19	Janine Fitzpatrick	[69]
20	Jonathan Gagné	[62] [78]
21	Mark Galassi	[59]
22	Jeremy Gibbons	[25] [45] [47] [48] [52] [53] [54] [55] [56] [58] [65]
23	Janice I. Glasgow	[37] [39] [40]
24	Ashok K. Goel	[18] [24] [33] [34] [35] [43] [50] [57]
25	Brian Gough	[59]
26	Steve Harris	[45] [47] [52] [53] [54] [55] [58] [61] [66] [74]
27	Mark A. Holliday	[17]
28	Todd Huffman	[36] [42]
29	John Impagliazzo	[17]
30	D. M. Jackson	[2]
31	Dave Jackson	[3]
32	Tomasz Janowski	[46] [60] [71]
33	Zhizhong Jiang	[72]
34	Gerard Jungman	[59]
35	Deepak Kumar	[17]
36	Tony Kuo	[37] [39] [40]
37	Marta Z. Kwiatkowska	[52] [55]
38	Matthew Leslie	[36] [42]
39	Jobina Li	[69]
40	Gavin Lowe	[10]
41	Korey MacDougall	[69]
42	Peter Maccallum	[55]
43	Christie Marr (Christie Bolton)	[12] [15] [16] [19] [21] [38]
44	Andrew Martin	[25] [28] [61]
45	Steve McKeever	[25]
46	Xander Miller	[69]
47	Jeanne-Marie Musca	[69]
48	Sylvia B. Nagl	[45]
49	David Neilson	[31]
50	Nancy J. Nersessian	[33] [34] [35] [57]
51	Nic Di Noia	[69]
52	Jennifer Nutall	[69]
53	Adegboyega K. Ojo	[46]
54	Murray Pearson	[17]
55	George M. Reed	[2]
56	Joy N. Reed	[2]
57	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[2] [73]
58	Steve A. Schneider (Steve Schneider)	[1] [2] [3] [4] [5] [7] [8] [9]
59	Wolfram Schulte	[30]
60	Aadya Shukla	[46] [47] [53] [58] [66]
61	Leila Silva	[80]
62	Adenilso da Silva Simão	[80]
63	Andrew C. Simpson (Andrew Simpson)	[25] [28]
64	Connor Smith	[69]
65	Sterling Somers	[78]
66	Ib Holm Sørensen	[31]
67	Christopher B. Stapleton	[77]
68	James Theiler	[59]
69	Igor Toujilov	[45]
70	Andrew Tsui	[52] [54] [55] [58]
71	Matt Wallis	[6]
72	Chen-Wei Wang	[63] [75]
73	James Welch	[32] [41] [44] [49] [51] [63] [67] [74]
74	Jeannette M. Wing	[13] [14]
75	Gregory S. Wolffe	[17]
76	Jim Woodcock (J. C. P. Woodcock)	[11] [12] [13] [14]
77	Patrick W. Yaner	[50]
78	William Yurcik	[17]
79	Tianyi Zang	[52] [55]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page