Cliff B. Jones

Clifford B. Jones

	2012
102		Cliff B. Jones: John McCarthy (1927-2011). Formal Asp. Comput. 24(3): 305-306 (2012)
	2011
101		Cliff B. Jones, John L. Lloyd: Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday Springer 2011
100		Alexander Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel: Preface. ECEASST 46: (2011)
99		Cliff B. Jones, Ken G. Pierce: Elucidating concurrent algorithms via layers of abstraction and reification. Formal Asp. Comput. 23(3): 289-306 (2011)
98		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)
	2009
97		Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Methods, Models and Tools for Fault Tolerance Springer 2009
	2008
96		Cliff B. Jones, Ken G. Pierce: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377
95		Cliff B. Jones: Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8
94		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)
93		Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 20(1): 1-3 (2008)
92		Cliff B. Jones: Valediction. Formal Asp. Comput. 20(6): 561 (2008)
91		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)
	2007
90		Cliff B. Jones, Zhiming Liu, Jim Woodcock: 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 Springer 2007
89		Cliff B. Jones, Zhiming Liu, Jim Woodcock: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Springer 2007
88		Cliff B. Jones: Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus 2007: 177-235
87		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
86		Cliff B. Jones, Ken G. Pierce: What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306
85		Cliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 19(4): 415-416 (2007)
84		Joey W. Coleman, Cliff B. Jones: A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007)
83		Joey W. Coleman, Cliff B. Jones: Atomicity: A Unifying Concept in Computer Science. J. UCS 13(8): 1042-1043 (2007)
82		Cliff B. Jones: Splitting atoms safely. Theor. Comput. Sci. 375(1-3): 109-119 (2007)
	2006
81		Cliff B. Jones, David B. Lomet, Alexander Romanovsky, Gerhard Weikum: Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
80		Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] Springer 2006
79		Denis Besnard, Cristina Gacek, Clifford B. Jones: Structure for dependability - computer-based systems from an interdisciplinary perspective. Springer 2006: I-XII, 1-305
78		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
77		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
76		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
75		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
74		Cliff B. Jones: Reasoning About Partial Functions in the Formal Development of Programs. Electr. Notes Theor. Comput. Sci. 145: 3-25 (2006)
73		Cliff B. Jones: An Approach to Splitting Atoms Safely: Extended Abstract. Electr. Notes Theor. Comput. Sci. 155: 43-60 (2006)
72		Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock: Verified Software: A Grand Challenge. IEEE Computer 39(4): 93-95 (2006)
	2005
71		Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders: 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 Springer 2005
70		Cliff B. Jones: Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE 2005: 64-69
69		Cliff B. Jones: Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB 2005: 1-5
68		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)
67		Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum: The Atomic Manifesto. J. UCS 11(5): 636-651 (2005)
66		Jon Burton, Cliff B. Jones: Investigating Atomicity and Observability. J. UCS 11(5): 661-686 (2005)
65		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)
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. SIGMOD Record 34(1): 63-69 (2005)
	2004
63		Cliff B. Jones, John Cooke: Editorial. Formal Asp. Comput. 16(1): 1- (2004)
62		Cliff B. Jones, D. J. Cooke, Christiane Notarmarco: Online First Publication. Formal Asp. Comput. 16(1): 4- (2004)
61		Cliff B. Jones, Michael R. Hansen: Editorial. Formal Asp. Comput. 16(2): 95- (2004)
	2003
60		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
59		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)
58		Cliff B. Jones: Operational semantics: Concepts and their expression. Inf. Process. Lett. 88(1-2): 27-32 (2003)
	2002
57		Cliff B. Jones: A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206
56		Cliff B. Jones, Alexander B. Romanovsky, Ian Welch: A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005
55		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
54		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
53		Cliff B. Jones: Editorial. Formal Asp. Comput. 14(2): 91 (2002)
	2001
52		Cliff B. Jones: Thinking Tools for the Future of Computing Science. Informatics 2001: 112-130
51		M. Lonergan, Cliff B. Jones: An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica 30(2): 287-301 (2001)
50		Cliff B. Jones: The Transition from VDL to VDM. J. UCS 7(8): 631-640 (2001)
	2000
49		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
48		Cliff B. Jones: Formal Methods and Dependability. MPC 2000: 140-143
47		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
46		Cliff B. Jones: Editorial. Formal Asp. Comput. 12(6): 417 (2000)
	1999
