Jim Davies
Orcid: 0000-0003-4664-6862
According to our database1,
Jim Davies
authored at least 118 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
2023
Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways.
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023
Proceedings of the Process Mining Workshops, 2023
2022
2021
Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only?
Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021
2020
Sci. Comput. Program., 2020
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
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
Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016
2015
Sci. Comput. Program., 2015
Comput. Hum. Behav., 2015
Proceedings of the Workshop on Domain-Specific Modeling, 2015
Proceedings of the 12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2015
2014
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
Proceedings of the ECTA 2014, 2014
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
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014
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
Knowl. Eng. Rev., 2013
A metadata-aware application for remote scoring and exchange of tissue microarray images.
BMC Bioinform., 2013
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
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
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012
2011
Proceedings of the Encyclopedia of Parallel Computing, 2011
J. Softw. Maintenance Res. Pract., 2011
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the Model and Data Engineering - First International Conference, 2011
Proceedings of the 10th IEEE International Symposium on Mixed and Augmented Reality, 2011
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
Proceedings of the 8th Conference on Creativity & Cognition, 2011
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011
2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010
Proceedings of the Distributed Computing and Internet Technology, 2010
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010
Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010
Proceedings of the Sixth International Conference on e-Science, 2010
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010
Proceedings of the Visual Representations and Reasoning, 2010
2009
Proceedings of the Information Systems Development, 2009
Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Network Theory Ltd, ISBN: 978-0-9546120-7-8, 2009
2008
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008
Proceedings of the Fourth International Conference on e-Science, 2008
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008
2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007
Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007
2006
J. Networks, 2006
Inf. Syst. Frontiers, 2006
Formal Aspects Comput., 2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
Comput. Intell., 2006
Proceedings of the Spatial Cognition V: Reasoning, 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the The First International Conference on Availability, 2006
2005
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
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
Inf. Softw. Technol., 2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
2003
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
Proceedings of the Formal Methods and Software Engineering, 2003
2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
2001
ACM SIGCSE Bull., 2001
Visual Analogy in Problem Solving.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
1999
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999
Proceedings of the Integrated Formal Methods, 1999
1998
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
Real-time LOTOS and Timed Observations.
Proceedings of the Formal Description Techniques VIII, 1995
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
Specification and proof in real-time CSP.
Distinguished dissertations in computer science 6, Cambridge University Press, ISBN: 978-0-521-45055-3, 1993
1992
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
Proceedings of the CONCUR '92, 1992
1991
Proceedings of the Real-Time: Theory in Practice, 1991
1989
Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989
1988