Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Dr Joey Coleman
Newcastle Authors
Title
Year
Dr Joey Coleman
Extending Computational Tree Logic with Relations and Undefinedness
2010
Dr Leonardus Arief
Dr Joey Coleman
Dr David Greathead
How Paranoid Are You?: Issues in Location Information of Ambient Systems
2010
Dr Joey Coleman
The Beginnings of a Model for Atomicity Refinement of Expressions
2009
Dr Joey Coleman
[PhD Thesis] Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics
2008
Dr Joey Coleman
Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics
2008
Dr Joey Coleman
Expression Decomposition in a Rely/Guarantee Context
2008
Dr Joey Coleman
Expression decomposition in a rely/guarantee context
2008
Dr Joey Coleman
Professor Cliff Jones
A structural proof of the soundness of rely/guarantee rules
2007
Dr Joey Coleman
Professor Cliff Jones
A structural proof of the soundness of rely/guarantee rules (revised)
2007
Dr Joey Coleman
Professor Cliff Jones
Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue
2007
1
2
