Nathaniel Charlton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2007–2017
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SGAI | An Ontology to Support Knowledge Management in Behaviour-Based Healthcare. | John Kingston, Nathaniel Charlton |
| 2012 | ECOOP | Verifying the reflective visitor pattern. | Ben Horsfall, Nathaniel Charlton, Bernhard Reus |
| 2012 | VMCAI | Crowfoot: A Verifier for Higher-Order Store Programs. | Nathaniel Charlton, Ben Horsfall, Bernhard Reus |
| 2011 | FCT | Specification Patterns and Proofs for Recursion through the Store. | Nathaniel Charlton, Bernhard Reus |
| 2011 | ICDE | Formal reasoning about runtime code update. | Nathaniel Charlton, Ben Horsfall, Bernhard Reus |
| 2011 | WoLLIC | Hoare Logic for Higher Order Store Using Simple Semantics. | Nathaniel Charlton |
| 2007 | CAV | Hector: Software Model Checking with Cooperating Analysis Plugins. | Nathaniel Charlton, Michael Huth |