Verification of Java Programs with Interacting Analysis Plugins. - Nathaniel Charlton (AVoCS, 2005)

Polynomial-Time Under-Approximation of Winning Regions in Parity Games. - Adam Antonik; Nathaniel Charlton; Michael Huth 001 (MFCSIT, 2006)

Hector: Software Model Checking with Cooperating Analysis Plugins. - Nathaniel Charlton; Michael Huth 001 (CAV, 2007)

Program verification with interacting analysis plugins. - Nathaniel Charlton (Formal Aspects Comput., 2007)

Falsifying Safety Properties Through Games on Over-approximating Models. - Nathaniel Charlton; Michael Huth 001 (RP, 2008)

Cooperatively combining program verifiers: foundations and tool support. - Nathaniel Charlton (2008)

A decidable class of verification conditions for programs with higher order store. - Nathaniel Charlton; Bernhard Reus (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Specification Patterns and Proofs for Recursion through the Store. - Nathaniel Charlton; Bernhard Reus (FCT, 2011)

Formal reasoning about runtime code update. - Nathaniel Charlton; Ben Horsfall; Bernhard Reus (ICDE Workshops, 2011)

Hoare Logic for Higher Order Store Using Simple Semantics. - Nathaniel Charlton (WoLLIC, 2011)

Verifying the reflective visitor pattern. - Ben Horsfall; Nathaniel Charlton; Bernhard Reus (FTfJP@ECOOP, 2012)

Crowfoot: A Verifier for Higher-Order Store Programs. - Nathaniel Charlton; Ben Horsfall; Bernhard Reus (VMCAI, 2012)

Specification patterns for reasoning about recursion through the store. - Nathaniel Charlton; Bernhard Reus (Inf. Comput., 2013)

Weighted Alpha-Rate Dominating Sets in Social Networks. - Danica Vukadinovic Greetham; Anush Poghosyan; Nathaniel Charlton (SITIS, 2014)

Symbolic Execution Proofs for Higher Order Store Programs. - Bernhard Reus; Nathaniel Charlton; Ben Horsfall (J. Autom. Reason., 2015)

In the mood: the dynamics of collective sentiments on Twitter. - Nathaniel Charlton; Colin Singleton; Danica Vukadinovic Greetham (CoRR, 2016)

Interpreting network communicability with stochastic models and data. - Ewan Colman; Nathaniel Charlton (CoRR, 2016)

Algorithms for alpha-rate domination problems on weighted graphs. - Danica Vukadinovic Greetham; Anush Poghosyan; Nathaniel Charlton (CoRR, 2016)

Using Data Mining to Refine Digital Behaviour Change Interventions. - Nathaniel Charlton; John Kingston; Miltos Petridis; Ben C. Fletcher (DH, 2017)

An Ontology to Support Knowledge Management in Behaviour-Based Healthcare. - John Kingston; Nathaniel Charlton (SGAI Conf., 2017)

Total Positive Influence Domination on Weighted Networks. - Danica Vukadinovic Greetham; Nathaniel Charlton; Anush Poghosyan (COMPLEX NETWORKS (1), 2019)