Toby Cathcart Burn - Concepedia

Author

Toby Cathcart Burn

Also Known As

Burn, Toby Cathcart, J Jaffar, Toby Cathcart Burn

Publications

Citations

H-Index

Concepts

All Affiliations

Toby Cathcart Burn is an author at University of Oxford specializing in formal verification, formal methods, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	35
2	Computer Science	2	2	35
3	Automated Reasoning	2	2	35
4	Formal Methods	2	2	35
5	Formal Verification	2	2	35

Toby Cathcart Burn

Publications

Citations

H-Index

Page 1

	Year	Citations
Higher-order constrained horn clauses for verification Toby Cathcart Burn, C.-H. Luke Ong, Steven Ramsay Proceedings of the ACM on Programming Languages Decision ProcedureRefinement TypesConstraint SolvingConstrained Horn ClausesEngineering	2017	24
Higher-Order Constrained Horn Clauses for Verification Toby Cathcart Burn, C.-H. Luke Ong, Steven Ramsay Symposium on Principles of Programming Languages Decision ProcedureRefinement TypesConstraint SolvingConstrained Horn ClausesEngineering	2018	11

Page 1