Peter Hitchcock

26 papers A* 3A 1B 3C 1Misc 2Journal 3Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Repetitive Negative Thinking Naturally Emerges in a Model that Learns to Gate Affective Content into Working Memory. CogSci Peter Hitchcock
2025	B	`conf`	Understanding the heterogeneity in learning mental actions. CogSci Sandarsh Pandey, Mina J. Chang, Peter Hitchcock
2017	B	`conf`	Translating a Reinforcement Learning Task into a Computational Psychiatry Assay: Challenges and Strategies. CogSci Peter Hitchcock, Yael Niv, Angela Radulescu, Chris R. Sims
2009	—	`conf`	Electronic Commerce On-Site Search Services: A State of the Art Review. WEB Nan Li, Peter Hitchcock, James Blustein, Michael Bliemel
2006	—	`conf`	Simulations of Disordered Bosons on Hyper-Cubic Lattices. HPCS Peter Hitchcock, Erik S. Sørensen
2004	Misc	`conf`	From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. IRI Sergiu Dascalu, Peter Hitchcock, Narayan C. Debnath, Andrew Klempau
2002	Misc	`conf`	An approach to integrating semi-formal and formal notations in software specification. SAC Sergiu Dascalu, Peter Hitchcock
1995	J	`jnl`	InterSect_DM: a hypertext data model based on OODBMS. Inf. Softw. Technol. Bing Wang, Peter Hitchcock
1993	A	`conf`	An Object Oriented Database Approach for Supporting Hypertext CAiSE Bing Wang, Peter Hitchcock, Tony Holden
1992	J	`jnl`	Formal approach to hypertext system based on object-oriented database system. Inf. Softw. Technol. Peter Hitchcock, B. Wang
1992	—	`conf`	Linking object oriented database and hypertext to support software documentation. SIGDOC Bing Wang, Peter Hitchcock
1991	C	`conf`	InterSect: A General Purpose Hypertext System Based on an Object Oriented Database. DEXA Bing Wang, Peter Hitchcock
1991	—	`conf`	Linkages between Databases and Software Engineering. BNCOD Peter Hitchcock
1991	—	`conf`	Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop Fiona Polack, Mark Whiston, Peter Hitchcock
1990	J	`jnl`	Coupling Prolog to a Database Management System. Inf. Syst. Yuguo Zhang, Peter Hitchcock
1990	—	`ed.`	Proceedings of the 8th Bristish National Conference on Databases (BNCOD-8), Univerity of York, York, UK, July 9-11, 1990 Alan W. Brown, Peter Hitchcock
1990	—	`conf`	SAZ. Z User Workshop Fiona Polack, Peter Hitchcock, Alan W. Brown
1988	—	`conf`	The process model of the aspect IPSE. ISPW Peter Hitchcock
1986	—	`conf`	The Use of Databases for Software Engineering. BNCOD Peter Hitchcock, Alan W. Brown, R. Weedon, Anthony N. Earl, R. P. Whittington, D. S. Robinson
1985	—	`conf`	Modelling-Primitives for a Software Engineering Database. BNCOD Peter Hitchcock, D. S. Robinson, R. P. Whittington
1980	—	`conf`	Consistency of Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell
1980	—	`conf`	Data Dictionaries in Open System Communication. Workshop on Data Abstraction, Databases and Conceptual Modelling Peter Hitchcock
1976	A*	`conf`	User Extensions to the Peterlee Relational Test Vehicle. VLDB Peter Hitchcock
1975	A*	`conf`	An Algebra of Relations for Machine Computation. POPL Patrick A. V. Hall, Peter Hitchcock, Stephen Todd
1974	—	`—`	An approach to formal reasoning about programs. Peter Hitchcock
1972	A*	`conf`	Induction Rules and Termination Proofs. ICALP Peter Hitchcock, David Michael Ritchie Park