A refined parametric model for short term load forecasting von Charlton, Nathaniel, Singleton, Colin

Volltext

In the mood: the dynamics of collective sentiments on Twitter von Charlton, Nathaniel, Singleton, Colin, Greetham, Danica Vukadinović

Volltext

An Ontology to Support Knowledge Management in Behaviour-Based Healthcare von Kingston, John, Charlton, Nathaniel

Volltext

Specification patterns for reasoning about recursion through the store von Charlton, Nathaniel, Reus, Bernhard

Volltext

Symbolic Execution Proofs for Higher Order Store Programs von Reus, Bernhard, Charlton, Nathaniel, Horsfall, Ben

Volltext

Program verification with interacting analysis plugins von CHARLTON, Nathaniel

Volltext

Separating temporal and topological effects in walk-based network centrality von Colman, Ewan R, Charlton, Nathaniel

Volltext

Total Positive Influence Domination on Weighted Networks von Vukadinović Greetham, Danica, Charlton, Nathaniel, Poghosyan, Anush

Volltext

Hoare Logic for Higher Order Store Using Simple Semantics von Charlton, Nathaniel

Volltext

Specification Patterns and Proofs for Recursion through the Store von Charlton, Nathaniel, Reus, Bernhard

Volltext

Formal reasoning about runtime code update von Charlton, N, Horsfall, B, Reus, B

Volltext bestellen

Separating temporal and topological effects in walk-based network centrality von Colman, Ewan, Charlton, Nathaniel

Volltext

Crowfoot: A Verifier for Higher-Order Store Programs von Charlton, Nathaniel, Horsfall, Ben, Reus, Bernhard

Volltext

Total Positive Influence Domination on Weighted Networks von Greetham, Danica Vukadinovic, Charlton, Nathaniel, Poghosyan Hopes, Anush

Volltext

Verification of Java Programs with Interacting Analysis Plugins von Charlton, Nathaniel

Volltext

Total positive influence domination on weighted networks von Greetham, Danica Vukadinović, Charlton, Nathaniel, Poghosyan, Anush

Volltext bestellen

In the mood: the dynamics of collective sentiments on Twitter von Charlton, Nathaniel, Singleton, Colin, Greetham, Danica Vukadinović

Volltext bestellen

Total positive influence domination on weighted networks von Greetham, Danica Vukadinović, Charlton, Nathaniel, Poghosyan, Anush

Volltext

Falsifying Safety Properties Through Games on Over-approximating Models von Charlton, Nathaniel, Huth, Michael

Volltext

Graph-based algorithms for comparison and prediction of household-level energy use profiles von Charlton, Nathaniel, Greetham, Danica Vukadinovic, Singleton, Colin

Volltext bestellen