![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jim Davies
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c81]Lara Chammas, Owen P. Dwyer, Emanuel Sallinger, Jim Davies, Eva Ja Morris:
Care records and healthcare processes: adding context to clinical codes. HICSS 2024: 3697-3706 - 2023
- [c80]Owen P. Dwyer
, Lara Chammas
, Emanuel Sallinger, Jim Davies:
Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare. ICPM Workshops 2023: 235-246 - [c79]Owen P. Dwyer
, Teodoro Baldazzi, Jim Davies, Emanuel Sallinger, Adriano Vlad:
Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways. RuleML+RR (Companion) 2023 - 2022
- [j33]John-Dennis Parsons, Jim Davies:
The Neural Correlates of Analogy Component Processes. Cogn. Sci. 46(3) (2022) - 2021
- [j32]Vincent Breault, Sébastien Ouellet, Jim Davies:
Let CONAN tell you a story: Procedural quest generation. Entertain. Comput. 38: 100422 (2021) - [c78]George Tilston, Richard Williams
, Emily Griffiths, Sarah Al-Adely, Saskia Lawson-Tovey, William Hulme
, Andrea Short, Jim Davies
, James Welch, Niels Peek:
Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only? MedInfo 2021: 66-70 - 2020
- [j31]Jim Davies
, James Welch, David Milward, Steve Harris
:
A formal, scalable approach to semantic interoperability. Sci. Comput. Program. 192: 102426 (2020)
2010 – 2019
- 2018
- [j30]Michael O. Vertolli
, Matthew A. Kelly
, Jim Davies:
Coherence in the Visual Imagination. Cogn. Sci. 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
- [j29]Matt Murdoch, Jim Davies:
Spiritual and Affective Responses to a Physical Church and Corresponding Virtual Model. Cyberpsychology Behav. Soc. Netw. 20(11): 702-708 (2017) - [c77]Jim Davies:
What is Learning? A Definition for Cognitive Science. CogSci 2017 - [c76]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
- [j28]Jim Davies, Kourken Michaelian
:
Identifying and individuating cognitive systems: a task-based distributed cognition alternative to agent-based extended cognition. Cogn. Process. 17(3): 307-319 (2016) - [c75]Deirdre Kelly, Jim Davies:
The Charon Model of Moral Judgment. CogSci 2016 - 2015
- [j27]Wahida Chowdhury, Christopher Burt, Ahmad Akkaoui, Jim Davies:
Quanty: An online game for eliciting the wisdom of the crowd. Comput. Hum. Behav. 49: 213-219 (2015) - [j26]Jim Davies
, David Milward, Chen-Wei Wang
, James Welch:
Formal model-driven engineering of critical information systems. Sci. Comput. Program. 103: 88-113 (2015) - [c74]Katherine Lamb, Martijn Boosman, Jim Davies:
Introspect Model: Competency Assessment in the Virtual World. ISCRAM 2015 - [c73]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
- [j25]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) - [j24]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) - [c72]Michael O. Vertolli
, Matthew A. Kelly
, Jim Davies:
Compression and Decompression in Cognition. AGI 2014: 262-265 - [c71]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 - [c70]Michael O. Vertolli, Jim Davies:
Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model. CogSci 2014 - [c69]Elsa Estevez
, Wojciech Cellary
, Jim Davies
:
Introduction to E-Government Education Minitrack. HICSS 2014: 1926 - [c68]Michael O. Vertolli
, Jim Davies:
Coherence Net - A New Model of Generative Cognition. IJCCI (ECTA) 2014: 308-313 - [c67]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
- [j23]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 Bioinform. 14: 147 (2013) - [j22]Jonathan Gagné, Jim Davies:
Visuo: A model of visuospatial instantiation of quantitative magnitudes. Knowl. Eng. Rev. 28(3): 347-366 (2013) - [j21]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) - [c66]Hua Li, David Mould, Jim Davies:
Structure and aesthetics in non-photorealistic images. Graphics Interface 2013: 181-188 - [c65]Tomasz Janowski
, Wojciech Cellary
, Jim Davies
:
Introduction to Electronic Government Education, Training and Professionalization Minitrack. HICSS 2013: 1662-1663 - [c64]Harold R. Solbrig, Eric Prud'hommeaux, Christopher G. Chute, Jim Davies
:
A Formal Model for RDF Dataset Constraints. JIST 2013: 244-260 - 2012
- [j20]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]. Gov. Inf. Q. 29(2): 311 (2012) - [j19]Tomasz Janowski
, Theresa A. Pardo, Jim Davies
:
Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts. Gov. Inf. Q. 29(Supplement-1): S1-S10 (2012) - [j18]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) - [c63]David A. Clifton, Jeremy Gibbons
, Jim Davies
, Lionel Tarassenko:
Machine learning and software engineering in health informatics. RAISE@ICSE 2012: 37-41 - [c62]Jim Davies
, Jeremy Gibbons, David Milward, James Welch:
Compositionality and Refinement in Model-Driven Engineering. SBMF 2012: 99-114 - [c61]Chen-Wei Wang, Jim Davies
:
Formal Model-Driven Engineering: Generating Data and Behavioural Components. FTSCS 2012: 100-117 - 2011
- [j17]Craig Comstock, Zhizhong Jiang, Jim Davies
:
Economies and diseconomies of scale in software development. J. Softw. Maintenance Res. Pract. 23(8): 533-548 (2011) - [c60]Mohammed A. Aboulsamh, Jim Davies
:
A Formal Modeling Approach to Information Systems Evolution and Data Migration. BMMDS/EMMSAD 2011: 383-397 - [c59]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 - [c58]Jordan R. Schoenherr, Robert Thomson, Jim Davies:
What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena. CogSci 2011 - [c57]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 - [c56]Christopher B. Stapleton, Jim Davies:
Imagination: The third reality to the virtuality continuum. ISMAR-AMH 2011: 53-60 - [c55]Mohammed A. Aboulsamh, Jim Davies
:
Specification and Verification of Model-Driven Data Migration. MEDI 2011: 214-225 - [c54]Daniel Abler
, Charles Crichton
, James Welch, Jim Davies
, Steve Harris
:
Models for forms. SPLASH Workshops 2011: 13-18 - [c53]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
- [c52]Jim Davies, Jonathan Gagné:
Estimating Quantitative Magnitudes Using Semantic Similarity. Visual Representations and Reasoning 2010 - [c51]Jim Davies:
The Graduate Student Symposium of Diagrams 2010. Diagrams 2010: 5 - [c50]Jolie Bell, Jim Davies:
Are Pixel Graphs Are Better at Representing Information than Pie Graphs? Diagrams 2010: 288-291 - [c49]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 - [c48]Andrew P. Martin
, Jim Davies
, Steve Harris
:
Towards a Framework for Security in eScience. eScience 2010: 230-237 - [c47]Mohammed A. Aboulsamh, Edward Crichton, Jim Davies
, James Welch:
Model-Driven Data Migration. ER Workshops 2010: 285-294 - [c46]Aadya Shukla, Steve Harris
, Jim Davies
:
Semantic Interoperability in Practice. HICSS 2010: 1-10 - [c45]Jim Davies
, Jeremy Gibbons
:
Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54 - [c44]Mohammed A. Aboulsamh, Jim Davies
:
A Metamodel-Based Approach to Information Systems Evolution and Data Migration. ICSEA 2010: 155-161 - [c43]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
- [b4]Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman:
GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12. Network Theory Ltd 2009, ISBN 978-0-9546120-7-8, pp. 1-573 - [j16]Jim Davies, Ashok K. Goel, Nancy J. Nersessian:
A computational model of visual analogies in design. Cogn. Syst. Res. 10(3): 204-215 (2009) - [j15]Jim Davies
, Jeremy Gibbons
:
Formal methods for future interoperability. ACM SIGCSE Bull. 41(2): 60-64 (2009) - [c42]Charles Crichton
, Jim Davies
, Jeremy Gibbons
, Steve Harris
, Aadya Shukla, Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10 - [c41]Charles Crichton
, Jim Davies
, Jeremy Gibbons
, Steve Harris
, Andrew Tsui, James D. Brenton
:
Metadata-driven software for clinical trials. SEHC@ICSE 2009: 1-11 - [c40]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
- [j14]Jim Davies, Ashok K. Goel, Patrick W. Yaner:
Proteus: Visuospatial analogy in problem-solving. Knowl. Based Syst. 21(7): 636-654 (2008) - [j13]James Welch, David Faitelson, Jim Davies
:
Automatic maintenance of association invariants. Softw. Syst. Model. 7(3): 287-301 (2008) - [c39]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 - [c38]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 - [c37]Steve Harris
, Jeremy Gibbons
, Jim Davies
, Andrew Tsui, Charles Crichton
:
Semantic technologies in electronic government. ICEGOV 2008: 45-51 - [c36]Jim Davies
, Steve Harris
, Charles Crichton
, Aadya Shukla, Jeremy Gibbons
:
Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75 - 2007
- [j12]Jim Davies, Ashok K. Goel:
Transfer of problem-solving strategy using Covlan. J. Vis. Lang. Comput. 18(2): 149-164 (2007) - [c35]Jim Davies
, Tomasz Janowski
, Adegboyega K. Ojo
, Aadya Shukla:
Technological foundations of electronic governance. ICEGOV 2007: 5-11 - [c34]Charles Crichton
, Jim Davies
, Jeremy Gibbons
, Steve Harris
, Aadya Shukla:
Semantic frameworks for e-government. ICEGOV 2007: 30-39 - [c33]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
- [j11]Jim Davies, Janice I. Glasgow, Tony Kuo:
Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. Comput. Intell. 22(3-4): 194-207 (2006) - [j10]Christie Bolton, Jim Davies
:
A singleton failures semantics for Communicating Sequential Processes. Formal Aspects Comput. 18(2): 181-210 (2006) - [j9]Janice I. Glasgow, Tony Kuo, Jim Davies:
Protein Structure from Contact Maps: A Case-Based Reasoning Approach. Inf. Syst. Frontiers 8(1): 29-36 (2006) - [j8]Matthew John Leslie, Jim Davies, Todd Huffman:
A Comparison of Replication Strategies for Reliable Decentralised Storage. J. Networks 1(6): 36-44 (2006) - [c32]Matthew John Leslie, Jim Davies
, Todd Huffman:
Replication Strategies for Reliable Decentralised Storage. ARES 2006: 740-747 - [c31]Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton:
On the Generation of Object Databases using Booster. ICECCS 2006: 249-258 - [c30]Jim Davies, Janice I. Glasgow, Tony Kuo:
Protein Structure Prediction with Visuospatial Analogy. Spatial Cognition 2006: 127-139 - [c29]Jim Davies
, David Faitelson, James Welch:
Domain-specific Semantics and Data Refinement of Object Models. SBMF 2006: 151-170 - 2005
- [c28]Jim Davies, Ashok K. Goel, Nancy J. Nersessian:
Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. DMS 2005: 293-298 - [c27]Jim Davies, Ashok K. Goel, Nancy J. Nersessian:
Transfer in Visual Case-Based Problem Solving. ICCBR 2005: 163-176 - [c26]Jim Davies, Ashok K. Goel, Nancy J. Nersessian:
A Cognitive Model of Visual Analogical Problem-Solving Transfer. IJCAI 2005: 1556-1557 - [c25]James Welch, David Faitelson, Jim Davies
:
Automatic Maintenance of Association Invariants. SEFM 2005: 282-292 - [c24]David Faitelson, James Welch, Jim Davies
:
From Predicates to Programs: The Semantics of a Method Language. SBMF 2005: 171-187 - 2004
- [j7]Alessandra Cavarra, Charles Crichton
, Jim Davies
:
A method for the automatic generation of test suites from object models. Inf. Softw. Technol. 46(5): 309-314 (2004) - [c23]Jim Davies:
Using CSP. PSSE 2004: 64-122 - [c22]Jim Davies, Andrew Simpson
, Andrew P. Martin:
Teaching Formal Methods in Context. TFM 2004: 185-202 - [c21]Jim Davies
, Charles Crichton
, Edward Crichton, David Neilson, Ib Holm Sørensen:
Formality, Evolution, and Model-driven Software Engineering. SBMF 2004: 39-55 - [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
- [j6]Jim Davies
, Charles Crichton
:
Concurrency and Refinement in the Unified Modeling Language. Formal Aspects Comput. 15(2-3): 118-145 (2003) - [c20]Jim Davies, Charles Crichton
:
Using State Diagrams to Describe Concurrent Behaviour. ICFEM 2003: 105-124 - [c19]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 - [c18]Jim Davies, Ashok K. Goel:
Visual Case-Based Reasoning II: Transfer and Adaptation. IICAI 2003: 769-778 - [c17]Jim Davies, Charles Crichton, Alessandra Cavarra:
A Method for the Automatic Generation of Test Suites from Object Models. SAC 2003: 1104-1109 - 2002
- [c16]Christie Bolton, Jim Davies:
Refinement in Object-Z and CSP. IFM 2002: 225-244 - [c15]Jim Davies
, Charles Crichton
:
Concurrency and refinement in the UML. Refine 2002: 217-243 - [c14]Christie Bolton, Jim Davies
:
A comparison of refinement orderings and their associated simulation rules. Refine 2002: 297-310 - 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. ACM SIGCSE Bull. 33(2): 111-126 (2001) - [c13]Jim Davies, Ashok K. Goel:
Visual Analogy in Problem Solving. IJCAI 2001: 377-384 - 2000
- [c12]Christie Bolton, Jim Davies
:
Using Relational and Behavioural Semantics in the Verification of Object Models. FMOODS 2000: 163-182 - [c11]Christie Bolton, Jim Davies:
Activity Graphs and Processes. IFM 2000: 77-96
1990 – 1999
- 1999
- [j4]Gavin Lowe, Jim Davies
:
Using CSP to Verify Sequential Consistency. Distributed Comput. 12(2-3): 91-103 (1999) - [c10]Christie Bolton, Jim Davies, Jim Woodcock:
On the Refinement and Simulation of Data Types and Processes. IFM 1999: 273-292 - [c9]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] - 1998
- [c8]Andrew Simpson, Jim Woodcock, Jim Davies:
Safety through Security. IWSSD 1998: 18-24 - 1996
- [b3]J. C. P. Woodcock, Jim Davies:
Using Z - specification, refinement, and proof. Prentice Hall international series in computer science, Prentice Hall 1996, ISBN 978-0-13-948472-8, pp. I-XVI, 1-386 - 1995
- [j3]Jim Davies
, Steve A. Schneider
:
A Brief History of Timed CSP. Theor. Comput. Sci. 138(2): 243-271 (1995) - [c7]Jeremy W. Bryans, Jim Davies, Steve A. Schneider
:
Towards a denotational semantics for ET-LOTOS. CONCUR 1995: 269-283 - [c6]Jim Davies, Jeremy W. Bryans, Steve A. 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
- [b2]Jim Davies:
Specification and proof in real-time CSP. Distinguished dissertations in computer science 6, Cambridge University Press 1993, ISBN 978-0-521-45055-3, pp. I-XVII, 1-180 - [j2]Jim Davies
, Steve A. Schneider
:
Recursion Induction for Real-Time Processes. Formal Aspects Comput. 5(6): 530-553 (1993) - 1992
- [c4]Jim Davies
, Steve A. Schneider
:
Using CSP to Verify a Timed Protocol over a Fair Medium. CONCUR 1992: 355-369 - [c3]Jim Davies
, Dave Jackson, Steve A. 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 A. 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 A. 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. Inf. Sci. 14(4): 237-242 (1988)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-21 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint