A Comparison of the Properties of Complexity Classes and Honesty Classes. - Peter van Emde Boas (ICALP, 1972)

Preserving Order in a Forest in less than Logarithmic Time - Peter van Emde Boas (FOCS, 1975)

Ten Years of Speedup. - Peter van Emde Boas (MFCS, 1975)

The non-renameability of honesty classes. - Peter van Emde Boas (Computing, 1975)

On the Proper Treatment or Referencing, Dereferencing and Assignment. - Theo M. V. Janssen; Peter van Emde Boas (ICALP, 1977)

The Expressive Power of Intensional Logic in the Semantics of Programming Languages. - Theo M. V. Janssen; Peter van Emde Boas (MFCS, 1977)

Preserving Order in a Forest in Less Than Logarithmic Time and Linear Space. - Peter van Emde Boas (Inf. Process. Lett., 1977)

Design and Implementation of an Efficient Priority Queue. - Peter van Emde Boas; R. Kaas; E. Zijlstra (Math. Syst. Theory, 1977)

The Connection between Modal Logic and Algorithmic Logic. - Peter van Emde Boas (MFCS, 1978)

A note on the recursive enumerability of some classes of recursively enumerable languages. - Peter van Emde Boas; Paul M. B. Vitányi (Inf. Sci., 1978)

Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity Theory. - Peter van Emde Boas (Theor. Comput. Sci., 1978)

Complexity of linear problems. - Peter van Emde Boas (FCT, 1979)

Move Rules and Trade-Offs in the Pebble Game. - Peter van Emde Boas; Jan van Leeuwen (Theoretical Computer Science, 1979)

On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector Determination. - Peter van Emde Boas (Inf. Process. Lett., 1980)

Some Observations on Compositional Semantics. - Theo M. V. Janssen; Peter van Emde Boas (Logic of Programs, 1981)

A Note on 'Master Keys for Group Sharing'. - Andries E. Brouwer; Peter van Emde Boas (Inf. Process. Lett., 1982)

The Reconstruction and Optimization of Trie Hashing Functions. - Leen Torenvliet; Peter van Emde Boas (VLDB, 1983)

Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. - Job Zwiers; Willem P. de Roever; Peter van Emde Boas (ICALP, 1985)

Combined Simplicity and Immunity in Relativized NP. - Leen Torenvliet; Peter van Emde Boas (STACS, 1985)

On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of Space. - Cees F. Slot; Peter van Emde Boas (J. Inf. Process. Cybern., 1985)

Diagonalisation methods in a polynomial setting. - Leen Torenvliet; Peter van Emde Boas (SCT, 1986)

A Semantical Model for Integration and Modularization of Rules. - Peter van Emde Boas (MFCS, 1986)

Storing and Evaluating Horn-Clause Rules in a Relational Database. - Ghica van Emde Boas; Peter van Emde Boas (IBM J. Res. Dev., 1986)

Two Results on Tables. - C. T. M. Jacobs; Peter van Emde Boas (Inf. Process. Lett., 1986)

The Problem of Space Invariance for Sequential Machines - Cees F. Slot; Peter van Emde Boas (Inf. Comput., 1988)

Multiple Representations of Dynamic Data Structures. - Michiel H. M. Smid; Mark H. Overmars; Leen Torenvliet; Peter van Emde Boas (IFIP Congress, 1989)

Integrating Relational Databases and Constraint Languages. - Michael R. Hansen; Bo S. Hansen; Peter Lucas 001; Peter van Emde Boas (Comput. Lang., 1989)

Nondeterminism fairness and a fundamental analogy. - Edith Spaan; Leen Torenvliet; Peter van Emde Boas (Bull. EATCS, 1989)

Two Models for the Reconstruction Problem for Dynamic Data Structures. - Michiel H. M. Smid; Leen Torenvliet; Peter van Emde Boas; Mark H. Overmars (J. Inf. Process. Cybern., 1989)

Space Measures for Storage Modification Machines. - Peter van Emde Boas (Inf. Process. Lett., 1989)

Simplicity, Immunity, Relativizations and Nondeterminism - Leen Torenvliet; Peter van Emde Boas (Inf. Comput., 1989)

Maintaining Multiple Representations of Dynamic Data Structures - Michiel H. M. Smid; Mark H. Overmars; Leen Torenvliet; Peter van Emde Boas (Inf. Comput., 1989)

Machine Models and Simulation. - Peter van Emde Boas (Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A), 1990)

The rule language RL/1. - Sieger van Denneheuvel; Peter van Emde Boas (DEXA, 1990)

Physiological modelling using RL. - Fred de Geus; Ernest Rotterdam; Sieger van Denneheuvel; Peter van Emde Boas (AIME, 1991)

Symbolic computation in RL/1. - Sieger van Denneheuvel; Karen L. Kwast; Peter van Emde Boas; Fred de Geus; Ernest Rotterdam (DEXA, 1991)

Problems. - Peter van Emde Boas (J. Algorithms, 1991)

Associative Storage Modification Machines. - John Tromp; Peter van Emde Boas (Complexity Theory: Current Research, 1992)

Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. - Ernest Rotterdam; Sieger van Denneheuvel; Pim Hennis; Peter van Emde Boas (DEXA, 1993)

Object Oriented Application Flow Graphs and their Semantics. - Erik de Haas; Peter van Emde Boas (MFCS, 1993)

Twenty Questions to a P-Selector. - Harry Buhrman; Leen Torenvliet; Peter van Emde Boas (Inf. Process. Lett., 1993)

A survey of the rule language RL/1. - Sieger van Denneheuvel; Karen L. Kwast; Zhisheng Huang; Peter van Emde Boas (J. Comput. Sci. Technol., 1993)

Information Acquisition from Multi-agent Resources. - Zhisheng Huang; Peter van Emde Boas (TARK, 1994)

The STO-Problem is NP-Hard. - Krzysztof R. Apt; Peter van Emde Boas; Angelo Welling (J. Symb. Comput., 1994)

Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness. - Ghica van Emde Boas-Lubsen; Peter van Emde Boas (SOFSEM, 1998)

Theory of Computation at CiE 2005. - S. Barry Cooper; Benedikt Löwe; Peter van Emde Boas (Theory Comput. Syst., 2007)

Playing Savitch and Cooking Games. - Peter van Emde Boas (Concurrency, Compositionality, and Correctness, 2010)

The History of the LLL-Algorithm. - Ionica Smeets; Arjen K. Lenstra; Hendrik Lenstra; László Lovász 001; Peter van Emde Boas (The LLL Algorithm, 2010)

Travelling with Dexter Kozen. - Peter van Emde Boas (Logic and Program Semantics, 2012)

Turing Machines for Dummies - Why Representations Do Matter. - Peter van Emde Boas (SOFSEM, 2012)

In Memoriam Manfred Kudlek (1940-2012). - Peter van Emde Boas (Bull. EATCS, 2012)

S. Barry Cooper (1943-2015). - Richard Elwes; Andy Lewis-Pye; Benedikt Löwe; Dugald Macpherson; Dag Normann; Andrea Sorbi; Alexandra A. Soskova; Mariya Ivanova Soskova; Peter van Emde Boas; Stanley S. Wainer (Comput., 2018)