Jim Davies

According to our database1, Jim Davies authored at least 114 papers between 1988 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
The Neural Correlates of Analogy Component Processes.
Cogn. Sci., 2022

2021
Let CONAN tell you a story: Procedural quest generation.
Entertain. Comput., 2021

2020
A formal, scalable approach to semantic interoperability.
Sci. Comput. Program., 2020

2018
Coherence in the Visual Imagination.
Cogn. Sci., 2018

2017
Image Quality Assessment Techniques Show Improved Training and Evaluation of Autoencoder Generative Adversarial Networks.
CoRR, 2017

Spiritual and Affective Responses to a Physical Church and Corresponding Virtual Model.
Cyberpsychology Behav. Soc. Netw., 2017

The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics and Embodied Cognition.
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

What is Learning? A Definition for Cognitive Science.
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016
Identifying and individuating cognitive systems: a task-based distributed cognition alternative to agent-based extended cognition.
Cogn. Process., 2016

The Charon Model of Moral Judgment.
Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016

2015
Formal model-driven engineering of critical information systems.
Sci. Comput. Program., 2015

Quanty: An online game for eliciting the wisdom of the crowd.
Comput. Hum. Behav., 2015

Domain specific modelling for clinical research.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Introspect Model: Competency Assessment in the Virtual World.
Proceedings of the 12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2015

2014
Model-driven engineering of information systems: 10 years and 1000 versions.
Sci. Comput. Program., 2014

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials.
Sci. Comput. Program., 2014

Transforming Lives Through Story Immersion: Innovation of Aphasia Rehabilitation Therapy through Storytelling Learning Landscapes.
Proceedings of the 2nd ACM International Workshop on Immersive Media Experiences, 2014

Coherence Net - A New Model of Generative Cognition.
Proceedings of the ECTA 2014, 2014

Introduction to E-Government Education Minitrack.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model.
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Theoretical Assessment of the SOILIE Model of the Human Imagination.
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Compression and Decompression in Cognition.
Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

2013
Visual Compression of Workflow Visualizations with Automated Detection of Macro Motifs.
IEEE Trans. Vis. Comput. Graph., 2013

Visuo: A model of visuospatial instantiation of quantitative magnitudes.
Knowl. Eng. Rev., 2013

A metadata-aware application for remote scoring and exchange of tissue microarray images.
BMC Bioinform., 2013

A Formal Model for RDF Dataset Constraints.
Proceedings of the Semantic Technology - Third Joint International Conference, 2013

Introduction to Electronic Government Education, Training and Professionalization Minitrack.
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

Structure and aesthetics in non-photorealistic images.
Proceedings of the Graphics Interface 2013, 2013

2012
Taxonomy-Based Glyph Design - with a Case Study on Visualizing Workflows of Biological Experiments.
IEEE Trans. Vis. Comput. Graph., 2012

Erratum to "Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts" [Government Information Quarterly 29S1 (2012) 1-10].
Gov. Inf. Q., 2012

Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts.
Gov. Inf. Q., 2012

Formal Model-Driven Engineering: Generating Data and Behavioural Components
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Compositionality and Refinement in Model-Driven Engineering.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Machine learning and software engineering in health informatics.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

2011
CSP (Communicating Sequential Processes).
Proceedings of the Encyclopedia of Parallel Computing, 2011

Economies and diseconomies of scale in software development.
J. Softw. Maintenance Res. Pract., 2011

Formal and Model-Based Testing of Concurrent Workflows.
Proceedings of the 11th International Conference on Quality Software, 2011

Models for forms.
Proceedings of the SPLASH'11 Workshops, 2011

Specification and Verification of Model-Driven Data Migration.
Proceedings of the Model and Data Engineering - First International Conference, 2011

Imagination: The third reality to the virtuality continuum.
Proceedings of the 10th IEEE International Symposium on Mixed and Augmented Reality, 2011

Form Follows Function - Model-Driven Engineering for Clinical Trials.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena.
Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Using semantic similarity to predict angle and distance of objects in images.
Proceedings of the 8th Conference on Creativity & Cognition, 2011

A Formal Modeling Approach to Information Systems Evolution and Data Migration.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011

2010
A Guarded Workflow Language and Its Formal Semantics.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Metamodel-Based Approach to Information Systems Evolution and Data Migration.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Semantic Frameworks - Meanings in the Architecture.
Proceedings of the Distributed Computing and Internet Technology, 2010

Semantic Interoperability in Practice.
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

Model-Driven Data Migration.
Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

Towards a Framework for Security in eScience.
Proceedings of the Sixth International Conference on e-Science, 2010

Modelling English Spatial Preposition Detectors.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

The Graduate Student Symposium of Diagrams 2010.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Are Pixel Graphs Are Better at Representing Information than Pie Graphs?
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Estimating Quantitative Magnitudes Using Semantic Similarity.
Proceedings of the Visual Representations and Reasoning, 2010

