Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Cliff B. Jones

Clifford B. Jones

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j44]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cj/HayesBDJ13
- ask others
Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones: Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56(6): 741-755 (2013)
[c49]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/JonesFV13
- ask others
Cliff B. Jones, Leo Freitas, Andrius Velykis: Ours Is to Reason Why. Theories of Programming and Formal Methods 2013: 227-243
2012
[j43]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Jones12
- ask others
Cliff B. Jones: John McCarthy (1927-2011). Formal Asp. Comput. 24(3): 305-306 (2012)
[c48]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/JonesLS12
- ask others
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles: A Semantic Analysis of Logics That Cope with Partial Terms. ABZ 2012: 252-265
[c47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/Jones12
- ask others
Cliff B. Jones: Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM 2012: 1-15
[i1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dagstuhl-reports/BundyHJM12
- ask others
Alan Bundy, Dieter Hutter, Cliff B. Jones, J. Strother Moore: AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2(7): 1-29 (2012)
2011
[j42]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/RomanovskyJBL11
- ask others
Alexander Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel: Preface. ECEASST 46 (2011)
[j41]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/JonesP11
- ask others
Cliff B. Jones, Ken G. Pierce: Elucidating concurrent algorithms via layers of abstraction and reification. Formal Asp. Comput. 23(3): 289-306 (2011)
[j40]
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/JonesL11
- ask others
Cliff B. Jones, Matthew J. Lovert: Semantic Models for a Logic of Partial Functions. Int. J. Software and Informatics 5(1-2): 55-76 (2011)
[e11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/2011randell
- ask others
Cliff B. Jones, John L. Lloyd (Eds.): Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 6875, Springer 2011, ISBN 978-3-642-24540-4

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[e10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/lncs/5454
- ask others
Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.): Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5
2008
[j39]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ase/HughesJ08
- ask others
John R. D. Hughes, Cliff B. Jones: Reasoning about programs via operational semantics: requirements for a support system. Autom. Softw. Eng. 15(3-4): 299-312 (2008)
[j38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/JonesW08
- ask others
Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 20(1): 1-3 (2008)
[j37]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Jones08
- ask others
Cliff B. Jones: Valediction. Formal Asp. Comput. 20(6): 561 (2008)
[j36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/FitzgeraldJ08
- ask others
John S. Fitzgerald, Cliff B. Jones: The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008)
[c46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/JonesP08
- ask others
Cliff B. Jones, Ken G. Pierce: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377
[c45]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/Jones08
- ask others
Cliff B. Jones: Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8
2007
[j35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/JonesW07
- ask others
Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 19(4): 415-416 (2007)
[j34]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/ColemanJ07
- ask others
Joey W. Coleman, Cliff B. Jones: Atomicity: A Unifying Concept in Computer Science. J. UCS 13(8): 1042-1043 (2007)
[j33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/ColemanJ07
- ask others
Joey W. Coleman, Cliff B. Jones: A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007)
[j32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Jones07
- ask others
Cliff B. Jones: Splitting atoms safely. Theor. Comput. Sci. 375(1-3): 109-119 (2007)
[c44]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/Jones07
- ask others
Cliff B. Jones: Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus 2007: 177-235
[c43]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/JonesHJ07
- ask others
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson: Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390
[c42]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/JonesP07
- ask others
Cliff B. Jones, Ken G. Pierce: What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306
[e9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/2007bz
- ask others
Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2
[e8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictac/2007
- ask others
Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5
2006
[b4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0015093
- ask others
Denis Besnard, Cristina Gacek, Clifford B. Jones: Structure for dependability - computer-based systems from an interdisciplinary perspective. Springer 2006, ISBN 978-1-84628-110-5, pp. I-XII, 1-305
[j31]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/JonesOW06
- ask others
Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock: Verified Software: A Grand Challenge. IEEE Computer 39(4): 93-95 (2006)
[j30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jones06
- ask others
Cliff B. Jones: Reasoning About Partial Functions in the Formal Development of Programs. Electr. Notes Theor. Comput. Sci. 145: 3-25 (2006)
[j29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jones06a
- ask others
Cliff B. Jones: An Approach to Splitting Atoms Safely: Extended Abstract. Electr. Notes Theor. Comput. Sci. 155: 43-60 (2006)
[c41]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/WeikumJLR06
- ask others
Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander Romanovsky: 06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006
[c40]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/WeikumJLR06a
- ask others
Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander Romanovsky: 06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006
[c39]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gpce/LeavensABBCFHJMJSSS06
- ask others
Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. 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. GPCE 2006: 221-236
[c38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/BryansFJM06
- ask others
Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98
[e7]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6121
- ask others
Cliff B. Jones, David B. Lomet, Alexander Romanovsky, Gerhard Weikum (Eds.): Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Dagstuhl Seminar Proceedings 06121, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
[e6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rodin/2006
- ask others
Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.): Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2
2005
[j28]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/BurtonJ05
- ask others
Jon Burton, Cliff B. Jones: Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. UCS 11(5): 634-635 (2005)
[j27]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/JonesLRW05
- ask others
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum: The Atomic Manifesto. J. UCS 11(5): 636-651 (2005)
[j26]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/BurtonJ05a
- ask others
Jon Burton, Cliff B. Jones: Investigating Atomicity and Observability. J. UCS 11(5): 661-686 (2005)
[j25]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigmod/JonesLRWFGKLMRRRR05
- ask others
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. SIGMOD Record 34(1): 63-69 (2005)
[j24]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigops/Rodrigues05
- ask others
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. Operating Systems Review 39(2): 41-46 (2005)
[c37]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vstte/Jones05
- ask others
Cliff B. Jones: Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE 2005: 64-69
[c36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Jones05
- ask others
Cliff B. Jones: Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB 2005: 1-5
[e5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/2004csp
- ask others
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.): Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2
2004
[j23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/JonesC04
- ask others
Cliff B. Jones, John Cooke: Editorial. Formal Asp. Comput. 16(1): 1- (2004)
[j22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/JonesCN04
- ask others
Cliff B. Jones, D. J. Cooke, Christiane Notarmarco: Online First Publication. Formal Asp. Comput. 16(1): 4- (2004)
[j21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/JonesH04
- ask others
Cliff B. Jones, Michael R. Hansen: Editorial. Formal Asp. Comput. 16(2): 95- (2004)
2003
[j20]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/annals/Jones03
- ask others
Cliff B. Jones: The Early Search for Tractable Ways of Reasoning about Programs. IEEE Annals of the History of Computing 25(2): 26-49 (2003)
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Jones03
- ask others
Cliff B. Jones: Operational semantics: Concepts and their expression. Inf. Process. Lett. 88(1-2): 27-32 (2003)
[c35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/HayesJJ03
- ask others
Ian J. Hayes, Michael A. Jackson, Cliff B. Jones: Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169
2002
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Jones02
- ask others
Cliff B. Jones: Editorial. Formal Asp. Comput. 14(2): 91 (2002)
[c34]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/JonesRW02
- ask others
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch: A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005
[c33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fidji/JonesPRW02
- ask others
Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch: Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI 2002: 73-86
[c32]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/DobsonJPRW02
- ask others
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. SAC 2002: 704-705
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/unu/Jones02
- ask others
Cliff B. Jones: A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206
2001
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/algorithmica/LonerganJ01
- ask others
M. Lonergan, Cliff B. Jones: An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica 30(2): 287-301 (2001)
[j16]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/Jones01
- ask others
Cliff B. Jones: The Transition from VDL to VDM. J. UCS 7(8): 631-640 (2001)
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Jones01
- ask others
Cliff B. Jones: Thinking Tools for the Future of Computing Science. Informatics 2001: 112-130
2000
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Jones00
- ask others
Cliff B. Jones: Editorial. Formal Asp. Comput. 12(6): 417 (2000)
[c29]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/ColletteJ00
- ask others
Pierre Collette, Cliff B. Jones: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction 2000: 277-308
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icra/SirouspourDSAJ00
- ask others
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. ICRA 2000: 789-794
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/Jones00a
- ask others
Cliff B. Jones: Formal Methods and Dependability. MPC 2000: 140-143

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/Jones99
- ask others
Cliff B. Jones: Scientific Decisions which Characterize VDM. World Congress on Formal Methods 1999: 28-47
1998
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/Jones98
- ask others
Cliff B. Jones: Some Mistakes I Have and What I Have Learned from Them. FASE 1998: 7-20
1997
[e4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/1997
- ask others
John S. Fitzgerald, Cliff B. Jones, Peter Lucas (Eds.): FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Lecture Notes in Computer Science 1313, Springer 1997, ISBN 3-540-63533-5
1996
[j14]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/BowenBDGGHHHJJLPRWZ96
- ask others
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. IEEE Computer 29(4): 16-30 (1996)
[j13]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/csur/Jones96a
- ask others
Cliff B. Jones: Formal Methods Light. ACM Comput. Surv. 28(4es): 121 (1996)
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/Jones96
- ask others
Cliff B. Jones: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 8(2): 105-122 (1996)
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/Jones96
- ask others
Cliff B. Jones: Some Practical Problems and Their Influence on Semantics. ESOP 1996: 1-17
1995
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jones95
- ask others
Cliff B. Jones: Granularity and the development of concurrent programs. Electr. Notes Theor. Comput. Sci. 1: 302-306 (1995)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jones95a
- ask others
Cliff B. Jones: Fixing the semantics of some concurrent object-oriented concepts. Electr. Notes Theor. Comput. Sci. 1: 307-312 (1995)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Jones95
- ask others
Cliff B. Jones: Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (1995)
[c23]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/HodgesJ95
- ask others
Steve J. Hodges, Cliff B. Jones: Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. Object Orientation with Parallelism and Persistence 1995: 1-22
1994
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/JonesM94
- ask others
Cliff B. Jones, C. A. Middelburg: A Typed Logic of Partial Functions Reconstructed Classically. Acta Inf. 31(5): 399-430 (1994)
1993
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Jones93
- ask others
Cliff B. Jones: A pi-Calculus Semantics for an Object-Based Design Notation. CONCUR 1993: 158-172
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/Jones93
- ask others
Cliff B. Jones: Reasoning about Interference in an Object-Based Design Method. FME 1993: 1-18
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapsoft/Jones93
- ask others
Cliff B. Jones: Constraining Inference in an Object-Based Design Model. TAPSOFT 1993: 136-150
1991
[b3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0078005
- ask others
Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore: Mural - a formal development support system. Springer 1991, ISBN 3-540-19651-X, pp. I-XIII, 1-421
[b2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0067105
- ask others
Clifford B. Jones: Systematic software development using VDM (2. ed.). Prentice Hall International Series in Computer Science, Prentice Hall 1991, ISBN 978-0-13-880733-7, pp. I-XIV, 1-333
1990
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/FitzgeraldJ90
- ask others
John S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210
[c18]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Jones90
- ask others
Cliff B. Jones: Interference Revisited. Z User Workshop 1990: 58-73

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c17]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/Jones89
- ask others
Cliff B. Jones: Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955
1988
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/JonesL88
- ask others
Cliff B. Jones, Peter A. Lindsay: A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/JonesM88
- ask others
Cliff B. Jones, Richard C. Moore: MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe 1988: 337-375
1987
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/Jones87a
- ask others
Cliff B. Jones: VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286
[e3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/1987
- ask others
Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.): VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, ISBN 3-540-17654-3
1986
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0068091
- ask others
Clifford B. Jones: Systematic software development using VDM. Prentice Hall International Series in Computer Science, Prentice Hall 1986, ISBN 978-0-13-880725-2, pp. I-XVI, 1-300
[c13]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/Jones86
- ask others
Cliff B. Jones: Software Development Based on Formal Methods. System Development and Ada 1986: 153-172
1985
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pos/JonesNW85
- ask others
Cliff B. Jones, T. N. Nipkow, Mario Wolczko: MDB: A Graph-Like Persistent Database. Data Types and Persistence (Appin), Informal Proceedings 1985: 25-34
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapsoft/Jones85
- ask others
Cliff B. Jones: The Role of Proof Obligations in Software Design. TAPSOFT, Vol.2 1985: 27-41
1984
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/BarringerCJ84
- ask others
Howard Barringer, J. H. Cheng, Cliff B. Jones: A Logic Covering Undefinedness in Program Proofs. Acta Inf. 21: 251-269 (1984)
[j6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toms/Jones84
- ask others
Cliff B. Jones: A Significance Rule for Multiple-Precision Arithmetic. ACM Trans. Math. Softw. 10(1): 97-107 (1984)
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ibm/BekicBHJL84
- ask others
Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155
[e2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ibm/1984
- ask others
Cliff B. Jones (Ed.): Programming Languages and Their Definition - Hans Bekic (1936-1982). Lecture Notes in Computer Science 177, Springer 1984, ISBN 3-540-13378-X
1983
[j5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Jones83
- ask others
Cliff B. Jones: Tentative Steps Toward a Development Method for Interfering Programs. ACM Trans. Program. Lang. Syst. 5(4): 596-619 (1983)
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/Jones83
- ask others
Cliff B. Jones: Specification and Design of (Parallel) Programs. IFIP Congress 1983: 321-332
1981
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tit/Jones81
- ask others
Cliff B. Jones: An efficient coding system for long source sequences. IEEE Transactions on Information Theory 27(3): 280-291 (1981)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eci/Jones81
- ask others
Cliff B. Jones: Specification as a Design Base (Extended Abstract). ECI 1981: 103-105
1980
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Jones80
- ask others
Cliff B. Jones: Towards More Formal Specifictations. Software Engineering 1980: 19-45

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Jones79
- ask others
Cliff B. Jones: Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Inf. 11: 119-137 (1979)
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/Jones79
- ask others
Cliff B. Jones: Models of Programming Language Concepts. Abstract Software Specifications 1979: 100-143
1978
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/Jones78
- ask others
Cliff B. Jones: The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language 1978: 218-277
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/Jones78a
- ask others
Cliff B. Jones: Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. The Vienna Development Method: The Meta-Language 1978: 278-304
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/HenhaplJ78
- ask others
Wolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/1978
- ask others
Dines Bjørner, Cliff B. Jones (Eds.): The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, ISBN 3-540-08766-4
1977
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icsym/Jones77
- ask others
Cliff B. Jones: Program Specifications and Formal Development. International Computing Symposium 1977: 537-553
1974
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ibm/Jones74
- ask others
Cliff B. Jones: Formal Definition in Program Development. Programming Methodology 1974: 387-443
1971
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cj/Jones71
- ask others
Cliff B. Jones: A New Approach to the 'Hidden Line' Problem. Comput. J. 14(3): 232-237 (1971)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/HenhaplJ71
- ask others
Wolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?