Cliff B. Jones

Available identifiers

zbMath Open jones.cliff-bWikidataQ5132649 ScholiaQ5132649MaRDI QIDQ890477

List of research outcomes

Publication	Date of Publication	Type
The Development and Deployment of Formal Methods in the UK	2023-08-31	Paper
Concurrency: handling interference formally	2023-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5057638	2022-12-16	Paper
Finding Effective Abstractions	2022-02-14	Paper
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example	2019-06-03	Paper
Turing's 1949 paper in context	2017-08-04	Paper
Reasoning about Separation Using Abstraction and Reification	2017-06-20	Paper
Obituary: Amílcar Sernadas (1952--2017)	2017-04-03	Paper
Possible values: exploring a concept for concurrency	2016-12-15	Paper
Balancing expressiveness in formal approaches to concurrency	2015-11-10	Paper
In memoriam: Professor Heinz Zemanek (1920--2014)	2015-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q2863853	2013-12-04	Paper
Ours Is to Reason Why	2013-08-16	Paper
John McCarthy (1927--2011)	2013-03-22	Paper
Elucidating concurrent algorithms via layers of abstraction and reification	2011-05-30	Paper
Insight, Inspiration and Collaboration	2010-10-26	Paper
The connection between two ways of reasoning about partial functions	2010-04-19	Paper
Operational semantics: concepts and their expression	2009-07-09	Paper
Panelist position statement: reasoning about the design of programs	2009-01-20	Paper
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification	2008-11-11	Paper
Understanding Programming Language Concepts Via Operational Semantics	2008-09-16	Paper
A Structural Proof of the Soundness of Rely/guarantee Rules	2007-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4413728	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2755063	2002-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q2721098	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4493874	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4222763	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4222766	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q3997074	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3707340	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038590	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859249	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cliff B. Jones