45		Cliff B. Jones: Scientific Decisions which Characterize VDM. World Congress on Formal Methods 1999: 28-47
	1998
44		Cliff B. Jones: Some Mistakes I Have and What I Have Learned from Them. FASE 1998: 7-20
	1997
43		John S. Fitzgerald, Cliff B. Jones, Peter Lucas: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings Springer 1997
	1996
42		Cliff B. Jones: Some Practical Problems and Their Influence on Semantics. ESOP 1996: 1-17
41		Cliff B. Jones: Formal Methods Light. ACM Comput. Surv. 28(4es): 121 (1996)
40		Cliff B. Jones: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 8(2): 105-122 (1996)
39		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)
	1995
38		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
37		Cliff B. Jones: Granularity and the development of concurrent programs. Electr. Notes Theor. Comput. Sci. 1: 302-306 (1995)
36		Cliff B. Jones: Fixing the semantics of some concurrent object-oriented concepts. Electr. Notes Theor. Comput. Sci. 1: 307-312 (1995)
35		Cliff B. Jones: Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (1995)
	1994
34		Cliff B. Jones, C. A. Middelburg: A Typed Logic of Partial Functions Reconstructed Classically. Acta Inf. 31(5): 399-430 (1994)
	1993
33		Cliff B. Jones: A pi-Calculus Semantics for an Object-Based Design Notation. CONCUR 1993: 158-172
32		Cliff B. Jones: Reasoning about Interference in an Object-Based Design Method. FME 1993: 1-18
31		Cliff B. Jones: Constraining Inference in an Object-Based Design Model. TAPSOFT 1993: 136-150
	1991
30		Clifford B. Jones: Systematic software development using VDM (2. ed.). Prentice Hall 1991: I-XIV, 1-333
29		Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore: Mural - a formal development support system. Springer 1991: I-XIII, 1-421
	1990
28		John S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210
27		Cliff B. Jones: Interference Revisited. Z User Workshop 1990: 58-73
	1989
26		Cliff B. Jones: Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955
	1988
25		Cliff B. Jones, Peter A. Lindsay: A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152
24		Cliff B. Jones, Richard C. Moore: MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe 1988: 337-375
	1987
23		Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings Springer 1987
22		Cliff B. Jones: VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286
	1986
21		Clifford B. Jones: Systematic software development using VDM. Prentice Hall 1986: I-XVI, 1-300
20		Cliff B. Jones: Software Development Based on Formal Methods. System Development and Ada 1986: 153-172
	1985
19		Cliff B. Jones, T. N. Nipkow, Mario Wolczko: MDB: A Graph-Like Persistent Database. Data Types and Persistence (Appin), Informal Proceedings 1985: 25-34
18		Cliff B. Jones: The Role of Proof Obligations in Software Design. TAPSOFT, Vol.2 1985: 27-41
	1984
17		Cliff B. Jones: Programming Languages and Their Definition - Hans Bekic (1936-1982) Springer 1984
16		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
15		Howard Barringer, J. H. Cheng, Cliff B. Jones: A Logic Covering Undefinedness in Program Proofs. Acta Inf. 21: 251-269 (1984)
	1983
14		Cliff B. Jones: Specification and Design of (Parallel) Programs. IFIP Congress 1983: 321-332
13		Cliff B. Jones: Tentative Steps Toward a Development Method for Interfering Programs. ACM Trans. Program. Lang. Syst. 5(4): 596-619 (1983)
	1981
12		Cliff B. Jones: Specification as a Design Base (Extended Abstract). ECI 1981: 103-105
	1980
11		Cliff B. Jones: Towards More Formal Specifictations. Software Engineering 1980: 19-45
	1979
10		Cliff B. Jones: Models of Programming Language Concepts. Abstract Software Specifications 1979: 100-143
9		Cliff B. Jones: Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Inf. 11: 119-137 (1979)
	1978
8		Dines Bjørner, Cliff B. Jones: The Vienna Development Method: The Meta-Language Springer 1978
7		Cliff B. Jones: The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language 1978: 218-277
6		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
5		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
	1977
4		Cliff B. Jones: Program Specifications and Formal Development. International Computing Symposium 1977: 537-553
	1974
3		Cliff B. Jones: Formal Definition in Program Development. Programming Methodology 1974: 387-443
	1971
2		Cliff B. Jones: A New Approach to the 'Hidden Line' Problem. Comput. J. 14(3): 232-237 (1971)
1		Wolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971)

Coauthor Index

