Peter van Emde Boas

Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack (Eds.): SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings. Lecture Notes in Computer Science 7741, Springer 2013, isbn 978-3-642-35842-5

Peter van Emde Boas: Travelling with Dexter Kozen. Logic and Program Semantics 2012: 342-351

Peter van Emde Boas: Turing Machines for Dummies - Why Representations Do Matter. SOFSEM 2012: 14-30

Peter van Emde Boas: Playing Savitch and Cooking Games. Concurrency, Compositionality, and Correctness 2010: 10-21

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

Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller (Eds.): SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004. Lecture Notes in Computer Science 2932, Springer 2004, isbn 3-540-20779-1

Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen (Eds.): Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Lecture Notes in Computer Science 1644, Springer 1999, isbn 3-540-66224-3

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: 68-88

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

Zhisheng Huang, Peter van Emde Boas: Information Acquisition from Multi-agent Resources. TARK 1994: 65-79

Harry Buhrman, Leen Torenvliet, Peter van Emde Boas: Twenty Questions to a P-Selector. Inf. Process. Lett. 48(4): 201-204 (1993)

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): 92-96 (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: 541-552

Erik de Haas, Peter van Emde Boas: Object Oriented Application Flow Graphs and their Semantics. MFCS 1993: 485-494

John Tromp, Peter van Emde Boas: Associative Storage Modification Machines. Complexity Theory: Current Research 1992: 291-313

Peter van Emde Boas: Problems. J. Algorithms 12(1): 183-185 (1991)

Peter van Emde Boas: Problems. J. Algorithms 12(4): 700-703 (1991)

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

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

Sieger van Denneheuvel, Peter van Emde Boas: The rule language RL/1. DEXA 1990: 381-387

Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas: Integrating Relational Databases and Constraint Languages. Comput. Lang. 14(2): 63-82 (1989)

Edith Spaan, Leen Torenvliet, Peter van Emde Boas: Nondeterminism fairness and a fundamental analogy. Bulletin of the EATCS 37: 186-193 (1989)

Michiel H. M. Smid, Leen Torenvliet, Peter van Emde Boas, Mark H. Overmars: Two Models for the Reconstruction Problem for Dynamic Data Structures. Elektronische Informationsverarbeitung und Kybernetik 25(4): 131-155 (1989)

Leen Torenvliet, Peter van Emde Boas: Simplicity, Immunity, Relativizations and Nondeterminism. Inf. Comput. 80(1): 1-17 (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): 206-233 (1989)

Peter van Emde Boas: Space Measures for Storage Modification Machines. Inf. Process. Lett. 30(2): 103-110 (1989)

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

Cees F. Slot, Peter van Emde Boas: The Problem of Space Invariance for Sequential Machines. Inf. Comput. 77(2): 93-122 (1988)

Ghica van Emde Boas, Peter van Emde Boas: Storing and Evaluating Horn-Clause Rules in a Relational Database. IBM Journal of Research and Development 30(1): 80-92 (1986)

C. T. M. Jacobs, Peter van Emde Boas: Two Results on Tables. Inf. Process. Lett. 22(1): 43-48 (1986)

Leen Torenvliet, Peter van Emde Boas: Diagonalisation methods in a polynomial setting. Structure in Complexity Theory Conference 1986: 330-346

Peter van Emde Boas: A Semantical Model for Integration and Modularization of Rules. MFCS 1986: 78-92

Cees F. Slot, Peter van Emde Boas: On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of Space. Elektronische Informationsverarbeitung und Kybernetik 21(4/5): 246-253 (1985)

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

Leen Torenvliet, Peter van Emde Boas: Combined Simplicity and Immunity in Relativized NP. STACS 1985: 339-350

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: 391-400

Leen Torenvliet, Peter van Emde Boas: The Reconstruction and Optimization of Trie Hashing Functions. VLDB 1983: 142-156

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

Theo M. V. Janssen, Peter van Emde Boas: Some Observations on Compositional Semantics. Logic of Programs 1981: 137-149

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

Peter van Emde Boas: Complexity of linear problems. FCT 1979: 117-120

Peter van Emde Boas, Jan van Leeuwen: Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science 1979: 101-112

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): 89-91 (1978)

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

Peter van Emde Boas: The Connection between Modal Logic and Algorithmic Logic. MFCS 1978: 1-15

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

Peter van Emde Boas, R. Kaas, E. Zijlstra: Design and Implementation of an Efficient Priority Queue. Mathematical Systems Theory 10: 99-127 (1977)

Theo M. V. Janssen, Peter van Emde Boas: On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP 1977: 282-300

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

Peter van Emde Boas: Preserving Order in a Forest in less than Logarithmic Time. FOCS 1975: 75-84

Peter van Emde Boas: Ten Years of Speedup. MFCS 1975: 13-29

Peter van Emde Boas: A Comparison of the Properties of Complexity Classes and Honesty Classes. ICALP 1972: 391-396