Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Peter Hitchcock

dblp:69/26 · DBLP profile ↗
← Back
11ranked-venue papers
5as first author
2since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 4 · 1 first-authorDatabases, data management, data science and information retrieval · 4 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Databases, data mining, and information retrieval
2 papers
Data models and query languages · 67% Database system architecture and tuning · 33%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Database system architecture and tuning
extensible database system
0.011976
User Extensions to the Peterlee Relational Test Vehicle · VLDB 1976
Data models and query languages
derived relations
0.011975
An Algebra of Relations for Machine Computation · POPL 1975
Data models and query languages
relational algebra
0.011975
An Algebra of Relations for Machine Computation · POPL 1975
Logic in computer science
proof theory
0.011972
Induction Rules and Termination Proofs · ICALP 1972
Logic in computer science › program analysis
termination analysis
0.011972
Induction Rules and Termination Proofs · ICALP 1972
Data models and query languages › query language design
relational query languages
0.011976
User Extensions to the Peterlee Relational Test Vehicle · VLDB 1976

Methods — techniques the papers use, named apart from their topics

relational expression characterization · 0.0
YearPublicationVenuePosition
2025 Repetitive Negative Thinking Naturally Emerges in a Model that Learns to Gate Affective Content into Working Memory
Peter Hitchcock
CogSci1
2025 Understanding the heterogeneity in learning mental actions
Sandarsh Pandey, Mina J. Chang, Peter Hitchcock
CogSci3
2017 Translating a Reinforcement Learning Task into a Computational Psychiatry Assay: Challenges and Strategies
Peter Hitchcock, Yael Niv, Angela Radulescu, Chris R. Sims
CogSci1
1995 InterSect_DM: a hypertext data model based on OODBMS
Bing Wang 0012, Peter Hitchcock
Inf. Softw. Technol.2
1993 An Object Oriented Database Approach for Supporting Hypertext
Bing Wang 0012, Peter Hitchcock, Tony Holden
CAiSE2
1992 Formal approach to hypertext system based on object-oriented database system
Peter Hitchcock
Inf. Softw. Technol.1
1991 InterSect: A General Purpose Hypertext System Based on an Object Oriented Database
Bing Wang 0012, Peter Hitchcock
DEXA2
1990 Coupling Prolog to a Database Management System
Yuguo Zhang, Peter Hitchcock
Inf. Syst.2
1976 User Extensions to the Peterlee Relational Test Vehicle
Peter Hitchcock
VLDB1
1975 An Algebra of Relations for Machine Computation
abstract
This paper extends the relational algebra of data bases, presented by Codd [4] and others, in four areas. The first is the use of selector names to remove order dependencies from the columns of a relation. This use of selector names enables us to define a more general class of operations, which include the normal relational operations of union, equi-join etc., as special cases. Thirdly we introduce relations represented algorithmically as well as by a stored set of tuples. Such computed relations cannot always be effectively realised as a finite set of tuples. Finally we consider relational expressions as algorithmic representations of relations and characterize their effectiveness.
Patrick A. V. Hall, Peter Hitchcock, Stephen Todd
POPL2
1972 Induction Rules and Termination Proofs
Peter Hitchcock, David M. R. Park
ICALP1