| 2012 | SOFSEM | Turing Machines for Dummies - Why Representations Do Matter. | Peter van Emde Boas |
| 1998 | SOFSEM | Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness. | Ghica van Emde Boas-Lubsen, Peter van Emde Boas |
| 1994 | TARK | Information Acquisition from Multi-agent Resources. | Zhisheng Huang, Peter van Emde Boas |
| 1993 | DEXA | Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. | Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas |
| 1993 | MFCS | Object Oriented Application Flow Graphs and their Semantics. | Erik de Haas, Peter van Emde Boas |
| 1991 | AIME | Physiological modelling using RL. | Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas |
| 1991 | DEXA | Symbolic computation in RL/1. | Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam |
| 1990 | DEXA | The rule language RL/1. | Sieger van Denneheuvel, Peter van Emde Boas |
| 1986 | MFCS | A Semantical Model for Integration and Modularization of Rules. | Peter van Emde Boas |
| 1985 | ICALP | Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. | Job Zwiers, Willem P. de Roever, Peter van Emde Boas |
| 1985 | STACS | Combined Simplicity and Immunity in Relativized NP. | Leen Torenvliet, Peter van Emde Boas |
| 1984 | STOC | On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space | Cees F. Slot, Peter van Emde Boas |
| 1983 | VLDB | The Reconstruction and Optimization of Trie Hashing Functions. | Leen Torenvliet, Peter van Emde Boas |
| 1979 | FCT | Complexity of linear problems. | Peter van Emde Boas |
| 1978 | MFCS | The Connection between Modal Logic and Algorithmic Logic. | Peter van Emde Boas |
| 1977 | ICALP | On the Proper Treatment or Referencing, Dereferencing and Assignment. | Theo M. V. Janssen, Peter van Emde Boas |
| 1977 | MFCS | The Expressive Power of Intensional Logic in the Semantics of Programming Languages. | Theo M. V. Janssen, Peter van Emde Boas |
| 1975 | FOCS | Preserving Order in a Forest in less than Logarithmic Time | Peter van Emde Boas |
| 1975 | MFCS | Ten Years of Speedup. | Peter van Emde Boas |
| 1972 | ICALP | A Comparison of the Properties of Complexity Classes and Honesty Classes. | Peter van Emde Boas |