The SCEAS System
| |||||||

## Search the dblp DataBase
Steven Vickers:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Gillian Hill, Steven Vickers
**A Language for Configuring Multi-level Specifications.**[Citation Graph (0, 0)][DBLP] AMAST, 2004, pp:196-210 [Conf] - Michael P. Fourman, Steven Vickers
**Theories as Categories.**[Citation Graph (0, 0)][DBLP] CTCS, 1985, pp:434-448 [Conf] - Steven Vickers
**A Fixpoint Construction of the p-adic Domain.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1987, pp:270-289 [Conf] - Mark Dawson, Steven Vickers
**Towards a GeoZ Toolkit.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:365-380 [Conf] - Steven Vickers
**Geometric Logic in Computer Science.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1993, pp:37-54 [Conf] - Steven Vickers
**Locales are Not Pointless.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:199-216 [Conf] - Steven Vickers
**Geometric logic as a Specification Language.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:321-340 [Conf] - Steven Vickers
**An Algorithmic Approach to the p-adic Integers.**[Citation Graph (0, 0)][DBLP] MFPS, 1987, pp:599-615 [Conf] - Steven Vickers, Gillian Hill
**Presheaves as Configured Specifications.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2001, v:13, n:1, pp:32-49 [Journal] - Samson Abramsky, Steven Vickers
**Quantales, Observational Logic and Process Semantics.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:161-227 [Journal] - Steven Vickers
**Strongly algebraic = SFP (topically).**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:717-742 [Journal] - Steven Vickers
**Topical categories of domains.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:569-616 [Journal] - Gillian Hill, Steven Vickers
**A language for configuring multi-level specifications.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:351, n:2, pp:146-166 [Journal] - Pedro Resende, Steven Vickers
**Localic sup-lattices and tropological systems.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:305, n:1-3, pp:311-346 [Journal] - Steven Vickers
**Entailment systems for stably locally compact locales.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:316, n:1, pp:259-296 [Journal] - Steven Vickers
**Information Systems for Continuous Posets.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:114, n:2, pp:201-229 [Journal]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |