Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Stats
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Professor Cliff Jones
Newcastle Authors
Title
Year
Full text
Professor Cliff Jones
Reasoning about shared-variable concurrency: interactions between research threads
2019
Professor Cliff Jones
Deriving specifications of control programs for cyber physical systems
2019
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
2019
Professor Cliff Jones
Concurrency: Handling interference formally
2018
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example
2018
Professor Cliff Jones
Preface
2018
Professor Cliff Jones
Dr Troy Astarte
Challenges for Formal Semantic Description: Responses from the Main Approaches
2017
Professor Cliff Jones
Dr Troy Astarte
Challenges for semantic description: Comparing responses from the main approaches
2017
Professor Cliff Jones
Dr Andrius Velykis
Dr Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development
2017
Professor Cliff Jones
Turing’s 1949 Paper in Context
2017
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
...