The SCEAS System
Navigation Menu

Search the dblp DataBase


Jim Davies: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
    Timed CSP: Theory and Practice. [Citation Graph (1, 0)][DBLP]
    REX Workshop, 1991, pp:640-675 [Conf]
  2. Matthew Leslie, Jim Davies, Todd Huffman
    Replication Strategies for Reliable Decentralised Storage. [Citation Graph (0, 0)][DBLP]
    ARES, 2006, pp:740-747 [Conf]
  3. Jim Davies, Steve Schneider
    Using CSP to Verify a Timed Protocol over a Fair Medium. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:355-369 [Conf]
  4. Jeremy Bryans, Jim Davies, Steve Schneider
    Towards a denotational semantics for ET-LOTOS. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:269-283 [Conf]
  5. Christie Bolton, Jim Davies
    Using Relational and Behavioural Semantics in the Verification of Object Models. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:163-182 [Conf]
  6. Jim Davies, Jeremy Bryans, Steve Schneider
    Real-time LOTOS and Timed Observations. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:383-397 [Conf]
  7. Jim Davies, Matt Wallis
    On the formal specification and verification of network routing algorithms. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:100-115 [Conf]
  8. Jim Davies, Dave Jackson, Steve Schneider
    Broadcast Communication for Real-time Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:149-169 [Conf]
  9. Jim Davies, Ashok K. Goel, Nancy J. Nersessian
    Transfer in Visual Case-Based Problem Solving. [Citation Graph (0, 0)][DBLP]
    ICCBR, 2005, pp:163-176 [Conf]
  10. Jim Davies, Charles Crichton
    Using State Diagrams to Describe Concurrent Behaviour. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:105-124 [Conf]
  11. Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
    On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:628-633 [Conf]
  12. Christie Bolton, Jim Davies
    Activity Graphs and Processes. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:77-96 [Conf]
  13. Christie Bolton, Jim Davies
    Refinement in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:225-244 [Conf]
  14. Christie Bolton, Jim Davies, Jim Woodcock
    On the Refinement and Simulation of Data Types and Processes. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:273-292 [Conf]
  15. Jim Davies, Ashok K. Goel
    Visual Case-Based Reasoning II: Transfer and Adaptation. [Citation Graph (0, 0)][DBLP]
    IICAI, 2003, pp:769-778 [Conf]
  16. Jim Davies, Ashok K. Goel
    Visual Analogy in Problem Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:377-384 [Conf]
  17. Jim Davies, Ashok K. Goel, Nancy J. Nersessian
    A Cognitive Model of Visual Analogical Problem-Solving Transfer. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1556-1557 [Conf]
  18. Jim Davies, Steve Schneider
    Factorizing Proofs in Timed CSP. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:129-159 [Conf]
  19. Jim Davies, Charles Crichton, Alessandra Cavarra
    A Method for the Automatic Generation of Test Suites from Object Models. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:1104-1109 [Conf]
  20. James Welch, David Faitelson, Jim Davies
    Automatic Maintenance of Association Invariants. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:282-292 [Conf]
  21. Jim Davies, Andrew Simpson, Andrew Martin
    Teaching Formal Methods in Context. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:185-202 [Conf]
  22. Charles Crichton, Jim Davies, Jim Woodcock
    When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:116-125 [Conf]
  23. Gavin Lowe, Jim Davies
    Using CSP to Verify Sequential Consistency. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:2-3, pp:91-103 [Journal]
  24. Christie Bolton, Jim Davies
    A comparison of refinement orderings and their associated simulation rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  25. Jim Davies, Charles Crichton
    Concurrency and refinement in the UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  26. Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
    Formality, Evolution, and Model-driven Software Engineering. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:39-55 [Journal]
  27. Christie Bolton, Jim Davies
    A singleton failures semantics for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:2, pp:181-210 [Journal]
  28. Jim Davies, Charles Crichton
    Concurrency and Refinement in the Unified Modeling Language. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:118-145 [Journal]
  29. Jim Davies, Steve Schneider
    Recursion Induction for Real-Time Processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:5, n:6, pp:530-553 [Journal]
  30. Alessandra Cavarra, Charles Crichton, Jim Davies
    A method for the automatic generation of test suites from object models. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:5, pp:309-314 [Journal]
  31. Janice I. Glasgow, Tony Kuo, Jim Davies
    Protein Structure from Contact Maps: A Case-Based Reasoning Approach. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2006, v:8, n:1, pp:29-36 [Journal]
  32. Jim Davies, Steve Schneider
    A Brief History of Timed CSP. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:2, pp:243-271 [Journal]
  33. Jim Davies, Ashok K. Goel
    Transfer of problem-solving strategy using Covlan. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2007, v:18, n:2, pp:149-164 [Journal]
  34. Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
    On the Generation of Object Databases using Booster. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:249-258 [Conf]
  35. Jim Davies, Ashok K. Goel, Nancy J. Nersessian
    Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. [Citation Graph (0, 0)][DBLP]
    DMS, 2005, pp:293-298 [Conf]
  36. Jim Davies
    Using CSP. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:64-122 [Conf]
  37. David Faitelson, James Welch, Jim Davies
    From Predicates to Programs: The Semantics of a Method Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:171-187 [Journal]

  38. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. [Citation Graph (, )][DBLP]

  39. The Graduate Student Symposium of Diagrams 2010. [Citation Graph (, )][DBLP]

  40. Modelling English Spatial Preposition Detectors. [Citation Graph (, )][DBLP]

  41. Are Pixel Graphs Are Better at Representing Information than Pie Graphs? [Citation Graph (, )][DBLP]

  42. Semantics-Driven Development for Electronic Government Applications. [Citation Graph (, )][DBLP]

  43. Semantic Interoperability in Practice. [Citation Graph (, )][DBLP]

  44. Semantic Frameworks - Meanings in the Architecture. [Citation Graph (, )][DBLP]

  45. Model-driven architecture for cancer research. [Citation Graph (, )][DBLP]

  46. Protein Structure Prediction with Visuospatial Analogy. [Citation Graph (, )][DBLP]

  47. Semantic frameworks for e-government. [Citation Graph (, )][DBLP]

  48. Technological foundations of electronic governance. [Citation Graph (, )][DBLP]

  49. Metadata standards for semantic interoperability in electronic government. [Citation Graph (, )][DBLP]

  50. Semantic technologies in electronic government. [Citation Graph (, )][DBLP]

  51. Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. [Citation Graph (, )][DBLP]

  52. Domain-specific Semantics and Data Refinement of Object Models. [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.008secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002