 | 2007 |
|---|
| 47 |       | 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 | | 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 | | 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 | | 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 |
