Jim Davies Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAadya Shukla, Steve Harris, Jim Davies: Semantic Interoperability in Practice. HICSS 2010: 1-10
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Jeremy Gibbons: Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54
2009
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Jeremy Gibbons: Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009)
2008
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTianyi 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, David Faitelson, James Welch: Domain-specific Semantics and Data Refinement of Object Models. Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel, Patrick W. Yaner: Proteus: Visuospatial analogy in problem-solving. Knowl.-Based Syst. 21(7): 636-654 (2008)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Welch, David Faitelson, Jim Davies: Automatic maintenance of association invariants. Software and System Modeling 7(3): 287-301 (2008)
2007
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Jeremy Gibbons: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings Springer 2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla: Technological foundations of electronic governance. ICEGOV 2007: 5-11
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Faitelson, James Welch, Jim Davies: From Predicates to Programs: The Semantics of a Method Language. Electr. Notes Theor. Comput. Sci. 184: 171-187 (2007)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel: Transfer of problem-solving strategy using Covlan. J. Vis. Lang. Comput. 18(2): 149-164 (2007)
2006
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Leslie, Jim Davies, Todd Huffman: Replication Strategies for Reliable Decentralised Storage. ARES 2006: 740-747
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, James Welch, Alessandra Cavarra, Edward Crichton: On the Generation of Object Databases using Booster. ICECCS 2006: 249-258
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Janice I. Glasgow, Tony Kuo: Protein Structure Prediction with Visuospatial Analogy. Spatial Cognition 2006: 127-139
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim 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)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristie Bolton, Jim Davies: A singleton failures semantics for Communicating Sequential Processes. Formal Asp. Comput. 18(2): 181-210 (2006)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanice I. Glasgow, Tony Kuo, Jim Davies: Protein Structure from Contact Maps: A Case-Based Reasoning Approach. Information Systems Frontiers 8(1): 29-36 (2006)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Leslie, Jim Davies, Todd Huffman: A Comparison of Replication Strategies for Reliable Decentralised Storage. JNW 1(6): 36-44 (2006)
2005
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel, Nancy J. Nersessian: Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. DMS 2005: 293-298
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel, Nancy J. Nersessian: Transfer in Visual Case-Based Problem Solving. ICCBR 2005: 163-176
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel, Nancy J. Nersessian: A Cognitive Model of Visual Analogical Problem-Solving Transfer. IJCAI 2005: 1556-1557
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Welch, David Faitelson, Jim Davies: Automatic Maintenance of Association Invariants. SEFM 2005: 282-292
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies: Using CSP. PSSE 2004: 64-122
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Andrew Simpson, Andrew Martin: Teaching Formal Methods in Context. TFM 2004: 185-202
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Charles Crichton: Using State Diagrams to Describe Concurrent Behaviour. ICFEM 2003: 105-124
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel: Visual Case-Based Reasoning II: Transfer and Adaptation. IICAI 2003: 769-778
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Charles Crichton, Alessandra Cavarra: A Method for the Automatic Generation of Test Suites from Object Models. SAC 2003: 1104-1109
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Charles Crichton: Concurrency and Refinement in the Unified Modeling Language. Formal Asp. Comput. 15(2-3): 118-145 (2003)
2002
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristie Bolton, Jim Davies: Refinement in Object-Z and CSP. IFM 2002: 225-244
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristie Bolton, Jim Davies: A comparison of refinement orderings and their associated simulation rules. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Charles Crichton: Concurrency and refinement in the UML. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Ashok K. Goel: Visual Analogy in Problem Solving. IJCAI 2001: 377-384
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLillian (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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristie Bolton, Jim Davies: Using Relational and Behavioural Semantics in the Verification of Object Models. FMOODS 2000: 163-182
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristie Bolton, Jim Davies: Activity Graphs and Processes. IFM 2000: 77-96
1999
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristie Bolton, Jim Davies, Jim Woodcock: On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles Crichton, Jim Davies, Jim Woodcock: When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. TOOLS (30) 1999: 116-125
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGavin Lowe, Jim Davies: Using CSP to Verify Sequential Consistency. Distributed Computing 12(2-3): 91-103 (1999)
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Bryans, Jim Davies, Steve Schneider: Towards a denotational semantics for ET-LOTOS. CONCUR 1995: 269-283
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. FORTE 1995: 383-397
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Steve Schneider: A Brief History of Timed CSP. Theor. Comput. Sci. 138(2): 243-271 (1995)
1994
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Matt Wallis: On the formal specification and verification of network routing algorithms. FORTE 1994: 100-115
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Steve Schneider: Recursion Induction for Real-Time Processes. Formal Asp. Comput. 5(6): 530-553 (1994)
1992
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Steve Schneider: Using CSP to Verify a Timed Protocol over a Fair Medium. CONCUR 1992: 355-369
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Dave Jackson, Steve Schneider: Broadcast Communication for Real-time Processes. FTRTFT 1992: 149-169
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Davies, Steve Schneider: Factorizing Proofs in Timed CSP. Mathematical Foundations of Programming Semantics 1989: 129-159

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)