1	Ali E. Abdallah	[71]
2	Purang Abolmaesumi	[49]
3	Jean-Raymond Abrial	[76]
4	Mícheál Mac an Airchinnigh	[23]
5	Howard Barringer	[15]
6	Don S. Batory	[76]
7	Hans Bekic	[16]
8	Jens Bendisposto	[100]
9	Denis Besnard	[79]
10	Dines Bjørner	[8] [16] [23]
11	Jonathan P. Bowen	[39]
12	Jeremy Bryans (Jeremy W. Bryans)	[75]
13	Jon Burton	[66] [68]
14	Michael J. Butler	[76] [80] [97]
15	Ricky W. Butler	[39]
16	J. H. Cheng	[15]
17	Alessandro Coglio	[76]
18	Joey W. Coleman	[83] [84]
19	Pierre Collette	[47]
20	D. J. Cooke	[62]
21	John Cooke	[63]
22	Simon P. DiMaio (Simon Peter DiMaio)	[49]
23	David L. Dill	[39]
24	John E. Dobson	[54]
25	Alan Fekete (Alan David Fekete, A. D. Fekete)	[64] [65]
26	Kathi Fisler	[76]
27	John S. Fitzgerald	[28] [43] [75] [91]
28	Cristina Gacek	[79]
29	Marie-Claude Gaudel	[64] [65]
30	Robert L. Glass	[39]
31	David Gries	[39]
32	Anthony Hall	[39]
33	Michael R. Hansen (Michael Rygaard Hansen)	[61]
34	Ian J. Hayes	[60] [87]
35	Eric C. R. Hehner	[76]
36	Wolfgang Henhapl	[1] [5] [16]
37	Michael G. Hinchey (Mike Hinchey)	[39]
38	Steve J. Hodges	[38]
39	C. Michael Holloway	[39]
40	John R. D. Hughes	[94]
41	Daniel Jackson	[39]
42	Michael A. Jackson	[60] [87]
43	K. D. Jones	[29]
44	Simon L. Peyton Jones	[76]
45	Henry F. Korth (Hank Korth)	[64] [65]
46	Gary T. Leavens	[76]
47	Rogério de Lemos	[64] [65]
48	Michael Leuschel	[100]
49	Peter A. Lindsay (Peter Alexander Lindsay)	[25] [29]
50	Zhiming Liu	[89] [90]
51	John L. Lloyd	[101]
52	David B. Lomet	[64] [65] [67] [77] [78] [81]
53	M. Lonergan	[51]
54	Matthew J. Lovert	[98]
55	Peter Lucas	[16] [43]
56	Michael J. Lutz	[39]
57	Kees Middelburg (C. A. Middelburg)	[34]
58	Dale Miller	[76]
59	Richard C. Moore	[24] [29]
60	J. Eliot B. Moss	[64] [65]
61	Igor Mozolevsky	[75]
62	Erich J. Neuhold	[23]
63	T. N. Nipkow	[19]
64	Christiane Notarmarco	[62]
65	Peter W. O'Hearn	[72]
66	David Lorge Parnas	[39]
67	Panayiotis Periorellis	[55]
68	Ken G. Pierce	[86] [96] [99]
69	Rob Procter	[54]
70	Ravi Rajwar	[64] [65]
71	Krithi Ramamritham	[64] [65]
72	Brian Randell	[64] [65]
73	Luís Rodrigues (Luis Eduardo Teixeira Rodrigues)	[64] [65]
74	Alexander Romanovsky (Alexander B. Romanovsky)	[55] [56] [64] [65] [67] [77] [78] [80] [81] [97] [100]
75	Mark Rouncefield	[54]
76	John M. Rushby	[39]
77	S. E. Salcudean (Septimiu E. Salcudean, Tim Salcudean)	[49]
78	Jeff W. Sanders (Jeffrey W. Sanders)	[71]
79	Mohammad Reza Sirouspour	[49]
80	Murali Sitaraman	[76]
81	Douglas R. Smith	[76]
82	Aaron Stump	[76]
83	Elena Troubitsyna	[80] [97]
84	Gerhard Weikum	[64] [65] [67] [77] [78] [81]
85	Ian Welch (Ian S. Welch)	[55] [56]
86	Robin Williams	[54]
87	Jeannette M. Wing	[39]
88	Mario Wolczko	[19]
89	Jim Woodcock (J. C. P. Woodcock)	[72] [85] [89] [90] [93]
90	Pamela Zave	[39]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page