Search the dblp DataBase
Gillian Hill: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gillian Hill
Category Theory for the Configuration of Complex Systems. [Citation Graph (0, 0)][DBLP]
AMAST, 1993, pp:193-200 [Conf] - Gillian Hill, Steven Vickers
A Language for Configuring Multi-level Specifications. [Citation Graph (0, 0)][DBLP]
AMAST, 2004, pp:196-210 [Conf] - Gillian Hill
The Configuration of Complex Systems. [Citation Graph (0, 0)][DBLP]
CAST, 1994, pp:46-64 [Conf] - Gillian Hill
A Logical Approach to System Construction. [Citation Graph (0, 0)][DBLP]
EUROCAST, 1995, pp:30-47 [Conf] - Gillian Hill
An Architecture for Complex Systems. [Citation Graph (0, 0)][DBLP]
EUROCAST, 1997, pp:189-201 [Conf] - Gillian Hill
Constructing Specifications and Modules in a KZ-doctrine. [Citation Graph (0, 0)][DBLP]
Theory and Formal Methods, 1994, pp:217-233 [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] - 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]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002