Peter Hitchcock

Publication Activity (10 Years)

Years Active: 1972-2017
Publications (10 Years): 1

Top Venues

CogSci

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Peter Hitchcock, Yael Niv, Angela Radulescu, Chris R. Sims
Translating a Reinforcement Learning Task into a Computational Psychiatry Assay: Challenges and Strategies. CogSci (2017)
Nan Li, Peter Hitchcock, James Blustein, Michael Bliemel
Electronic Commerce On-Site Search Services: A State of the Art Review. WEB (2009)
Peter Hitchcock, Erik S. Sørensen
Simulations of Disordered Bosons on Hyper-Cubic Lattices. HPCS (2006)
Sergiu Dascalu, Peter Hitchcock, Narayan C. Debnath, Andrew Klempau
From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. IRI (2004)
Sergiu Dascalu, Peter Hitchcock
An approach to integrating semi-formal and formal notations in software specification. SAC (2002)
Bing Wang, Peter Hitchcock
InterSect_DM: a hypertext data model based on OODBMS. Inf. Softw. Technol. 37 (3) (1995)
Bing Wang, Peter Hitchcock, Tony Holden
An Object Oriented Database Approach for Supporting Hypertext CAiSE (1993)
Bing Wang, Peter Hitchcock
Linking object oriented database and hypertext to support software documentation. SIGDOC (1992)
Fiona Polack, Mark Whiston, Peter Hitchcock
Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop (1991)
Bing Wang, Peter Hitchcock
InterSect: A General Purpose Hypertext System Based on an Object Oriented Database. DEXA (1991)
Peter Hitchcock
Linkages between Databases and Software Engineering. BNCOD (1991)
Fiona Polack, Peter Hitchcock, Alan W. Brown
SAZ. Z User Workshop (1990)
Yuguo Zhang, Peter Hitchcock
Coupling Prolog to a Database Management System. Inf. Syst. 15 (6) (1990)
Peter Hitchcock
The process model of the aspect IPSE. ISPW (1988)
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)
Peter Hitchcock, D. S. Robinson, R. P. Whittington
Modelling-Primitives for a Software Engineering Database. BNCOD (1985)
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)
Peter Hitchcock
Data Dictionaries in Open System Communication. Workshop on Data Abstraction, Databases and Conceptual Modelling (1980)
Peter Hitchcock
User Extensions to the Peterlee Relational Test Vehicle. VLDB (1976)
Patrick A. V. Hall, Peter Hitchcock, Stephen Todd
An Algebra of Relations for Machine Computation. POPL (1975)
Peter Hitchcock, David Michael Ritchie Park
Induction Rules and Termination Proofs. ICALP (1972)

Peter Hitchcock.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Hitchcock