2009
Formal methods for future interoperability.
ACM SIGCSE Bull., 2009

A computational model of visual analogies in design.
Cogn. Syst. Res., 2009

Towards a Model-Driven Approach to Information System Evolution.
Proceedings of the Information Systems Development, 2009

Metadata-driven software for clinical trials.
Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

Semantics-Driven Development for Electronic Government Applications.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12.
Network Theory Ltd, ISBN: 978-0-9546120-7-8, 2009

2008
Automatic maintenance of association invariants.
Softw. Syst. Model., 2008

Proteus: Visuospatial analogy in problem-solving.
Knowl. Based Syst., 2008

Domain-specific Semantics and Data Refinement of Object Models.
Electron. Notes Theor. Comput. Sci., 2008

Semantic technologies in electronic government.
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008

Metadata standards for semantic interoperability in electronic government.
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.
Proceedings of the Fourth International Conference on e-Science, 2008

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007
Transfer of problem-solving strategy using Covlan.
J. Vis. Lang. Comput., 2007

From Predicates to Programs: The Semantics of a Method Language.
Electron. Notes Theor. Comput. Sci., 2007

Model-driven architecture for cancer research.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Technological foundations of electronic governance.
Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007

Semantic frameworks for e-government.
Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007

2006
A Comparison of Replication Strategies for Reliable Decentralised Storage.
J. Networks, 2006

Protein Structure from Contact Maps: A Case-Based Reasoning Approach.
Inf. Syst. Frontiers, 2006

A singleton failures semantics for Communicating Sequential Processes.
Formal Aspects Comput., 2006

Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure.
Comput. Intell., 2006

Protein Structure Prediction with Visuospatial Analogy.
Proceedings of the Spatial Cognition V: Reasoning, 2006

On the Generation of Object Databases using Booster.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Replication Strategies for Reliable Decentralised Storage.
Proceedings of the The First International Conference on Availability, 2006

2005
Formality, Evolution, and Model-driven Software Engineering.
Electron. Notes Theor. Comput. Sci., 2005

A Cognitive Model of Visual Analogical Problem-Solving Transfer.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Transfer in Visual Case-Based Problem Solving.
Proceedings of the Case-Based Reasoning, 2005

Transfer of Problem-Solving Strategy Using the Cognitive Visual Language.
Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

2004
A method for the automatic generation of test suites from object models.
Inf. Softw. Technol., 2004

Teaching Formal Methods in Context.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Using CSP.
Proceedings of the Refinement Techniques in Software Engineering, 2004

2003
Concurrency and Refinement in the Unified Modeling Language.
Formal Aspects Comput., 2003

Visual Case-Based Reasoning II: Transfer and Adaptation.
Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.
Proceedings of the 25th International Conference on Software Engineering, 2003

Using State Diagrams to Describe Concurrent Behaviour.
Proceedings of the Formal Methods and Software Engineering, 2003

2002
Concurrency and refinement in the UML.
Electron. Notes Theor. Comput. Sci., 2002

A comparison of refinement orderings and their associated simulation rules.
Electron. Notes Theor. Comput. Sci., 2002

Refinement in Object-Z and CSP.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001
Distributed expertise for teaching computer organization & architecture.
ACM SIGCSE Bull., 2001

Visual Analogy in Problem Solving.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Activity Graphs and Processes.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Using Relational and Behavioural Semantics in the Verification of Object Models.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999
Using CSP to Verify Sequential Consistency.
Distributed Comput., 1999

When to Trust Mobile Objects: Access Control in the Jini(tm) Software System.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

On the Refinement and Simulation of Data Types and Processes.
Proceedings of the Integrated Formal Methods, 1999

1998
Safety through Security.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1996
Using Z - specification, refinement, and proof.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-948472-8, 1996

1995
A Brief History of Timed CSP.
Theor. Comput. Sci., 1995

Real-time LOTOS and Timed Observations.
Proceedings of the Formal Description Techniques VIII, 1995

Towards a denotational semantics for ET-LOTOS.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
On the formal specification and verification of network routing algorithms.
Proceedings of the Formal Description Techniques VII, 1994

1993
Recursion Induction for Real-Time Processes.
Formal Aspects Comput., 1993

Specification and proof in real-time CSP.
Distinguished dissertations in computer science 6, Cambridge University Press, ISBN: 978-0-521-45055-3, 1993

1992
Broadcast Communication for Real-time Processes.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Using CSP to Verify a Timed Protocol over a Fair Medium.
Proceedings of the CONCUR '92, 1992

1991
Specification and proof in real-time systems.
PhD thesis, 1991

Timed CSP: Theory and Practice.
Proceedings of the Real-Time: Theory in Practice, 1991

1989
Factorizing Proofs in Timed CSP.
Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988
The Singapore vision: an information-based economy.
J. Inf. Sci., 1988


  Loading...