Steven Ramsay - Concepedia

Author

Steven Ramsay

Also Known As

N Bjrner, Ramsay, S. J., Ramsay, Steven, Ramsay, Steven J., S. J. Ramsay, S. Ramsay, S.J. Ramsay, Steven J. Ramsay, Steven Ramsay

Publications

400

Citations

H-Index

Concepts

All Affiliations

University of Oxford University of Bristol

About

Steven Ramsay is an author at University of Oxford specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	283
2	Computer Science	8	8	283
3	Medicine	1	1	22
4	Social Sciences	1	1	22
5	Neurology	1	1	22

Steven Ramsay

Publications

320

Citations

H-Index

Page 1

	Year	Citations
Verifying higher-order functional programs with pattern-matching algebraic data types C.-H. Luke Ong, Steven Ramsay ACM SIGPLAN Notices Pmrs Verification ProblemEngineeringVerificationComputer-aided VerificationModel Checking	2011	74
Verifying higher-order functional programs with pattern-matching algebraic data types C.-H. Luke Ong, Steven Ramsay Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2011	62
A type-directed abstraction refinement approach to higher-order model checking Steven Ramsay, Robin P. Neatherway, C.-H. Luke Ong Program CheckingEngineeringVerificationHigher-order RecursionComputer-aided Verification	2014	50
A traversal-based algorithm for higher-order model checking Robin P. Neatherway, Steven Ramsay, C.-H. Luke Ong Traversal-based AlgorithmFormal SpecificationEngineeringAutomated ReasoningProgram Analysis	2012	35
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
Electrophysiological evidence for the dendritic localization of a calcium conductance in guinea-pig substantia nigra neurones in vitro N.C. Harris, Steven Ramsay, Andrew Kelion, Experimental Brain Research NeuromodulationHyperpolarization (Biology)NeurophysiologyNeuroanatomyMedicine	1989	22
A preliminary investigation of the relationship between water quality and Anopheles gambiae larval habitats in western Cameroon Michelle R. Sanford, Steven Ramsay, Anthony J. Cornel, Malaria Journal	2013	15
Model checking liveness properties of higher-order functional programs Robin P. Neatherway, Steven Ramsay Liveness PropertiesFormal SpecificationEngineeringProgram CheckingAutomated Reasoning	2010	15
Reachability in pushdown register automata Andrzej S. Murawski, Steven Ramsay, Nikos Tzevelekos Journal of Computer and System Sciences Reachability AnalysisPushdown AutomataEngineeringReachability ProblemAutomated Reasoning	2017	12
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