Concepedia

Sam Staton

SS

Statistics

Publications

35

Citations

986

H-Index

17

Active since

2006

Affiliations

University of Oxford(Current)

University of Cambridge

Radboud University Nijmegen

University of Edinburgh

University of Birmingham

Sam Staton is an author at University of Oxford specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisSemanticsProbabilityLinguisticsFormal VerificationProgramming Languages

Publications per year

2006–2023

35

Publications

35

Semantics for probabilistic programming

Sam Staton, Chris Heunen, Ohad Kammar · 2016 · 109 citations · Full text

A convenient category for higher-order probability theory

Chris Heunen, Ohad Kammar, Sam Staton et al. · 2017 · 92 citations · Full text

Probabilistic Ontology, Convenient Category, Machine Learning +12

Relating coalgebraic notions of bisimulation

Sam Staton · Logical Methods in Computer Science · 2011 · 71 citations · Full text

Transition Systems, Hopf Algebra, Higher Category Theory +5

A convenient category for higher-order probability theory

Chris Heunen, Ohad Kammar, Sam Staton et al. · arXiv (Cornell University) · 2017 · 63 citations · Full text

Probabilistic Ontology, Convenient Category, Machine Learning +12

Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, Matthijs Vákár et al. · Proceedings of the ACM on Programming Languages · 2017 · 62 citations · Full text

Engineering, Machine Learning, Probabilistic Computation +17

1–5 of 35