The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cliff B. Jones: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cliff B. Jones
    Constructing a Theory of a Data Structure as an Aid to Program Development. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1979, v:11, n:, pp:119-137 [Journal]
  2. Cliff B. Jones
    Models of Programming Language Concepts. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:100-143 [Conf]
  3. Cliff B. Jones
    Software Development Based on Formal Methods. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:153-172 [Conf]
  4. Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
    A Structured Approach to Handling On-Line Interface Upgrades. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:1000-1005 [Conf]
  5. Cliff B. Jones
    A pi-Calculus Semantics for an Object-Based Design Notation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:158-172 [Conf]
  6. Steve J. Hodges, Cliff B. Jones
    Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:1-22 [Conf]
  7. Cliff B. Jones
    Thinking Tools for the Future of Computing Science. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:112-130 [Conf]
  8. Cliff B. Jones
    Specification as a Design Base (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ECI, 1981, pp:103-105 [Conf]
  9. Cliff B. Jones
    Some Practical Problems and Their Influence on Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:1-17 [Conf]
  10. Cliff B. Jones
    Some Mistakes I Have and What I Have Learned from Them. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:7-20 [Conf]
  11. Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch
    Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2002, pp:73-86 [Conf]
  12. John S. Fitzgerald, Cliff B. Jones
    Modularizing the Formal Description of a Database System. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:189-210 [Conf]
  13. Ian J. Hayes, Michael A. Jackson, Cliff B. Jones
    Determining the Specification of a Control System from That of Its Environment. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:154-169 [Conf]
  14. Wolfgang Henhapl, Cliff B. Jones
    A Formal Definition of Algol 60 as Described in the 1975 Modified Report. [Citation Graph (0, 0)][DBLP]
    The Vienna Development Method: The Meta-Language, 1978, pp:305-336 [Conf]
  15. Cliff B. Jones
    The META-Language: A Reference Manual. [Citation Graph (0, 0)][DBLP]
    The Vienna Development Method: The Meta-Language, 1978, pp:218-277 [Conf]
  16. Cliff B. Jones
    Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. [Citation Graph (0, 0)][DBLP]
    The Vienna Development Method: The Meta-Language, 1978, pp:278-304 [Conf]
  17. Cliff B. Jones
    VDM Proof Obligations and their Justification. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:260-286 [Conf]
  18. Cliff B. Jones
    Reasoning about Interference in an Object-Based Design Method. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:1-18 [Conf]
  19. Cliff B. Jones
    Scientific Decisions which Characterize VDM. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:28-47 [Conf]
  20. Cliff B. Jones, Peter A. Lindsay
    A Support System for Formal Reasoning: Requirements and Status. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:139-152 [Conf]
  21. Cliff B. Jones, Richard Moore
    MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:337-375 [Conf]
  22. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  23. Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas
    On the Formal Definition of a PL/I Subset (Selected parts). [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:107-155 [Conf]
  24. Cliff B. Jones
    Formal Definition in Program Development. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:387-443 [Conf]
  25. Mohammad Reza Sirouspour, Simon P. DiMaio, S. E. Salcudean, Purang Abolmaesumi, Cliff B. Jones
    Haptic Interface Control - Design Issues and Experiments with a Planar Device. [Citation Graph (0, 0)][DBLP]
    ICRA, 2000, pp:789-794 [Conf]
  26. Cliff B. Jones
    Program Specifications and Formal Development. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:537-553 [Conf]
  27. Cliff B. Jones
    Specification and Design of (Parallel) Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:321-332 [Conf]
  28. Cliff B. Jones
    Position Statement for the Panel on Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:955- [Conf]
  29. Cliff B. Jones
    Formal Methods and Dependability. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:140-143 [Conf]
  30. Cliff B. Jones, T. N. Nipkow, Mario Wolczko
    MDB: A Graph-Like Persistent Database. [Citation Graph (0, 0)][DBLP]
    Data Types and Persistence (Appin), Informal Proceedings, 1985, pp:25-34 [Conf]
  31. John E. Dobson, Cliff B. Jones, Rob Procter, Mark Rouncefield, Robin Williams
    Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:704-705 [Conf]
  32. Cliff B. Jones
    Towards More Formal Specifictations. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:19-45 [Conf]
  33. Cliff B. Jones
    The Role of Proof Obligations in Software Design. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:27-41 [Conf]
  34. Cliff B. Jones
    Constraining Inference in an Object-Based Design Model. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:136-150 [Conf]
  35. Cliff B. Jones
    A Formal Basis for Some Dependability Notions. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:191-206 [Conf]
  36. Cliff B. Jones
    Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:1-5 [Conf]
  37. Cliff B. Jones
    Interference Revisited. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:58-73 [Conf]
  38. Howard Barringer, J. H. Cheng, Cliff B. Jones
    A Logic Covering Undefinedness in Program Proofs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1984, v:21, n:, pp:251-269 [Journal]
  39. Cliff B. Jones, C. A. Middelburg
    A Typed Logic of Partial Functions Reconstructed Classically. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:5, pp:399-430 [Journal]
  40. M. Lonergan, Cliff B. Jones
    An Iterative Displacement Method for Conflict Resolution in Map Generalization. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 2001, v:30, n:2, pp:287-301 [Journal]
  41. Cliff B. Jones
    The Early Search for Tractable Ways of Reasoning about Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Annals of the History of Computing, 2003, v:25, n:2, pp:26-49 [Journal]
  42. Cliff B. Jones
    A New Approach to the 'Hidden Line' Problem. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1971, v:14, n:3, pp:232-237 [Journal]
  43. Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
    An Invitation to Formal Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
  44. Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock
    Verified Software: A Grand Challenge. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:93-95 [Journal]
  45. Cliff B. Jones
    Formal Methods Light. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:121- [Journal]
  46. Cliff B. Jones
    Reasoning About Partial Functions in the Formal Development of Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:3-25 [Journal]
  47. Cliff B. Jones
    An Approach to Splitting Atoms Safely: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:43-60 [Journal]
  48. Cliff B. Jones
    Granularity and the development of concurrent programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  49. Cliff B. Jones
    Fixing the semantics of some concurrent object-oriented concepts. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  50. Cliff B. Jones
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:6, pp:417- [Journal]
  51. Cliff B. Jones
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:14, n:2, pp:91- [Journal]
  52. Cliff B. Jones, John Cooke
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:1-0 [Journal]
  53. Cliff B. Jones, D. J. Cooke, Christiane Notarmarco
    Online First Publication. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:4-0 [Journal]
  54. Cliff B. Jones, Michael R. Hansen
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:95-0 [Journal]
  55. Cliff B. Jones
    Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1996, v:8, n:2, pp:105-122 [Journal]
  56. Wolfgang Henhapl, Cliff B. Jones
    A Run-Time Mechanism for Referencing Variables. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1971, v:1, n:1, pp:14-16 [Journal]
  57. Cliff B. Jones
    Operational semantics: Concepts and their expression. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:88, n:1-2, pp:27-32 [Journal]
  58. Cliff B. Jones
    Partial Functions and Logics: A Warning. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:54, n:2, pp:65-67 [Journal]
  59. Jon Burton, Cliff B. Jones
    Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:5, pp:634-635 [Journal]
  60. Jon Burton, Cliff B. Jones
    Investigating Atomicity and Observability. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:5, pp:661-686 [Journal]
  61. Cliff B. Jones
    The Transition from VDL to VDM. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:631-640 [Journal]
  62. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
    The Atomic Manifesto. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:5, pp:636-651 [Journal]
  63. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues
    The atomic manifesto: a story in four quarks. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:1, pp:63-69 [Journal]
  64. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues
    The atomic manifesto: a story in four quarks. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2005, v:39, n:2, pp:41-46 [Journal]
  65. Cliff B. Jones
    Splitting atoms safely. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:109-119 [Journal]
  66. Cliff B. Jones
    Tentative Steps Toward a Development Method for Interfering Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:4, pp:596-619 [Journal]
  67. Cliff B. Jones
    Understanding Programming Language Concepts Via Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Domain Modeling and the Duration Calculus, 2007, pp:177-235 [Conf]
  68. Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
    Deriving Specifications for Systems That Are Connected to the Physical World. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:364-390 [Conf]
  69. Cliff B. Jones, Ken G. Pierce
    What Can the pi-calculus Tell Us About the Mondex Purse System? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:300-306 [Conf]

  70. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. [Citation Graph (, )][DBLP]


  71. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. [Citation Graph (, )][DBLP]


  72. 06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. [Citation Graph (, )][DBLP]


  73. 06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. [Citation Graph (, )][DBLP]


  74. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. [Citation Graph (, )][DBLP]


  75. Reflections on, and Predictions for, Support Systems for the Development of Programs. [Citation Graph (, )][DBLP]


  76. Some Interdisciplinary Observations about Getting the "Right" Specification. [Citation Graph (, )][DBLP]


  77. Reasoning about programs via operational semantics: requirements for a support system. [Citation Graph (, )][DBLP]


Search in 0.425secs, Finished in 0.427secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002