Jim Davies
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j35]Michael O. Vertolli, Matthew A. Kelly, Jim Davies:
Coherence in the Visual Imagination. Cognitive Science 42(3): 885-917 (2018) - [i2]Vincent Breault, Sébastien Ouellet, Jim Davies:
Let CONAN tell you a story: Procedural quest generation. CoRR abs/1808.06217 (2018) - 2017
- [j34]Matt Murdoch, Jim Davies:
Spiritual and Affective Responses to a Physical Church and Corresponding Virtual Model. Cyberpsy., Behavior, and Soc. Networking 20(11): 702-708 (2017) - [c71]
- [c70]Jay Jennings, Jim Davies:
The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics and Embodied Cognition. CogSci 2017 - [i1]Michael O. Vertolli, Jim Davies:
Image Quality Assessment Techniques Show Improved Training and Evaluation of Autoencoder Generative Adversarial Networks. CoRR abs/1708.02237 (2017) - 2016
- [j33]Jim Davies, Kourken Michaelian:
Identifying and individuating cognitive systems: a task-based distributed cognition alternative to agent-based extended cognition. Cognitive Processing 17(3): 307-319 (2016) - [c69]
- 2015
- [j32]Wahida Chowdhury, Christopher Burt, Ahmad Akkaoui, Jim Davies:
Quanty: An online game for eliciting the wisdom of the crowd. Computers in Human Behavior 49: 213-219 (2015) - [j31]Jim Davies, David Milward, Chen-Wei Wang, James Welch:
Formal model-driven engineering of critical information systems. Sci. Comput. Program. 103: 88-113 (2015) - [c68]Katherine Lamb, Martijn Boosman, Jim Davies:
Introspect Model: Competency Assessment in the Virtual World. ISCRAM 2015 - [c67]Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch:
Domain specific modelling for clinical research. DSM@SPLASH 2015: 1-8 - 2014
- [j30]Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton:
Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. 89: 88-104 (2014) - [j29]Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton:
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. Sci. Comput. Program. 89: 126-143 (2014) - [c66]Michael O. Vertolli, Matthew A. Kelly, Jim Davies:
Compression and Decompression in Cognition. AGI 2014: 262-265 - [c65]Michael O. Vertolli, Vincent Breault, Sébastien Ouellet, Sterling Somers, Jonathan Gagné, Jim Davies:
Theoretical Assessment of the SOILIE Model of the Human Imagination. CogSci 2014 - [c64]Michael O. Vertolli, Jim Davies:
Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model. CogSci 2014 - [c63]Elsa Estevez, Wojciech Cellary, Jim Davies:
Introduction to E-Government Education Minitrack. HICSS 2014: 1926 - [c62]Michael O. Vertolli, Jim Davies:
Coherence Net - A New Model of Generative Cognition. IJCCI (ECTA) 2014: 308-313 - [c61]Christopher B. Stapleton, Janet D. Whiteside, Jim Davies, Dana S. Mott, Jennifer Vick:
Transforming Lives Through Story Immersion: Innovation of Aphasia Rehabilitation Therapy through Storytelling Learning Landscapes. ImmersiveMe@MM 2014: 29-34 - 2013
- [j28]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) - [j27]Jonathan Gagné, Jim Davies:
Visuo: A model of visuospatial instantiation of quantitative magnitudes. Knowledge Eng. Review 28(3): 347-366 (2013) - [j26]Eamonn Maguire, Philippe Rocca-Serra, Susanna-Assunta Sansone, Jim Davies, Min Chen:
Visual Compression of Workflow Visualizations with Automated Detection of Macro Motifs. IEEE Trans. Vis. Comput. Graph. 19(12): 2576-2585 (2013) - [c60]Hua Li, David Mould, Jim Davies:
Structure and aesthetics in non-photorealistic images. Graphics Interface 2013: 181-188 - [c59]Tomasz Janowski, Wojciech Cellary, Jim Davies:
Introduction to Electronic Government Education, Training and Professionalization Minitrack. HICSS 2013: 1662-1663 - [c58]Harold R. Solbrig, Eric Prud'hommeaux, Christopher G. Chute, Jim Davies:
A Formal Model for RDF Dataset Constraints. JIST 2013: 244-260 - 2012
- [j25]Tomasz Janowski, Theresa A. Pardo, Jim Davies:
Erratum to "Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts" [Government Information Quarterly 29S1 (2012) 1-10]. Government Information Quarterly 29(2): 311 (2012) - [j24]Tomasz Janowski, Theresa A. Pardo, Jim Davies:
Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts. Government Information Quarterly 29(Supplement-1): S1-S10 (2012) - [j23]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) - [c57]David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko:
Machine learning and software engineering in health informatics. RAISE@ICSE 2012: 37-41 - [c56]Jim Davies, Jeremy Gibbons, David Milward, James Welch:
Compositionality and Refinement in Model-Driven Engineering. SBMF 2012: 99-114 - [c55]Chen-Wei Wang, Jim Davies:
Formal Model-Driven Engineering: Generating Data and Behavioural Components. FTSCS 2012: 100-117 - 2011
- [j22]Craig Comstock, Zhizhong Jiang, Jim Davies:
Economies and diseconomies of scale in software development. Journal of Software Maintenance 23(8): 533-548 (2011) - [c54]Mohammed A. Aboulsamh, Jim Davies:
A Formal Modeling Approach to Information Systems Evolution and Data Migration. BMMDS/EMMSAD 2011: 383-397 - [c53]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 - [c52]Jordan R. Schoenherr, Robert Thomson, Jim Davies:
What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena. CogSci 2011 - [c51]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 - [c50]Christopher B. Stapleton, Jim Davies:
Imagination: The third reality to the virtuality continuum. ISMAR-AMH 2011: 53-60 - [c49]Mohammed A. Aboulsamh, Jim Davies:
Specification and Verification of Model-Driven Data Migration. MEDI 2011: 214-225 - [c48]Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris:
Models for forms. SPLASH Workshops 2011: 13-18 - [c47]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:
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 [contents] - [r1]A. W. Roscoe, Jim Davies:
CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing 2011: 478-482 - 2010
- [c46]Jim Davies, Jonathan Gagné:
Estimating Quantitative Magnitudes Using Semantic Similarity. Visual Representations and Reasoning 2010 - [c45]
- [c44]Jolie Bell, Jim Davies:
Are Pixel Graphs Are Better at Representing Information than Pie Graphs? Diagrams 2010: 288-291 - [c43]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 - [c42]Andrew P. Martin, Jim Davies, Steve Harris:
Towards a Framework for Security in eScience. eScience 2010: 230-237 - [c41]Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch:
Model-Driven Data Migration. ER Workshops 2010: 285-294 - [c40]
- [c39]
- [c38]Mohammed A. Aboulsamh, Jim Davies:
A Metamodel-Based Approach to Information Systems Evolution and Data Migration. ICSEA 2010: 155-161 - [c37]Chen-Wei Wang, Jim Davies, James Welch:
A Guarded Workflow Language and Its Formal Semantics. TASE 2010: 25-34 - [e6]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 International Conference Proceeding Series 444, ACM 2010, ISBN 978-1-4503-0058-2 [contents]
2000 – 2009
- 2009
- [b2]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 - [j21]Jim Davies, Ashok K. Goel, Nancy J. Nersessian:
A computational model of visual analogies in design. Cognitive Systems Research 10(3): 204-215 (2009) - [j20]Jim Davies, Jeremy Gibbons:
Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009) - [c36]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10 - [c35]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton:
Metadata-driven software for clinical trials. SEHC@ICSE 2009: 1-11 - [c34]Mohammed A. Aboulsamh, Jim Davies:
Towards a Model-Driven Approach to Information System Evolution. ISD 2009: 269-280 - [e5]Tomasz Janowski, Jim Davies:
ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009. ACM International Conference Proceeding Series 322, ACM 2009, ISBN 978-1-60558-663-2 [contents] - 2008
- [j19]Jim Davies, David Faitelson, James Welch:
Domain-specific Semantics and Data Refinement of Object Models. Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008) - [j18]Jim Davies, Ashok K. Goel, Patrick W. Yaner:
Proteus: Visuospatial analogy in problem-solving. Knowl.-Based Syst. 21(7): 636-654 (2008) - [j17]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
- [j16]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) - [j15]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:
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 [contents] - 2006
- [j14]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) - [j13]Christie Bolton, Jim Davies:
A singleton failures semantics for Communicating Sequential Processes. Formal Asp. Comput. 18(2): 181-210 (2006) - [j12]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) - [j11]Matthew John Leslie, Jim Davies, Todd Huffman:
A Comparison of Replication Strategies for Reliable Decentralised Storage. JNW 1(6): 36-44 (2006) - [c26]Matthew John 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
- [j10]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
- [j9]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:
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 [contents] - 2003
- [j8]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 P. 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
- [j7]Jim Davies, Charles Crichton:
Concurrency and refinement in the UML. Electr. Notes Theor. Comput. Sci. 70(3): 217-243 (2002) - [j6]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
- [j5]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
- [j4]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:
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 [contents] - [e1]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. Lecture Notes in Computer Science 1709, Springer 1999, ISBN 3-540-66588-9 [contents] - 1995
- [j3]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
- [c5]Jim Davies, Matt Wallis:
On the formal specification and verification of network routing algorithms. FORTE 1994: 100-115 - 1993
- [j2]Jim Davies, Steve Schneider:
Recursion Induction for Real-Time Processes. Formal Asp. Comput. 5(6): 530-553 (1993) - 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
- [b1]Jim Davies:
Specification and proof in real-time systems. University of Oxford, UK 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 - 1988
- [j1]Jim Davies:
The Singapore vision: an information-based economy. J. Information Science 14(4): 237-242 (1988)