 | 2006 |
|---|
| 18 |       | Peter Hitchcock,
Erik S. Sørensen:
Simulations of Disordered Bosons on Hyper-Cubic Lattices.
HPCS 2006: 26 |
| 2004 |
|---|
| 17 |  | Sergiu Dascalu,
Peter Hitchcock,
Narayan C. Debnath,
Andrew Klempau:
From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony.
IRI 2004: 215-221 |
| 2002 |
|---|
| 16 | | Sergiu Dascalu,
Peter Hitchcock:
An approach to integrating semi-formal and formal notations in software specification.
SAC 2002: 1014-1020 |
| 1993 |
|---|
| 15 | | Bing Wang,
Peter Hitchcock,
Tony Holden:
An Object Oriented Database Approach for Supporting Hypertext
CAiSE 1993: 601-628 |
| 1992 |
|---|
| 14 | | Bing Wang,
Peter Hitchcock:
Linking object oriented database and hypertext to support software documentation.
SIGDOC 1992: 149-156 |
| 1991 |
|---|
| 13 | | Peter Hitchcock:
Linkages between Databases and Software Engineering.
BNCOD 1991: 189-201 |
| 12 | | Bing Wang,
Peter Hitchcock:
InterSect: A General Purpose Hypertext System Based on an Object Oriented Database.
DEXA 1991: 459-464 |
| 11 | | Fiona Polack,
Mark Whiston,
Peter Hitchcock:
Structured Analysis - A Draft Method for Writing Z Specifications.
Z User Workshop 1991: 287-328 |
| 1990 |
|---|
| 10 | | Fiona Polack,
Peter Hitchcock,
Alan W. Brown:
SAZ.
Z User Workshop 1990: 384-384 |
| 9 | | Yuguo Zhang,
Peter Hitchcock:
Coupling Prolog to a Database Management System.
Inf. Syst. 15(6): 663-667 (1990) |
| 1988 |
|---|
| 8 | | Peter Hitchcock:
The process model of the aspect IPSE.
ISPW 1988: 76-78 |
| 1986 |
|---|
| 7 | | Peter Hitchcock,
Alan W. Brown,
R. Weedon,
Anthony N. Earl,
R. P. Whittington,
D. S. Robinson:
The Use of Databases for Software Engineering.
BNCOD 1986: 55-70 |
| 1985 |
|---|
| 6 | | Peter Hitchcock,
D. S. Robinson,
R. P. Whittington:
Modelling-Primitives for a Software Engineering Database.
BNCOD 1985: 131-146 |
| 1980 |
|---|
| 5 | | Peter Hitchcock:
Data Dictionaries in Open System Communication.
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 133-134 |
| 4 | | John Miles Smith,
Charles Rich,
Jonathan J. King,
Peter Hitchcock,
Alexander Borgida,
Jaime G. Carbonell:
Consistency of Models (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 72-76 |
| 1976 |
|---|
| 3 | | Peter Hitchcock:
User Extensions to the Peterlee Relational Test Vehicle.
VLDB 1976: 169-180 |
| 1975 |
|---|
| 2 | | Patrick A. V. Hall,
Peter Hitchcock,
Stephen Todd:
An Algebra of Relations for Machine Computation.
POPL 1975: 225-232 |
| 1972 |
|---|
| 1 | | Peter Hitchcock,
David Michael Ritchie Park:
Induction Rules and Termination Proofs.
ICALP 1972: 225-251 |
