Home
About
Browse
Browse by Year
Browse by Research Area
Browse by Division
Browse by Author
Data Privacy Policy
Impressum
Login
Items where Author is "
Cheney, James
"
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
No Grouping
Number of items:
2
.
Garg, Deepak
and
Cheney, James
and
Perera, Roly
(2016)
Causally Consistent Dynamic Slicing.
In: Proceedings of the 27th International Conference on Concurrency Theory (CONCUR '16).
Conference:
CONCUR International Conference on Concurrency Theory
Cheney, James
(2011)
A Formal Framework for Provenance Security.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium.
Conference:
CSF IEEE Computer Security Foundations Symposium (was CSFW)
This list was generated on
Thu Nov 21 11:55:03 2024 CET
.