Peter Hitchcock

According to our database, Peter Hitchcock authored at least 23 papers between 1972 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Translating a Reinforcement Learning Task into a Computational Psychiatry Assay: Challenges and Strategies.

Peter Hitchcock, Yael Niv, Angela Radulescu, Chris R. Sims

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2009

Electronic Commerce On-Site Search Services: A State of the Art Review.

Nan Li, Peter Hitchcock, James Blustein, Michael Bliemel

Proceedings of the Exploring the Grand Challenges for Next Generation E-Business, 2009

2006

Simulations of Disordered Bosons on Hyper-Cubic Lattices.

Peter Hitchcock, Erik S. Sørensen

Proceedings of the 20th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2006), 2006

2004

From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony.

Sergiu Dascalu, Peter Hitchcock, Narayan C. Debnath, Andrew Klempau

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2002

An approach to integrating semi-formal and formal notations in software specification.

Sergiu Dascalu, Peter Hitchcock

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

1995

InterSect_DM: a hypertext data model based on OODBMS.

Bing Wang, Peter Hitchcock

Inf. Softw. Technol., 1995

1993

An Object Oriented Database Approach for Supporting Hypertext

Bing Wang, Peter Hitchcock, Tony Holden

Proceedings of the Advanced Information Systems Engineering, 1993

1992

Formal approach to hypertext system based on object-oriented database system.

Peter Hitchcock, B. Wang

Inf. Softw. Technol., 1992

Linking object oriented database and hypertext to support software documentation.

Bing Wang, Peter Hitchcock

Proceedings of the 10th Annual International Conference on Systems Documentation, 1992

1991

Structured Analysis - A Draft Method for Writing Z Specifications.

Fiona Polack, Mark Whiston, Peter Hitchcock

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

InterSect: A General Purpose Hypertext System Based on an Object Oriented Database.

Bing Wang, Peter Hitchcock

Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

Linkages between Databases and Software Engineering.

Peter Hitchcock

Proceedings of the Aspects of Databases, 1991

1990

Coupling Prolog to a Database Management System.

Yuguo Zhang, Peter Hitchcock

Inf. Syst., 1990

SAZ.

Fiona Polack, Peter Hitchcock, Alan W. Brown

Proceedings of the Z User Workshop, 1990

1988

The process model of the aspect IPSE.

Peter Hitchcock

Proceedings of the Forth International Software Process Workshop, 1988

1986

The Use of Databases for Software Engineering.

Peter Hitchcock, Alan W. Brown, R. Weedon, Anthony N. Earl, R. P. Whittington, D. S. Robinson

Proceedings of the Fifth British National Conference on Databases (BNCOD 5), 1986

1985

Modelling-Primitives for a Software Engineering Database.

Peter Hitchcock, D. S. Robinson, R. P. Whittington

Proceedings of the Fourth British National Conference on Databases (BNCOD 4), 1985

1980

Consistency of Models (discussion).

John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell

Proceedings of the Workshop on Data Abstraction, 1980

Data Dictionaries in Open System Communication.

Peter Hitchcock

Proceedings of the Workshop on Data Abstraction, 1980

1976

User Extensions to the Peterlee Relational Test Vehicle.

Peter Hitchcock

Proceedings of the Systems for Large Data Bases, September 8-10, 1976, Brussels, Belgium., 1976

1975

An Algebra of Relations for Machine Computation.

Patrick A. V. Hall, Peter Hitchcock, Stephen Todd

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1974

An approach to formal reasoning about programs.

Peter Hitchcock

PhD thesis, 1974

1972

Induction Rules and Termination Proofs.

Peter Hitchcock, David Michael Ritchie Park

Proceedings of the Automata, 1972