Nathaniel Charlton

According to our database, Nathaniel Charlton authored at least 21 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Total Positive Influence Domination on Weighted Networks.

Danica Vukadinovic Greetham, Nathaniel Charlton, Anush Poghosyan

Proceedings of the Complex Networks and Their Applications VIII, 2019

2017

An Ontology to Support Knowledge Management in Behaviour-Based Healthcare.

John Kingston, Nathaniel Charlton

Proceedings of the Artificial Intelligence XXXIV, 2017

Using Data Mining to Refine Digital Behaviour Change Interventions.

Nathaniel Charlton, John Kingston, Miltos Petridis, Ben C. Fletcher

Proceedings of the 2017 International Conference on Digital Health, 2017

2016

Algorithms for alpha-rate domination problems on weighted graphs.

Danica Vukadinovic Greetham, Anush Poghosyan, Nathaniel Charlton

CoRR, 2016

Interpreting network communicability with stochastic models and data.

Ewan Colman, Nathaniel Charlton

CoRR, 2016

In the mood: the dynamics of collective sentiments on Twitter.

Nathaniel Charlton, Colin Singleton, Danica Vukadinovic Greetham

CoRR, 2016

2015

Symbolic Execution Proofs for Higher Order Store Programs.

Bernhard Reus, Nathaniel Charlton, Ben Horsfall

J. Autom. Reason., 2015

2014

Weighted Alpha-Rate Dominating Sets in Social Networks.

Danica Vukadinovic Greetham, Anush Poghosyan, Nathaniel Charlton

Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

2013

Specification patterns for reasoning about recursion through the store.

Nathaniel Charlton, Bernhard Reus

Inf. Comput., 2013

2012

Crowfoot: A Verifier for Higher-Order Store Programs.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Verifying the reflective visitor pattern.

Ben Horsfall, Nathaniel Charlton, Bernhard Reus

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Hoare Logic for Higher Order Store Using Simple Semantics.

Nathaniel Charlton

Proceedings of the Logic, Language, Information and Computation, 2011

Formal reasoning about runtime code update.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Specification Patterns and Proofs for Recursion through the Store.

Nathaniel Charlton, Bernhard Reus

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

2009

A decidable class of verification conditions for programs with higher order store.

Nathaniel Charlton, Bernhard Reus

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

Cooperatively combining program verifiers: foundations and tool support.

Nathaniel Charlton

PhD thesis, 2008

Falsifying Safety Properties Through Games on Over-approximating Models.

Nathaniel Charlton, Michael Huth

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

2007

Program verification with interacting analysis plugins.

Nathaniel Charlton

Formal Aspects Comput., 2007

Hector: Software Model Checking with Cooperating Analysis Plugins.

Nathaniel Charlton, Michael Huth

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Polynomial-Time Under-Approximation of Winning Regions in Parity Games.

Adam Antonik, Nathaniel Charlton, Michael Huth

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2005

Verification of Java Programs with Interacting Analysis Plugins.

Nathaniel Charlton

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005