Get started
Author

Nathaniel Charlton

Observed name: Charlton, Nathaniel
OpenAlex ID: A5002649980
A refined parametric model for short term load forecasting
2013 · Nathaniel Charlton, Colin Singleton · International Journal of Forecasting · 119
PDF
In the mood: the dynamics of collective sentiments on Twitter
2016 · Nathaniel Charlton, Colin Singleton, et al. · Royal Society Open Science · 24
Formal reasoning about runtime code update
2011 · Nathaniel Charlton, Ben Horsfall, et al. · IEEE International Conference on Data Engineering Workshops (ICDEW) · 13
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
2009 · Adam Antonik, Nathaniel Charlton, et al. · Electronic Notes in Theoretical Computer Science · 12
PDF
Graph-based algorithms for comparison and prediction of household-level energy use profiles
2013 · Nathaniel Charlton, Danica Vukadinovic Greetham, et al. · IEEE International Workshop on Intelligent Energy Systems (IWIES) · 10
Crowfoot: A Verifier for Higher-Order Store Programs
2012 · Nathaniel Charlton, Ben Horsfall, et al. · Lecture notes in computer science · 7
Hoare Logic for Higher Order Store Using Simple Semantics
2011 · Nathaniel Charlton · Lecture notes in computer science · 7
Specification Patterns and Proofs for Recursion through the Store
2011 · Nathaniel Charlton, Bernhard Reus · Lecture notes in computer science · 6
Program verification with interacting analysis plugins
2007 · Nathaniel Charlton · Formal Aspects of Computing · 6
PDF
Weighted Alpha-Rate Dominating Sets in Social Networks
2014 · Danica Vukadinovic Greetham, Anush Poghosyan, et al. · International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) · 5
Hector: Software Model Checking with Cooperating Analysis Plugins
2007 · Nathaniel Charlton, Michael Huth · Springer eBooks · 5
PDF
Using Data Mining to Refine Digital Behaviour Change Interventions
2017 · Nathaniel Charlton, John Kingston, et al. · International Conference on Digital Health · 4
Verifying the reflective visitor pattern
2012 · Ben Horsfall, Nathaniel Charlton, et al. · Formal Techniques for Java-like Programs · 4
Verification of Java Programs with Interacting Analysis Plugins
2006 · Nathaniel Charlton · Electronic Notes in Theoretical Computer Science · 4
PDF
Total Positive Influence Domination on Weighted Networks
2019 · Danica Vukadinović Greetham, Nathaniel Charlton, et al. · Studies in computational intelligence · 2
PDF
Separating temporal and topological effects in walk-based network centrality
2016 · Ewan R. Colman, Nathaniel Charlton · Physical review. E · 2
PDF
A decidable class of verification conditions for programs with higher order store
2024 · Charlton, Nathaniel, Reus, Bernhard · Technische Universität Berlin – Universitätsbibliothek · 1
Interpreting network communicability with stochastic models and data
2016 · Ewan Colman, Nathaniel Charlton · arXiv (Cornell University) · 1
Symbolic Execution Proofs for Higher Order Store Programs
2014 · Bernhard Reus, Nathaniel Charlton, et al. · Journal of Automated Reasoning · 1
Specification patterns for reasoning about recursion through the store
2013 · Nathaniel Charlton, Bernhard Reus · Information and Computation · 1
PDF
Hector: Software Model Checking with Cooperating Analysis Plugins (Tool Paper)
2007 · Nathaniel Charlton, Michael Huth · 1
An Ontology to Support Knowledge Management in Behaviour-Based Healthcare
2017 · John Kingston, Nathaniel Charlton · Lecture notes in computer science
Algorithms for alpha-rate domination problems on weighted graphs.
2016 · Danica Vukadinović Greetham, Anush Poghosyan, et al. · arXiv (Cornell University)
Total positive influence domination on weighted networks
2016 · Greetham, Danica Vukadinović, Charlton, Nathaniel, et al. · arXiv (Cornell University)
PDF
In the mood: the dynamics of collective sentiments on Twitter
2016 · Charlton, Nathaniel, Singleton, Colin, et al. · Open Research Online (The Open University)
PDF
Works count: 39
Citation count: 237
H-index: 7
I10-index: 5
Year
Topic
Type