| 2007 | ||
|---|---|---|
| 47 | EE | S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas: Theory of Computation at CiE 2005. Theory Comput. Syst. 41(1): 1-2 (2007) |
| 2004 | ||
| 46 | Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller: 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 Springer 2004 | |
| 1999 | ||
| 45 | Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings Springer 1999 | |
| 1998 | ||
| 44 | EE | 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 |
| 1994 | ||
| 43 | Zhisheng Huang, Peter van Emde Boas: Information Acquisition from Multi-agent Resources. TARK 1994: 65-79 | |
| 42 | Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling: The STO-Problem is NP-Hard. J. Symb. Comput. 18(5): 489-495 (1994) | |
| 1993 | ||
| 41 | 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 | |
| 40 | Erik de Haas, Peter van Emde Boas: Object Oriented Application Flow Graphs and their Semantics. MFCS 1993: 485-494 | |
| 39 | Harry Buhrman, Leen Torenvliet, Peter van Emde Boas: Twenty Questions to a P-Selector. Inf. Process. Lett. 48(4): 201-204 (1993) | |
| 1992 | ||
| 38 | John Tromp, Peter van Emde Boas: Associative Storage Modification Machines. Complexity Theory: Current Research 1992: 291-313 | |
| 1991 | ||
| 37 | Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam: Symbolic computation in RL/1. DEXA 1991: 559-564 | |
| 36 | Peter van Emde Boas: Problems. J. Algorithms 12(1): 183-185 (1991) | |
| 35 | Peter van Emde Boas: Problems. J. Algorithms 12(4): 700-703 (1991) | |
| 1990 | ||
| 34 | Sieger van Denneheuvel, Peter van Emde Boas: The rule language RL/1. DEXA 1990: 381-387 | |
| 33 | Peter van Emde Boas: Machine Models and Simulation. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 1-66 | |
| 1989 | ||
| 32 | Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas: Multiple Representations of Dynamic Data Structures. IFIP Congress 1989: 437-442 | |
| 31 | Edith Spaan, Leen Torenvliet, Peter van Emde Boas: Nondeterminism fairness and a fundamental analogy. Bulletin of the EATCS 37: 186-193 (1989) | |
| 30 | 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) | |
| 29 | 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) | |
| 28 | Leen Torenvliet, Peter van Emde Boas: Simplicity, Immunity, Relativizations and Nondeterminism Inf. Comput. 80(1): 1-17 (1989) | |
| 27 | 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) | |
| 26 | Peter van Emde Boas: Space Measures for Storage Modification Machines. Inf. Process. Lett. 30(2): 103-110 (1989) | |
| 1988 | ||
| 25 | Cees F. Slot, Peter van Emde Boas: The Problem of Space Invariance for Sequential Machines Inf. Comput. 77(2): 93-122 (1988) | |
| 1986 | ||
| 24 | Peter van Emde Boas: A Semantical Model for Integration and Modularization of Rules. MFCS 1986: 78-92 | |
| 23 | Leen Torenvliet, Peter van Emde Boas: Diagonalisation methods in a polynomial setting. Structure in Complexity Theory Conference 1986: 330-346 | |
| 22 | 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) | |
| 21 | C. T. M. Jacobs, Peter van Emde Boas: Two Results on Tables. Inf. Process. Lett. 22(1): 43-48 (1986) | |
| 1985 | ||
| 20 | Job Zwiers, Willem P. de Roever, Peter van Emde Boas: Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519 | |
| 19 | Leen Torenvliet, Peter van Emde Boas: Combined Simplicity and Immunity in Relativized NP. STACS 1985: 339-350 | |
| 18 | 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) | |
| 1984 | ||
| 17 | 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 | |
| 1983 | ||
| 16 | EE | Leen Torenvliet, Peter van Emde Boas: The Reconstruction and Optimization of Trie Hashing Functions. VLDB 1983: 142-156 |
| 1982 | ||
| 15 | Andries E. Brouwer, Peter van Emde Boas: A Note on `Master Keys for Group Sharing'. Inf. Process. Lett. 14(1): 12-14 (1982) | |
| 1981 | ||
| 14 | Theo M. V. Janssen, Peter van Emde Boas: Some Observations on Compositional Semantics. Logic of Programs 1981: 137-149 | |
| 1980 | ||
| 13 | 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) | |
| 1979 | ||
| 12 | Peter van Emde Boas: Complexity of linear problems. FCT 1979: 117-120 | |
| 11 | Peter van Emde Boas, Jan van Leeuwen: Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science 1979: 101-112 | |
| 1978 | ||
| 10 | Peter van Emde Boas: The Connection between Modal Logic and Algorithmic Logic. MFCS 1978: 1-15 | |
| 9 | EE | 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) |
| 8 | Peter van Emde Boas: Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity Theory. Theor. Comput. Sci. 7: 79-98 (1978) | |
| 1977 | ||
| 7 | Theo M. V. Janssen, Peter van Emde Boas: On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP 1977: 282-300 | |
| 6 | Theo M. V. Janssen, Peter van Emde Boas: The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS 1977: 303-311 | |
| 5 | 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) | |
| 4 | Peter van Emde Boas, R. Kaas, E. Zijlstra: Design and Implementation of an Efficient Priority Queue. Mathematical Systems Theory 10: 99-127 (1977) | |
| 1975 | ||
| 3 | Peter van Emde Boas: Preserving Order in a Forest in less than Logarithmic Time FOCS 1975: 75-84 | |
| 2 | Peter van Emde Boas: Ten Years of Speedup. MFCS 1975: 13-29 | |
| 1972 | ||
| 1 | Peter van Emde Boas: A Comparison of the Properties of Complexity Classes and Honesty Classes. ICALP 1972: 391-396 | |
| 1 | Krzysztof R. Apt | [42] |
| 2 | Mária Bieliková | [46] |
| 3 | Ghica van Emde Boas | [22] |
| 4 | Ghica van Emde Boas-Lubsen | [44] |
| 5 | Andries E. Brouwer | [15] |
| 6 | Harry Buhrman | [39] |
| 7 | S. Barry Cooper | [47] |
| 8 | Sieger van Denneheuvel | [34] [37] [41] |
| 9 | Fred de Geus | [37] |
| 10 | Erik de Haas | [40] |
| 11 | Bo S. Hansen | [30] |
| 12 | Michael R. Hansen | [30] |
| 13 | Edith Hemaspaandra (Edith Spaan) | [31] |
| 14 | Pim Hennis | [41] |
| 15 | Zhisheng Huang | [43] |
| 16 | C. T. M. Jacobs | [21] |
| 17 | Theo M. V. Janssen | [6] [7] [14] |
| 18 | R. Kaas | [4] |
| 19 | Karen L. Kwast | [37] |
| 20 | Jan van Leeuwen | [11] |
| 21 | Benedikt Löwe | [47] |
| 22 | Peter Lucas | [30] |
| 23 | Mogens Nielsen | [45] |
| 24 | Mark H. Overmars | [27] [29] [32] |
| 25 | Jaroslav Pokorný | [46] |
| 26 | Willem P. de Roever | [20] |
| 27 | Ernest Rotterdam | [37] [41] |
| 28 | Cees F. Slot | [17] [18] [25] |
| 29 | Michiel H. M. Smid | [27] [29] [32] |
| 30 | Julius Stuller | [46] |
| 31 | Leen Torenvliet | [16] [19] [23] [27] [28] [29] [31] [32] [39] |
| 32 | John Tromp | [38] |
| 33 | Paul M. B. Vitányi | [9] |
| 34 | Angelo Welling | [42] |
| 35 | Jirí Wiedermann (Juraj Wiedermann) | [45] |
| 36 | E. Zijlstra | [4] |
| 37 | Job Zwiers | [20] |
Colors in the list of coauthors