| |
| 2006 | ||
|---|---|---|
| 8 | EE | Gillian Hill, Steven Vickers: A language for configuring multi-level specifications. Theor. Comput. Sci. 351(2): 146-166 (2006) |
| 2004 | ||
| 7 | EE | Gillian Hill, Steven Vickers: A Language for Configuring Multi-level Specifications. AMAST 2004: 196-210 |
| 2001 | ||
| 6 | EE | Steven Vickers, Gillian Hill: Presheaves as Configured Specifications. Formal Asp. Comput. 13(1): 32-49 (2001) |
| 1997 | ||
| 5 | Gillian Hill: An Architecture for Complex Systems. EUROCAST 1997: 189-201 | |
| 1995 | ||
| 4 | Gillian Hill: A Logical Approach to System Construction. EUROCAST 1995: 30-47 | |
| 1994 | ||
| 3 | Gillian Hill: The Configuration of Complex Systems. CAST 1994: 46-64 | |
| 2 | Gillian Hill: Constructing Specifications and Modules in a KZ-doctrine. Theory and Formal Methods 1994: 217-233 | |
| 1993 | ||
| 1 | Gillian Hill: Category Theory for the Configuration of Complex Systems. AMAST 1993: 193-200 | |
| 1 | Steven J. Vickers (Steven Vickers) | [6] [7] [8] |