Peter van Emde Boas

Publication Activity (10 Years)

Years Active: 1972-2018
Publications (10 Years): 1

Top Topics

Microsoft Business Intelligence

Representation Scheme

Top Venues

Logic and Program Semantics

Publications

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
S. Barry Cooper (1943-2015). Comput. 7 (2-3) (2018)
Peter van Emde Boas
Turing Machines for Dummies - Why Representations Do Matter. SOFSEM (2012)
Peter van Emde Boas
In Memoriam Manfred Kudlek (1940-2012). Bull. EATCS 108 (2012)
Peter van Emde Boas
Travelling with Dexter Kozen. Logic and Program Semantics (2012)
Peter van Emde Boas
Playing Savitch and Cooking Games. Concurrency, Compositionality, and Correctness (2010)
S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
Theory of Computation at CiE 2005. Theory Comput. Syst. 41 (1) (2007)
Ghica van Emde Boas-Lubsen, Peter van Emde Boas
Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness. SOFSEM (1998)
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
The STO-Problem is NP-Hard. J. Symb. Comput. 18 (5) (1994)
Zhisheng Huang, Peter van Emde Boas
Information Acquisition from Multi-agent Resources. TARK (1994)
Sieger van Denneheuvel, Karen L. Kwast, Zhisheng Huang, Peter van Emde Boas
A survey of the rule language RL/1. J. Comput. Sci. Technol. 8 (1) (1993)
Harry Buhrman, Leen Torenvliet, Peter van Emde Boas
Twenty Questions to a P-Selector. Inf. Process. Lett. 48 (4) (1993)
Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas
Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. DEXA (1993)
Erik de Haas, Peter van Emde Boas
Object Oriented Application Flow Graphs and their Semantics. MFCS (1993)
John Tromp, Peter van Emde Boas
Associative Storage Modification Machines. Complexity Theory: Current Research (1992)
Peter van Emde Boas
Problems. J. Algorithms 12 (4) (1991)
Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas
Physiological modelling using RL. AIME (1991)
Peter van Emde Boas
Problems. J. Algorithms 12 (1) (1991)
Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam
Symbolic computation in RL/1. DEXA (1991)
Sieger van Denneheuvel, Peter van Emde Boas
The rule language RL/1. DEXA (1990)
Michiel H. M. Smid, Leen Torenvliet, Peter van Emde Boas, Mark H. Overmars
Two Models for the Reconstruction Problem for Dynamic Data Structures. J. Inf. Process. Cybern. 25 (4) (1989)
Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas
Multiple Representations of Dynamic Data Structures. IFIP Congress (1989)
Edith Spaan, Leen Torenvliet, Peter van Emde Boas
Nondeterminism fairness and a fundamental analogy. Bull. EATCS 37 (1989)
Leen Torenvliet, Peter van Emde Boas
Simplicity, Immunity, Relativizations and Nondeterminism Inf. Comput. 80 (1) (1989)
Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
Integrating Relational Databases and Constraint Languages. Comput. Lang. 14 (2) (1989)
Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas
Maintaining Multiple Representations of Dynamic Data Structures Inf. Comput. 83 (2) (1989)
Peter van Emde Boas
Space Measures for Storage Modification Machines. Inf. Process. Lett. 30 (2) (1989)
Cees F. Slot, Peter van Emde Boas
The Problem of Space Invariance for Sequential Machines Inf. Comput. 77 (2) (1988)
Ghica van Emde Boas, Peter van Emde Boas
Storing and Evaluating Horn-Clause Rules in a Relational Database. IBM J. Res. Dev. 30 (1) (1986)
Peter van Emde Boas
A Semantical Model for Integration and Modularization of Rules. MFCS (1986)
C. T. M. Jacobs, Peter van Emde Boas
Two Results on Tables. Inf. Process. Lett. 22 (1) (1986)
Leen Torenvliet, Peter van Emde Boas
Diagonalisation methods in a polynomial setting. Computational Complexity Conference (1986)
Cees F. Slot, Peter van Emde Boas
On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of Space. J. Inf. Process. Cybern. 21 (4/5) (1985)
Leen Torenvliet, Peter van Emde Boas
Combined Simplicity and Immunity in Relativized NP. STACS (1985)
Job Zwiers, Willem P. de Roever, Peter van Emde Boas
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP (1985)
Cees F. Slot, Peter van Emde Boas
On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space STOC (1984)
Leen Torenvliet, Peter van Emde Boas
The Reconstruction and Optimization of Trie Hashing Functions. VLDB (1983)
Andries E. Brouwer, Peter van Emde Boas
A Note on 'Master Keys for Group Sharing'. Inf. Process. Lett. 14 (1) (1982)
Theo M. V. Janssen, Peter van Emde Boas
Some Observations on Compositional Semantics. Logic of Programs (1981)
Peter van Emde Boas
On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector Determination. Inf. Process. Lett. 10 (3) (1980)
Peter van Emde Boas
Complexity of linear problems. FCT (1979)
Peter van Emde Boas, Jan van Leeuwen
Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science (1979)
Peter van Emde Boas, Paul M. B. Vitányi
A note on the recursive enumerability of some classes of recursively enumerable languages. Inf. Sci. 14 (1) (1978)
Peter van Emde Boas
Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity Theory. Theor. Comput. Sci. 7 (1978)
Peter van Emde Boas
The Connection between Modal Logic and Algorithmic Logic. MFCS (1978)
Peter van Emde Boas, R. Kaas, E. Zijlstra
Design and Implementation of an Efficient Priority Queue. Math. Syst. Theory 10 (1977)
Theo M. V. Janssen, Peter van Emde Boas
The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS (1977)
Peter van Emde Boas
Preserving Order in a Forest in Less Than Logarithmic Time and Linear Space. Inf. Process. Lett. 6 (3) (1977)
Theo M. V. Janssen, Peter van Emde Boas
On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP (1977)
Peter van Emde Boas
Preserving Order in a Forest in less than Logarithmic Time FOCS (1975)
Peter van Emde Boas
The non-renameability of honesty classes. Computing 14 (1-2) (1975)
Peter van Emde Boas
Ten Years of Speedup. MFCS (1975)
Peter van Emde Boas
A Comparison of the Properties of Complexity Classes and Honesty Classes. ICALP (1972)