Induction Rules and Termination Proofs. - Peter Hitchcock; David Michael Ritchie Park (ICALP, 1972)

An approach to formal reasoning about programs. - Peter Hitchcock (1974)

An Algebra of Relations for Machine Computation. - Patrick A. V. Hall; Peter Hitchcock; Stephen Todd (POPL, 1975)

User Extensions to the Peterlee Relational Test Vehicle. - Peter Hitchcock (VLDB, 1976)

Data Dictionaries in Open System Communication. - Peter Hitchcock (SIGMOD Rec., 1980)

Consistency of Models (discussion). - John Miles Smith; Charles Rich; Jonathan J. King; Peter Hitchcock; Alexander Borgida; Jaime G. Carbonell (SIGMOD Rec., 1980)

Modelling-Primitives for a Software Engineering Database. - Peter Hitchcock; D. S. Robinson; R. P. Whittington (BNCOD, 1985)

The Use of Databases for Software Engineering. - Peter Hitchcock; Alan W. Brown; R. Weedon; Anthony N. Earl; R. P. Whittington; D. S. Robinson (BNCOD, 1986)

The process model of the aspect IPSE. - Peter Hitchcock (ISPW, 1988)

SAZ. - Fiona Polack; Peter Hitchcock; Alan W. Brown (Z User Workshop, 1990)

Coupling Prolog to a Database Management System. - Yuguo Zhang; Peter Hitchcock (Inf. Syst., 1990)

Linkages between Databases and Software Engineering. - Peter Hitchcock (BNCOD, 1991)

InterSect: A General Purpose Hypertext System Based on an Object Oriented Database. - Bing Wang 012; Peter Hitchcock (DEXA, 1991)

Structured Analysis - A Draft Method for Writing Z Specifications. - Fiona Polack; Mark Whiston; Peter Hitchcock (Z User Workshop, 1991)

Linking object oriented database and hypertext to support software documentation. - Bing Wang 012; Peter Hitchcock (SIGDOC, 1992)

Formal approach to hypertext system based on object-oriented database system. - Peter Hitchcock; B. Wang (Inf. Softw. Technol., 1992)

An Object Oriented Database Approach for Supporting Hypertext - Bing Wang 012; Peter Hitchcock; Tony Holden (CAiSE, 1993)

InterSect_DM: a hypertext data model based on OODBMS. - Bing Wang 012; Peter Hitchcock (Inf. Softw. Technol., 1995)

An approach to integrating semi-formal and formal notations in software specification. - Sergiu Dascalu; Peter Hitchcock (SAC, 2002)

From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. - Sergiu Dascalu; Peter Hitchcock; Narayan C. Debnath; Andrew Klempau (IRI, 2004)

Simulations of Disordered Bosons on Hyper-Cubic Lattices. - Peter Hitchcock; Erik S. Sørensen (HPCS, 2006)

Electronic Commerce On-Site Search Services: A State of the Art Review. - Nan Li; Peter Hitchcock; James Blustein; Michael Bliemel (WEB, 2009)

Translating a Reinforcement Learning Task into a Computational Psychiatry Assay: Challenges and Strategies. - Peter Hitchcock; Yael Niv; Angela Radulescu; Chris R. Sims (CogSci, 2017)