Concepedia

Steven Vickers

SV

15

Publications

642

Citations

14

H-Index

1993

Active since

Affiliations

University of Birmingham(Current)

Imperial College London

University of Staffordshire

University of Leicester

The Open University

Steven Vickers is an author at University of Birmingham specializing in engineering, linguistics, and automated reasoning.

Top concepts

EngineeringLinguisticsAutomated ReasoningLanguageChemistrySemanticsFormal MethodsComputer ScienceIntegral GeometryInorganic Chemistry

Publications per year

1993–2008

15

Publications

15

Quantales, observational logic and process semantics

Samson Abramsky, Steven Vickers · Mathematical Structures in Computer Science · 1993 · 193 citations

Engineering, Higher-order Logic, Semantics +18

Information systems for continuous posets

Steven Vickers · Theoretical Computer Science · 1993 · 70 citations

Reachability Analysis, Intelligent Information Processing, Engineering +8

Localic completion of generalized metric spaces I

Steven Vickers · Theory and applications of categories · 2005 · 59 citations · Full text

Constructive points of powerlocales

Steven Vickers · Mathematical Proceedings of the Cambridge Philosophical Society · 1997 · 45 citations

Integral Geometry, Geometry Of Number, Generalized Points +9

Sublocales in formal topology

Steven Vickers · Journal of Symbolic Logic · 2007 · 39 citations

Algebraic Logic, Engineering, Domain Theory +8

Rows per page

1–5 of 15