default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter van Emde Boas
Person information
- affiliation: University of Amsterdam, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[j25]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): 103-131 (2018)- 2013
- [e3]Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack:
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 [contents] - 2012
- [j24]Peter van Emde Boas:
In Memoriam Manfred Kudlek (1940-2012). Bull. EATCS 108: 24-30 (2012) - [c27]Peter van Emde Boas:
Travelling with Dexter Kozen. Logic and Program Semantics 2012: 342-351 - [c26]Peter van Emde Boas:
Turing Machines for Dummies - Why Representations Do Matter. SOFSEM 2012: 14-30 - 2010
- [c25]Peter van Emde Boas:
Playing Savitch and Cooking Games. Concurrency, Compositionality, and Correctness 2010: 10-21 - [p2]Ionica Smeets, Arjen K. Lenstra, Hendrik Lenstra, László Lovász, Peter van Emde Boas:
The History of the LLL-Algorithm. The LLL Algorithm 2010: 1-17
2000 – 2009
- 2007
- [j23]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
- [e2]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. Lecture Notes in Computer Science 2932, Springer 2004, ISBN 3-540-20779-1 [contents]
1990 – 1999
- 1999
- [e1]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. Lecture Notes in Computer Science 1644, Springer 1999, ISBN 3-540-66224-3 [contents] - 1998
- [c24]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
- [j22]Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling:
The STO-Problem is NP-Hard. J. Symb. Comput. 18(5): 489-495 (1994) - [c23]Zhisheng Huang, Peter van Emde Boas:
Information Acquisition from Multi-agent Resources. TARK 1994: 65-79 - 1993
- [j21]Harry Buhrman, Leen Torenvliet, Peter van Emde Boas:
Twenty Questions to a P-Selector. Inf. Process. Lett. 48(4): 201-204 (1993) - [j20]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) - [c22]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 - [c21]Erik de Haas, Peter van Emde Boas:
Object Oriented Application Flow Graphs and their Semantics. MFCS 1993: 485-494 - 1992
- [c20]John Tromp, Peter van Emde Boas:
Associative Storage Modification Machines. Complexity Theory: Current Research 1992: 291-313 - 1991
- [j19]Peter van Emde Boas:
Problems. J. Algorithms 12(1): 183-185 (1991) - [j18]Peter van Emde Boas:
Problems. J. Algorithms 12(4): 700-703 (1991) - [c19]Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas:
Physiological modelling using RL. AIME 1991: 198-210 - [c18]Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam:
Symbolic computation in RL/1. DEXA 1991: 559-564 - 1990
- [c17]Sieger van Denneheuvel, Peter van Emde Boas:
The rule language RL/1. DEXA 1990: 381-387 - [p1]Peter van Emde Boas:
Machine Models and Simulation. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 1-66
1980 – 1989
- 1989
- [j17]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) - [j16]Edith Spaan, Leen Torenvliet, Peter van Emde Boas:
Nondeterminism fairness and a fundamental analogy. Bull. EATCS 37: 186-193 (1989) - [j15]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): 131-155 (1989) - [j14]Leen Torenvliet, Peter van Emde Boas:
Simplicity, Immunity, Relativizations and Nondeterminism. Inf. Comput. 80(1): 1-17 (1989) - [j13]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) - [j12]Peter van Emde Boas:
Space Measures for Storage Modification Machines. Inf. Process. Lett. 30(2): 103-110 (1989) - [c16]Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas:
Multiple Representations of Dynamic Data Structures. IFIP Congress 1989: 437-442 - 1988
- [j11]Cees F. Slot, Peter van Emde Boas:
The Problem of Space Invariance for Sequential Machines. Inf. Comput. 77(2): 93-122 (1988) - 1986
- [j10]Ghica van Emde Boas, Peter van Emde Boas:
Storing and Evaluating Horn-Clause Rules in a Relational Database. IBM J. Res. Dev. 30(1): 80-92 (1986) - [j9]C. T. M. Jacobs, Peter van Emde Boas:
Two Results on Tables. Inf. Process. Lett. 22(1): 43-48 (1986) - [c15]Leen Torenvliet, Peter van Emde Boas:
Diagonalisation methods in a polynomial setting. SCT 1986: 330-346 - [c14]Peter van Emde Boas:
A Semantical Model for Integration and Modularization of Rules. MFCS 1986: 78-92 - 1985
- [j8]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): 246-253 (1985) - [c13]Job Zwiers, Willem P. de Roever, Peter van Emde Boas:
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519 - [c12]Leen Torenvliet, Peter van Emde Boas:
Combined Simplicity and Immunity in Relativized NP. STACS 1985: 339-350 - 1984
- [c11]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
- [c10]Leen Torenvliet, Peter van Emde Boas:
The Reconstruction and Optimization of Trie Hashing Functions. VLDB 1983: 142-156 - 1982
- [j7]Andries E. Brouwer, Peter van Emde Boas:
A Note on 'Master Keys for Group Sharing'. Inf. Process. Lett. 14(1): 12-14 (1982) - 1981
- [c9]Theo M. V. Janssen, Peter van Emde Boas:
Some Observations on Compositional Semantics. Logic of Programs 1981: 137-149 - 1980
- [j6]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)
1970 – 1979
- 1979
- [c8]Peter van Emde Boas:
Complexity of linear problems. FCT 1979: 117-120 - [c7]Peter van Emde Boas, Jan van Leeuwen:
Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science 1979: 101-112 - 1978
- [j5]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) - [j4]Peter van Emde Boas:
Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity Theory. Theor. Comput. Sci. 7: 79-98 (1978) - [c6]Peter van Emde Boas:
The Connection between Modal Logic and Algorithmic Logic. MFCS 1978: 1-15 - 1977
- [j3]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) - [j2]Peter van Emde Boas, R. Kaas, E. Zijlstra:
Design and Implementation of an Efficient Priority Queue. Math. Syst. Theory 10: 99-127 (1977) - [c5]Theo M. V. Janssen, Peter van Emde Boas:
On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP 1977: 282-300 - [c4]Theo M. V. Janssen, Peter van Emde Boas:
The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS 1977: 303-311 - 1975
- [j1]Peter van Emde Boas:
The non-renameability of honesty classes. Computing 14(1-2): 183-193 (1975) - [c3]Peter van Emde Boas:
Preserving Order in a Forest in less than Logarithmic Time. FOCS 1975: 75-84 - [c2]Peter van Emde Boas:
Ten Years of Speedup. MFCS 1975: 13-29 - 1972
- [c1]Peter van Emde Boas:
A Comparison of the Properties of Complexity Classes and Honesty Classes. ICALP 1972: 391-396
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
