Nathaniel Charlton

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