Jim Davies - RankMe

132 papers A* 3B 20C 10Misc 3Journal 39Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CounterMoral: Editing Morals in Language Models. CoRR Michael Ripa, Jim Davies
2025	J	`jnl`	ArcTEX - a novel clinical data enrichment pipeline to support real-world evidence oncology studies. Frontiers Digit. Health Keiran Tait, Joseph Cronin, Olivia Wiper, Jamie Wallis, Jim Davies, Robert Dürichen
2025	J	`jnl`	Human biases and remedies in AI safety and alignment contexts. AI Ethics Zoé Roy-Stang, Jim Davies
2025	J	`jnl`	Validation of a CT-brain analysis tool for measuring global cortical atrophy in older patient cohorts. CoRR Sukhdeep Bal, Emma Colbourne, Jasmine Gan, Ludovica Griffanti, Taylor Hanayik, Nele Demeyere, Jim Davies, Sarah T. Pendlebury, Mark Jenkinson
2024	—	`conf`	Care records and healthcare processes: adding context to clinical codes. HICSS Lara Chammas, Owen P. Dwyer, Emanuel Sallinger, Jim Davies, Eva Ja Morris
2023	—	`conf`	Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare. ICPM Workshops Owen P. Dwyer, Lara Chammas, Emanuel Sallinger, Jim Davies
2023	—	`conf`	Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways. RuleML+RR (Companion) Owen P. Dwyer, Teodoro Baldazzi, Jim Davies, Emanuel Sallinger, Adriano Vlad
2022	J	`jnl`	The Neural Correlates of Analogy Component Processes. Cogn. Sci. John-Dennis Parsons, Jim Davies
2021	—	`conf`	Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only? MedInfo George Tilston, Richard Williams, Emily Griffiths, Sarah Al-Adely, Saskia Lawson-Tovey, William Hulme, Andrea Short, Jim Davies, James Welch, Niels Peek
2021	J	`jnl`	Let CONAN tell you a story: Procedural quest generation. Entertain. Comput. Vincent Breault, Sébastien Ouellet, Jim Davies
2020	J	`jnl`	A formal, scalable approach to semantic interoperability. Sci. Comput. Program. Jim Davies, James Welch, David Milward, Steve Harris
2018	J	`jnl`	Coherence in the Visual Imagination. Cogn. Sci. Michael O. Vertolli, Mary Alexandria Kelly, Jim Davies
2018	J	`jnl`	Let CONAN tell you a story: Procedural quest generation. CoRR Vincent Breault, Sébastien Ouellet, Jim Davies
2017	J	`jnl`	Image Quality Assessment Techniques Show Improved Training and Evaluation of Autoencoder Generative Adversarial Networks. CoRR Michael O. Vertolli, Jim Davies
2017	J	`jnl`	Spiritual and Affective Responses to a Physical Church and Corresponding Virtual Model. Cyberpsychology Behav. Soc. Netw. Matt Murdoch, Jim Davies
2017	B	`conf`	The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics and Embodied Cognition. CogSci Jay Jennings, Jim Davies
2017	B	`conf`	What is Learning? A Definition for Cognitive Science. CogSci Jim Davies
2016	J	`jnl`	Identifying and individuating cognitive systems: a task-based distributed cognition alternative to agent-based extended cognition. Cogn. Process. Jim Davies, Kourken Michaelian
2016	B	`conf`	The Charon Model of Moral Judgment. CogSci Deirdre Kelly, Jim Davies
2015	—	`conf`	Domain specific modelling for clinical research. DSM@SPLASH Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch
2015	J	`jnl`	Formal model-driven engineering of critical information systems. Sci. Comput. Program. Jim Davies, David Milward, Chen-Wei Wang, James Welch
2015	—	`conf`	Introspect Model: Competency Assessment in the Virtual World. ISCRAM Katherine Lamb, Martijn Boosman, Jim Davies
2015	J	`jnl`	Quanty: An online game for eliciting the wisdom of the crowd. Comput. Hum. Behav. Wahida Chowdhury, Christopher Burt, Ahmad Akkaoui, Jim Davies
2014	—	`conf`	Coherence Net - A New Model of Generative Cognition. IJCCI (ECTA) Michael O. Vertolli, Jim Davies
2014	B	`conf`	Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model. CogSci Michael O. Vertolli, Jim Davies
2014	—	`conf`	Compression and Decompression in Cognition. AGI Michael O. Vertolli, M. Alex Kelly, Jim Davies
2014	—	`conf`	Introduction to E-Government Education Minitrack. HICSS Elsa Estevez, Wojciech Cellary, Jim Davies
2014	J	`jnl`	Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton
2014	J	`jnl`	The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. Sci. Comput. Program. Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton
2014	B	`conf`	Theoretical Assessment of the SOILIE Model of the Human Imagination. CogSci Michael O. Vertolli, Vincent Breault, Sébastien Ouellet, Sterling Somers, Jonathan Gagné, Jim Davies
2014	—	`conf`	Transforming Lives Through Story Immersion: Innovation of Aphasia Rehabilitation Therapy through Storytelling Learning Landscapes. ImmersiveMe@MM Christopher B. Stapleton, Janet D. Whiteside, Jim Davies, Dana S. Mott, Jennifer Vick
2013	—	`conf`	A Formal Model for RDF Dataset Constraints. JIST Harold R. Solbrig, Eric Prud'hommeaux, Christopher G. Chute, Jim Davies
2013	J	`jnl`	A metadata-aware application for remote scoring and exchange of tissue microarray images. BMC Bioinform. Lorna Morris, Andrew Tsui, Charles Crichton, Steve Harris, Peter Maccallum, William J. Howat, Jim Davies, James D. Brenton, Carlos Caldas
2013	—	`conf`	Introduction to Electronic Government Education, Training and Professionalization Minitrack. HICSS Tomasz Janowski, Wojciech Cellary, Jim Davies
2013	B	`conf`	Structure and aesthetics in non-photorealistic images. Graphics Interface Hua Li, David Mould, Jim Davies
2013	J	`jnl`	Visual Compression of Workflow Visualizations with Automated Detection of Macro Motifs. IEEE Trans. Vis. Comput. Graph. Eamonn Maguire, Philippe Rocca-Serra, Susanna-Assunta Sansone, Jim Davies, Min Chen
2013	J	`jnl`	Visuo: A model of visuospatial instantiation of quantitative magnitudes. Knowl. Eng. Rev. Jonathan Gagné, Jim Davies
2012	—	`conf`	Compositionality and Refinement in Model-Driven Engineering. SBMF Jim Davies, Jeremy Gibbons, David Milward, James Welch
2012	J	`jnl`	Erratum to "Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts" [Government Information Quarterly 29S1 (2012) 1-10]. Gov. Inf. Q. Tomasz Janowski, Theresa A. Pardo, Jim Davies
2012	—	`conf`	Formal Model-Driven Engineering: Generating Data and Behavioural Components FTSCS Chen-Wei Wang, Jim Davies
2012	J	`jnl`	Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts. Gov. Inf. Q. Tomasz Janowski, Theresa A. Pardo, Jim Davies
2012	—	`conf`	Machine learning and software engineering in health informatics. RAISE@ICSE David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko
2012	J	`jnl`	Taxonomy-Based Glyph Design - with a Case Study on Visualizing Workflows of Biological Experiments. IEEE Trans. Vis. Comput. Graph. Eamonn Maguire, Philippe Rocca-Serra, Susanna-Assunta Sansone, Jim Davies, Min Chen
2011	—	`conf`	A Formal Modeling Approach to Information Systems Evolution and Data Migration. BMMDS/EMMSAD Mohammed A. Aboulsamh, Jim Davies
2011	—	`ch.`	CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing A. W. Roscoe, Jim Davies
2011	J	`jnl`	Economies and diseconomies of scale in software development. J. Softw. Maintenance Res. Pract. Craig Comstock, Zhizhong Jiang, Jim Davies
2011	—	`conf`	Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
2011	—	`ed.`	Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers SBMF Jim Davies, Leila Silva, Adenilso da Silva Simão
2011	—	`conf`	Formal and Model-Based Testing of Concurrent Workflows. QSIC Chen-Wei Wang, Alessandra Cavarra, Jim Davies
2011	—	`conf`	Imagination: The third reality to the virtuality continuum. ISMAR-AMH Christopher B. Stapleton, Jim Davies
2011	—	`conf`	Models for forms. SPLASH Workshops Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris
2011	C	`conf`	Specification and Verification of Model-Driven Data Migration. MEDI Mohammed A. Aboulsamh, Jim Davies
2011	B	`conf`	Using semantic similarity to predict angle and distance of objects in images. Creativity & Cognition Sterling Somers, Jonathan Gagné, César A. Astudillo, Jim Davies
2011	B	`conf`	What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena. CogSci Jordan R. Schoenherr, Robert Thomson, Jim Davies
2010	Misc	`conf`	A Guarded Workflow Language and Its Formal Semantics. TASE Chen-Wei Wang, Jim Davies, James Welch
2010	C	`conf`	A Metamodel-Based Approach to Information Systems Evolution and Data Migration. ICSEA Mohammed A. Aboulsamh, Jim Davies
2010	C	`conf`	Are Pixel Graphs Are Better at Representing Information than Pie Graphs? Diagrams Jolie Bell, Jim Davies
2010	—	`conf`	Estimating Quantitative Magnitudes Using Semantic Similarity. Visual Representations and Reasoning Jim Davies, Jonathan Gagné
2010	—	`ed.`	ICEGOV 2010, Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China, October 25 - 28, 2010 ICEGOV Tomasz Janowski, Jim Davies
2010	—	`conf`	Model-Driven Data Migration. ER Workshops Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch
2010	C	`conf`	Modelling English Spatial Preposition Detectors. Diagrams 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
2010	Misc	`conf`	Semantic Frameworks - Meanings in the Architecture. ICDCIT Jim Davies, Jeremy Gibbons
2010	—	`conf`	Semantic Interoperability in Practice. HICSS Aadya Shukla, Steve Harris, Jim Davies
2010	C	`conf`	The Graduate Student Symposium of Diagrams 2010. Diagrams Jim Davies
2010	—	`conf`	Towards a Framework for Security in eScience. eScience Andrew P. Martin, Jim Davies, Steve Harris
2009	J	`jnl`	A computational model of visual analogies in design. Cogn. Syst. Res. Jim Davies, Ashok K. Goel, Nancy J. Nersessian
2009	J	`jnl`	Formal methods for future interoperability. ACM SIGCSE Bull. Jim Davies, Jeremy Gibbons
2009	—	`book`	GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12. Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman
2009	—	`ed.`	ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009 ICEGOV Tomasz Janowski, Jim Davies
2009	—	`conf`	Metadata-driven software for clinical trials. SEHC@ICSE Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton
2009	—	`conf`	Semantics-Driven Development for Electronic Government Applications. HICSS Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui
2009	—	`conf`	Towards a Model-Driven Approach to Information System Evolution. ISD Mohammed A. Aboulsamh, Jim Davies
2008	J	`jnl`	Automatic maintenance of association invariants. Softw. Syst. Model. James Welch, David Faitelson, Jim Davies
2008	—	`conf`	Metadata standards for semantic interoperability in electronic government. ICEGOV Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons
2008	—	`conf`	Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas
2008	J	`jnl`	Proteus: Visuospatial analogy in problem-solving. Knowl. Based Syst. Jim Davies, Ashok K. Goel, Patrick W. Yaner
2008	—	`conf`	Semantic technologies in electronic government. ICEGOV Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton
2008	B	`conf`	WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas
2007	B	`ed.`	Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings IFM Jim Davies, Jeremy Gibbons
2007	B	`conf`	Model-driven architecture for cancer research. SEFM Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl
2007	—	`conf`	Semantic frameworks for e-government. ICEGOV Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla
2007	—	`conf`	Technological foundations of electronic governance. ICEGOV Jim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla
2007	J	`jnl`	Transfer of problem-solving strategy using Covlan. J. Vis. Lang. Comput. Jim Davies, Ashok K. Goel
2006	J	`jnl`	A Comparison of Replication Strategies for Reliable Decentralised Storage. J. Networks Matthew John Leslie, Jim Davies, Todd Huffman
2006	J	`jnl`	A singleton failures semantics for Communicating Sequential Processes. Formal Aspects Comput. Christie Bolton, Jim Davies
2006	—	`conf`	Domain-specific Semantics and Data Refinement of Object Models. SBMF Jim Davies, David Faitelson, James Welch
2006	B	`conf`	On the Generation of Object Databases using Booster. ICECCS Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
2006	—	`conf`	Protein Structure Prediction with Visuospatial Analogy. Spatial Cognition Jim Davies, Janice I. Glasgow, Tony Kuo
2006	J	`jnl`	Protein Structure from Contact Maps: A Case-Based Reasoning Approach. Inf. Syst. Frontiers Janice I. Glasgow, Tony Kuo, Jim Davies
2006	B	`conf`	Replication Strategies for Reliable Decentralised Storage. ARES Matthew John Leslie, Jim Davies, Todd Huffman
2006	J	`jnl`	Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. Comput. Intell. Jim Davies, Janice I. Glasgow, Tony Kuo
2005	A*	`conf`	A Cognitive Model of Visual Analogical Problem-Solving Transfer. IJCAI Jim Davies, Ashok K. Goel, Nancy J. Nersessian
2005	B	`conf`	Automatic Maintenance of Association Invariants. SEFM James Welch, David Faitelson, Jim Davies
2005	—	`conf`	From Predicates to Programs: The Semantics of a Method Language. SBMF David Faitelson, James Welch, Jim Davies
2005	C	`conf`	Transfer in Visual Case-Based Problem Solving. ICCBR Jim Davies, Ashok K. Goel, Nancy J. Nersessian
2005	—	`conf`	Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. DMS Jim Davies, Ashok K. Goel, Nancy J. Nersessian
2004	J	`jnl`	A method for the automatic generation of test suites from object models. Inf. Softw. Technol. Alessandra Cavarra, Charles Crichton, Jim Davies
2004	C	`ed.`	Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings ICFEM Jim Davies, Wolfram Schulte, Michael Barnett
2004	—	`conf`	Formality, Evolution, and Model-driven Software Engineering. SBMF Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
2004	—	`conf`	Teaching Formal Methods in Context. TFM Jim Davies, Andrew Simpson, Andrew P. Martin
2004	—	`conf`	Using CSP. PSSE Jim Davies
2003	Misc	`conf`	A Method for the Automatic Generation of Test Suites from Object Models. SAC Jim Davies, Charles Crichton, Alessandra Cavarra
2003	J	`jnl`	Concurrency and Refinement in the Unified Modeling Language. Formal Aspects Comput. Jim Davies, Charles Crichton
2003	A*	`conf`	On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
2003	C	`conf`	Using State Diagrams to Describe Concurrent Behaviour. ICFEM Jim Davies, Charles Crichton
2003	—	`conf`	Visual Case-Based Reasoning II: Transfer and Adaptation. IICAI Jim Davies, Ashok K. Goel
2002	—	`conf`	A comparison of refinement orderings and their associated simulation rules. Refine Christie Bolton, Jim Davies
2002	—	`conf`	Concurrency and refinement in the UML. Refine Jim Davies, Charles Crichton
2002	B	`conf`	Refinement in Object-Z and CSP. IFM Christie Bolton, Jim Davies
2001	J	`jnl`	Distributed expertise for teaching computer organization & architecture. ACM SIGCSE Bull. Lillian (Boots) Cassel, Mark A. Holliday, Deepak Kumar, John Impagliazzo, Kevin Bolding, Murray Pearson, Jim Davies, Gregory S. Wolffe, William Yurcik
2001	A*	`conf`	Visual Analogy in Problem Solving. IJCAI Jim Davies, Ashok K. Goel
2000	B	`conf`	Activity Graphs and Processes. IFM Christie Bolton, Jim Davies
2000	—	`conf`	Using Relational and Behavioural Semantics in the Verification of Object Models. FMOODS Christie Bolton, Jim Davies
1999	—	`ed.`	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I World Congress on Formal Methods Jeannette M. Wing, Jim Woodcock, Jim Davies
1999	—	`ed.`	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II World Congress on Formal Methods Jeannette M. Wing, Jim Woodcock, Jim Davies
1999	B	`conf`	On the Refinement and Simulation of Data Types and Processes. IFM Christie Bolton, Jim Davies, Jim Woodcock
1999	J	`jnl`	Using CSP to Verify Sequential Consistency. Distributed Comput. Gavin Lowe, Jim Davies
1999	—	`conf`	When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. TOOLS (30) Charles Crichton, Jim Davies, Jim Woodcock
1998	—	`conf`	Safety through Security. IWSSD Andrew Simpson, Jim Woodcock, Jim Davies
1996	—	`book`	Using Z - specification, refinement, and proof. J. C. P. Woodcock, Jim Davies
1995	J	`jnl`	A Brief History of Timed CSP. Theor. Comput. Sci. Jim Davies, Steve A. Schneider
1995	C	`conf`	Real-time LOTOS and Timed Observations. FORTE Jim Davies, Jeremy W. Bryans, Steve A. Schneider
1995	B	`conf`	Towards a denotational semantics for ET-LOTOS. CONCUR Jeremy W. Bryans, Jim Davies, Steve A. Schneider
1994	C	`conf`	On the formal specification and verification of network routing algorithms. FORTE Jim Davies, Matt Wallis
1993	J	`jnl`	Recursion Induction for Real-Time Processes. Formal Aspects Comput. Jim Davies, Steve A. Schneider
1993	—	`book`	Specification and proof in real-time CSP. Jim Davies
1992	—	`conf`	Broadcast Communication for Real-time Processes. FTRTFT Jim Davies, Dave Jackson, Steve A. Schneider
1992	B	`conf`	Using CSP to Verify a Timed Protocol over a Fair Medium. CONCUR Jim Davies, Steve A. Schneider
1991	—	`—`	Specification and proof in real-time systems. Jim Davies
1991	—	`conf`	Timed CSP: Theory and Practice. REX Workshop Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
1989	B	`conf`	Factorizing Proofs in Timed CSP. Mathematical Foundations of Programming Semantics Jim Davies, Steve A. Schneider
1988	J	`jnl`	The Singapore vision: an information-based economy. J. Inf. Sci. Jim Davies