Topology Via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science S Vickers Cambridge University Press, 1989 | 1187 | 1989 |
Quantales, observational logic and process semantics S Abramsky, S Vickers Mathematical structures in computer science 3 (2), 161-227, 1993 | 318 | 1993 |
Localic completion of generalized metric spaces I S Vickers Theory and Applications of Categories 14 (15), 328-356, 2005 | 106 | 2005 |
Preframe presentations present P Johnstone, S Vickers Category Theory: Proceedings of the International Conference held in Como …, 2006 | 96 | 2006 |
Partial Horn logic and cartesian categories E Palmgren, SJ Vickers Annals of Pure and Applied Logic 145 (3), 314-353, 2007 | 91 | 2007 |
Information systems for continuous posets S Vickers Theoretical Computer Science 114 (2), 201-229, 1993 | 88 | 1993 |
Switchable Electron‐Transfer Processes in a Mixed‐Valence, Kinetically Locked, Trinuclear RuII Metallamacrocycle N Shan, SJ Vickers, H Adams, MD Ward, JA Thomas Angewandte Chemie International Edition 43 (30), 3938-3941, 2004 | 80 | 2004 |
Locales and toposes as spaces S Vickers Handbook of spatial logics, 429-496, 2007 | 77 | 2007 |
The double powerlocale and exponentiation: a case study in geometric logic S Vickers Theory and Applications of Categories 12 (13), 372-422, 2004 | 61 | 2004 |
A universal characterization of the double powerlocale SJ Vickers, CF Townsend Theoretical Computer Science 316 (1-3), 297-321, 2004 | 56 | 2004 |
Constructive points of powerlocales S Vickers Mathematical Proceedings of the Cambridge Philosophical Society 122 (2), 207-222, 1997 | 54 | 1997 |
Geometric theories and databases S Vickers Applications of Categories in Computer Science 177, 288-314, 1992 | 54 | 1992 |
Locales are Not Pointless. S Vickers Theory and Formal Methods, 199-216, 1994 | 46 | 1994 |
Geometric logic in computer science S Vickers Theory and Formal Methods 1993: Proceedings of the First Imperial College …, 1993 | 44 | 1993 |
Facile preparation of a visible-and near-infrared-active electrochromic film by direct deposition of a ruthenium dioxolene complex on an ITO/glass surface SJ Vickers, MD Ward Electrochemistry communications 7 (4), 389-393, 2005 | 42 | 2005 |
Topical categories of domains S Vickers Mathematical Structures in Computer Science 9 (5), 569-616, 1999 | 42 | 1999 |
Structure and Properties of Dinuclear [RuII([n]aneS4)] Complexes of 3,6-Bis(2-pyridyl)-1,2,4,5-tetrazine M Newell, JD Ingram, TL Easun, SJ Vickers, H Adams, MD Ward, ... Inorganic chemistry 45 (2), 821-827, 2006 | 33 | 2006 |
Synthesis of tripodal tris-phosphonate ligands and the structure of the dimeric complex [Ce (NO3) 3 {(EtO) 2P (O) CH2) 3C6Me3] 2 J Fawcett, AWG Platt, S Vickers Polyhedron 22 (11), 1431-1435, 2003 | 32 | 2003 |
Presenting dcpos and dcpo algebras A Jung, MA Moshier, S Vickers Electronic Notes in Theoretical Computer Science 218, 209-229, 2008 | 30 | 2008 |
Some constructive roads to Tychonoff S Vickers From sets and types to topology and analysis: Towards practicable …, 2005 | 30 | 2005 |