| 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 |
