dblp.uni-trier.dewww.uni-trier.de

Peter van Emde Boas Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
47EES. 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
44EEGhica 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
41EEErnest 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
40EEErik 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
24EEPeter 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
20EEJob Zwiers, Willem P. de Roever, Peter van Emde Boas: Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519
19EELeen 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
16EELeen 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
10EEPeter van Emde Boas: The Connection between Modal Logic and Algorithmic Logic. MFCS 1978: 1-15
9EEPeter 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
7EETheo M. V. Janssen, Peter van Emde Boas: On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP 1977: 282-300
6EETheo 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
2EEPeter 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

Coauthor Index

1Krzysztof R. Apt [42]
2Mária Bieliková [46]
3Ghica van Emde Boas [22]
4Ghica van Emde Boas-Lubsen [44]
5Andries E. Brouwer [15]
6Harry Buhrman [39]
7S. Barry Cooper [47]
8Sieger van Denneheuvel [34] [37] [41]
9Fred de Geus [37]
10Erik de Haas [40]
11Bo S. Hansen [30]
12Michael R. Hansen [30]
13Edith Hemaspaandra (Edith Spaan) [31]
14Pim Hennis [41]
15Zhisheng Huang [43]
16C. T. M. Jacobs [21]
17Theo M. V. Janssen [6] [7] [14]
18R. Kaas [4]
19Karen L. Kwast [37]
20Jan van Leeuwen [11]
21Benedikt Löwe [47]
22Peter Lucas [30]
23Mogens Nielsen [45]
24Mark H. Overmars [27] [29] [32]
25Jaroslav Pokorný [46]
26Willem P. de Roever [20]
27Ernest Rotterdam [37] [41]
28Cees F. Slot [17] [18] [25]
29Michiel H. M. Smid [27] [29] [32]
30Julius Stuller [46]
31Leen Torenvliet [16] [19] [23] [27] [28] [29] [31] [32] [39]
32John Tromp [38]
33Paul M. B. Vitányi [9]
34Angelo Welling [42]
35Jirí Wiedermann (Juraj Wiedermann) [45]
36E. Zijlstra [4]
37Job Zwiers [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)