Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Professor Cliff Jones
Newcastle Authors
Title
Year
Professor Ian Hayes
Professor Cliff Jones
Comparing Degrees of Non-Determinism in Expression Evaluation
2013
Professor Cliff Jones
Experience of Deployment in the Automotive Industry
2013
Professor Cliff Jones
Turing's "Checking a Large Routine"
2013
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
A Semantic Analysis of Logics that Cope with Partial Terms
2012
Professor Cliff Jones
A specification for ACMs
2012
Professor Cliff Jones
Abstraction as a unifying link for formal approaches to concurrency
2012
Professor Cliff Jones
Abstraction as a unifying link for formal approaches to concurrency
2012
Dr Manuel Mazzara
Professor Cliff Jones
Dr Alexei Iliasov
Lessons from DEPLOYment
2012
Professor Ian Hayes
Professor Cliff Jones
Refining rely-guarantee thinking
2012
Professor Michael Jackson
Professor Cliff Jones
Dr Manuel Mazzara
Towards a Formalism-Based Toolkit for Automotive Applications
2012
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
...