Nathaniel Charlton

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 7

Top Venues

CoRR

VMCAI

Inf. Comput.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Danica Vukadinovic Greetham, Nathaniel Charlton, Anush Poghosyan
Total Positive Influence Domination on Weighted Networks. COMPLEX NETWORKS (1) (2019)
John Kingston, Nathaniel Charlton
An Ontology to Support Knowledge Management in Behaviour-Based Healthcare. SGAI Conf. (2017)
Nathaniel Charlton, John Kingston, Miltos Petridis, Ben C. Fletcher
Using Data Mining to Refine Digital Behaviour Change Interventions. DH (2017)
Nathaniel Charlton, Colin Singleton, Danica Vukadinovic Greetham
In the mood: the dynamics of collective sentiments on Twitter. CoRR (2016)
Ewan Colman, Nathaniel Charlton
Interpreting network communicability with stochastic models and data. CoRR (2016)
Danica Vukadinovic Greetham, Anush Poghosyan, Nathaniel Charlton
Algorithms for alpha-rate domination problems on weighted graphs. CoRR (2016)
Bernhard Reus, Nathaniel Charlton, Ben Horsfall
Symbolic Execution Proofs for Higher Order Store Programs. J. Autom. Reason. 54 (3) (2015)
Danica Vukadinovic Greetham, Anush Poghosyan, Nathaniel Charlton
Weighted Alpha-Rate Dominating Sets in Social Networks. SITIS (2014)
Nathaniel Charlton, Bernhard Reus
Specification patterns for reasoning about recursion through the store. Inf. Comput. 231 (2013)
Ben Horsfall, Nathaniel Charlton, Bernhard Reus
Verifying the reflective visitor pattern. FTfJP@ECOOP (2012)
Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Crowfoot: A Verifier for Higher-Order Store Programs. VMCAI (2012)
Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Formal reasoning about runtime code update. ICDE Workshops (2011)
Nathaniel Charlton, Bernhard Reus
Specification Patterns and Proofs for Recursion through the Store. FCT (2011)
Nathaniel Charlton
Hoare Logic for Higher Order Store Using Simple Semantics. WoLLIC (2011)
Adam Antonik, Nathaniel Charlton, Michael Huth
Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electron. Notes Theor. Comput. Sci. 225 (2009)
Nathaniel Charlton, Bernhard Reus
A decidable class of verification conditions for programs with higher order store. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Nathaniel Charlton, Michael Huth
Falsifying Safety Properties Through Games on Over-approximating Models. Electron. Notes Theor. Comput. Sci. 223 (2008)
Nathaniel Charlton
Program verification with interacting analysis plugins. Formal Aspects Comput. 19 (3) (2007)
Nathaniel Charlton, Michael Huth
Hector: Software Model Checking with Cooperating Analysis Plugins. CAV (2007)
Nathaniel Charlton
Verification of Java Programs with Interacting Analysis Plugins. Electron. Notes Theor. Comput. Sci. 145 (2006)

Nathaniel Charlton.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nathaniel Charlton