Concepedia

Sam Staton

SS

35

Publications

986

Citations

17

H-Index

2006

Active since

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

Rows per page

1–5 of 35