Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jim Davies
2010 – today
- 2013
[j24]Lorna Morris, Andrew Tsui, Charles Crichton, Steve Harris, Peter Maccallum, William J. Howat, Jim Davies, James D. Brenton, Carlos Caldas: A metadata-aware application for remote scoring and exchange of tissue microarray images. BMC Bioinformatics 14: 147 (2013)- [j23]Jonathan Gagné, Jim Davies: Visuo: A model of visuospatial instantiation of quantitative magnitudes. Knowledge Eng. Review 28(3): 347-366 (2013)
- [c55]Hua Li, David Mould, Jim Davies: Structure and aesthetics in non-photorealistic images. Graphics Interface 2013: 181-188
- [c54]Tomasz Janowski, Wojciech Cellary, Jim Davies: Introduction to Electronic Government Education, Training and Professionalization Minitrack. HICSS 2013: 1662-1663
- 2012
- [j22]Eamonn Maguire, Philippe Rocca-Serra, Susanna-Assunta Sansone, Jim Davies, Min Chen: Taxonomy-Based Glyph Design - with a Case Study on Visualizing Workflows of Biological Experiments. IEEE Trans. Vis. Comput. Graph. 18(12): 2603-2612 (2012)
- [c53]Jim Davies, Jeremy Gibbons, David Milward, James Welch: Compositionality and Refinement in Model-Driven Engineering. SBMF 2012: 99-114
- [c52]Chen-Wei Wang, Jim Davies: Formal Model-Driven Engineering: Generating Data and Behavioural Components. FTSCS 2012: 100-117
- 2011
- [j21]Craig Comstock, Zhizhong Jiang, Jim Davies: Economies and diseconomies of scale in software development. Journal of Software Maintenance 23(8): 533-548 (2011)
- [c51]Mohammed A. Aboulsamh, Jim Davies: A Formal Modeling Approach to Information Systems Evolution and Data Migration. BMMDS/EMMSAD 2011: 383-397
- [c50]Sterling Somers, Jonathan Gagné, César A. Astudillo, Jim Davies: Using semantic similarity to predict angle and distance of objects in images. Creativity & Cognition 2011: 217-222
- [c49]Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui: Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES 2011: 21-38
- [c48]Christopher B. Stapleton, Jim Davies: Imagination: The third reality to the virtuality continuum. ISMAR-AMH 2011: 53-60
- [c47]Mohammed A. Aboulsamh, Jim Davies: Specification and Verification of Model-Driven Data Migration. MEDI 2011: 214-225
- [c46]Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris: Models for forms. SPLASH Workshops 2011: 13-18
- [c45]Chen-Wei Wang, Alessandra Cavarra, Jim Davies: Formal and Model-Based Testing of Concurrent Workflows. QSIC 2011: 252-259
- [e7]Jim Davies, Leila Silva, Adenilso da Silva Simão (Eds.): Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6527, Springer 2011, ISBN 978-3-642-19828-1
- [r1]A. W. Roscoe, Jim Davies: CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing 2011: 478-482
- 2010
- [c44]Jim Davies, Jonathan Gagné: Estimating Quantitative Magnitudes Using Semantic Similarity. Visual Representations and Reasoning 2010
- [c43]
- [c42]Jolie Bell, Jim Davies: Are Pixel Graphs Are Better at Representing Information than Pie Graphs? Diagrams 2010: 288-291
- [c41]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
- [c40]Andrew Martin, Jim Davies, Steve Harris: Towards a Framework for Security in eScience. eScience 2010: 230-237
- [c39]Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch: Model-Driven Data Migration. ER Workshops 2010: 285-294
- [c38]
- [c37]
- [c36]Mohammed A. Aboulsamh, Jim Davies: A Metamodel-Based Approach to Information Systems Evolution and Data Migration. ICSEA 2010: 155-161
- [c35]Chen-Wei Wang, Jim Davies, James Welch: A Guarded Workflow Language and Its Formal Semantics. TASE 2010: 25-34
- [e6]Tomasz Janowski, Jim Davies (Eds.): ICEGOV 2010, Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China, October 25 - 28, 2010. ACM International Conference Proceeding Series 444, ACM 2010, ISBN 978-1-4503-0058-2
2000 – 2009
- 2009
- [b1]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, ISBN 978-0-9546120-7-8, pp. 1-573
- [j20]Jim Davies, Ashok K. Goel, Nancy J. Nersessian: A computational model of visual analogies in design. Cognitive Systems Research 10(3): 204-215 (2009)
- [j19]Jim Davies, Jeremy Gibbons: Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009)
- [c34]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10
- [e5]Tomasz Janowski, Jim Davies (Eds.): ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009. ACM International Conference Proceeding Series 322, ACM 2009, ISBN 978-1-60558-663-2
- 2008
- [j18]Jim Davies, David Faitelson, James Welch: Domain-specific Semantics and Data Refinement of Object Models. Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008)
- [j17]Jim Davies, Ashok K. Goel, Patrick W. Yaner: Proteus: Visuospatial analogy in problem-solving. Knowl.-Based Syst. 21(7): 636-654 (2008)
- [j16]James Welch, David Faitelson, Jim Davies: Automatic maintenance of association invariants. Software and System Modeling 7(3): 287-301 (2008)
- [c33]Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas: WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID 2008: 73-81
- [c32]Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas: Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience 2008: 406-407
- [c31]Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51
- [c30]Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75
- 2007
- [j15]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)
- [j14]Jim Davies, Ashok K. Goel: Transfer of problem-solving strategy using Covlan. J. Vis. Lang. Comput. 18(2): 149-164 (2007)
- [c29]Jim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla: Technological foundations of electronic governance. ICEGOV 2007: 5-11
- [c28]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39
- [c27]Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68
- [e4]Jim Davies, Jeremy Gibbons (Eds.): Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4591, Springer 2007, ISBN 978-3-540-73209-9
- 2006
- [j13]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)
- [j12]Christie Bolton, Jim Davies: A singleton failures semantics for Communicating Sequential Processes. Formal Asp. Comput. 18(2): 181-210 (2006)
- [j11]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)
- [j10]Matthew Leslie, Jim Davies, Todd Huffman: A Comparison of Replication Strategies for Reliable Decentralised Storage. JNW 1(6): 36-44 (2006)
- [c26]Matthew Leslie, Jim Davies, Todd Huffman: Replication Strategies for Reliable Decentralised Storage. ARES 2006: 740-747
- [c25]Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton: On the Generation of Object Databases using Booster. ICECCS 2006: 249-258
- [c24]Jim Davies, Janice I. Glasgow, Tony Kuo: Protein Structure Prediction with Visuospatial Analogy. Spatial Cognition 2006: 127-139
- 2005
- [j9]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)
- [c23]Jim Davies, Ashok K. Goel, Nancy J. Nersessian: Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. DMS 2005: 293-298
- [c22]Jim Davies, Ashok K. Goel, Nancy J. Nersessian: Transfer in Visual Case-Based Problem Solving. ICCBR 2005: 163-176
- [c21]Jim Davies, Ashok K. Goel, Nancy J. Nersessian: A Cognitive Model of Visual Analogical Problem-Solving Transfer. IJCAI 2005: 1556-1557
- [c20]James Welch, David Faitelson, Jim Davies: Automatic Maintenance of Association Invariants. SEFM 2005: 282-292
- 2004
- [j8]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)
- [c19]
- [c18]
- [e3]Jim Davies, Wolfram Schulte, Michael Barnett (Eds.): Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Lecture Notes in Computer Science 3308, Springer 2004, ISBN 3-540-23841-7
- 2003
- [j7]Jim Davies, Charles Crichton: Concurrency and Refinement in the Unified Modeling Language. Formal Asp. Comput. 15(2-3): 118-145 (2003)
- [c17]Jim Davies, Charles Crichton: Using State Diagrams to Describe Concurrent Behaviour. ICFEM 2003: 105-124
- [c16]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
- [c15]Jim Davies, Ashok K. Goel: Visual Case-Based Reasoning II: Transfer and Adaptation. IICAI 2003: 769-778
- [c14]Jim Davies, Charles Crichton, Alessandra Cavarra: A Method for the Automatic Generation of Test Suites from Object Models. SAC 2003: 1104-1109
- 2002
- [j6]Jim Davies, Charles Crichton: Concurrency and refinement in the UML. Electr. Notes Theor. Comput. Sci. 70(3): 217-243 (2002)
- [j5]Christie Bolton, Jim Davies: A comparison of refinement orderings and their associated simulation rules. Electr. Notes Theor. Comput. Sci. 70(3): 297-310 (2002)
- [c13]
- 2001
- [j4]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)
- [c12]
- 2000
- [c11]Christie Bolton, Jim Davies: Using Relational and Behavioural Semantics in the Verification of Object Models. FMOODS 2000: 163-182
- [c10]
1990 – 1999
- 1999
- [j3]Gavin Lowe, Jim Davies: Using CSP to Verify Sequential Consistency. Distributed Computing 12(2-3): 91-103 (1999)
- [c9]Christie Bolton, Jim Davies, Jim Woodcock: On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292
- [c8]Charles Crichton, Jim Davies, Jim Woodcock: When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. TOOLS (30) 1999: 116-125
- [e2]Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1708, Springer 1999, ISBN 3-540-66587-0
- [e1]Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. Lecture Notes in Computer Science 1709, Springer 1999, ISBN 3-540-66588-9
- 1995
- [j2]Jim Davies, Steve Schneider: A Brief History of Timed CSP. Theor. Comput. Sci. 138(2): 243-271 (1995)
- [c7]Jeremy Bryans, Jim Davies, Steve Schneider: Towards a denotational semantics for ET-LOTOS. CONCUR 1995: 269-283
- [c6]Jim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. FORTE 1995: 383-397
- 1994
- [j1]Jim Davies, Steve Schneider: Recursion Induction for Real-Time Processes. Formal Asp. Comput. 5(6): 530-553 (1994)
- [c5]Jim Davies, Matt Wallis: On the formal specification and verification of network routing algorithms. FORTE 1994: 100-115
- 1992
- [c4]Jim Davies, Steve Schneider: Using CSP to Verify a Timed Protocol over a Fair Medium. CONCUR 1992: 355-369
- [c3]Jim Davies, Dave Jackson, Steve Schneider: Broadcast Communication for Real-time Processes. FTRTFT 1992: 149-169
- 1991
- [c2]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
1980 – 1989
- 1989
- [c1]Jim Davies, Steve Schneider: Factorizing Proofs in Timed CSP. Mathematical Foundations of Programming Semantics 1989: 129-159
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team