×

zbMATH — the first resource for mathematics

van Emde Boas, Peter

Compute Distance To:
Author ID: van-emde-boas.peter Recent zbMATH articles by "van Emde Boas, Peter"
Published as: Van Emde Boas, Peter; van Emde Boas, P.; van Emde Boas, Peter
External Links: MGP · Wikidata
Documents Indexed: 75 Publications since 1965, including 23 Books
Reviewing Activity: 63 Reviews

Publications by Year

Citations contained in zbMATH

42 Publications have been cited 489 times in 410 Documents Cited by Year
Preserving order in a forest in less than logarithmic time and linear space. Zbl 0364.68053
van Emde Boas, P.
103
1977
Design and implementation of an efficient priority queue. Zbl 0363.60104
van Emde Boas, P.; Kaas, R.; Zijlstra, E.
95
1977
Machine models and simulations. Zbl 0900.68265
van Emde Boas, Peter
51
1990
The convenience of tilings. Zbl 0874.03050
van Emde Boas, Peter
34
1997
A combinatorial problem on finite abelian groups. III. Zbl 0245.20046
van Emde Boas, P.; Kruyswijk, D.
27
1969
A combinatorial problem on finite Abelian groups. II. Zbl 0203.32703
van Emde Boas, P.
26
1969
Compositionality and concurrent networks: Soundness and completeness of a proofsystem. Zbl 0566.68014
Zwiers, Job; de Roever, Willem Paul; van Emde Boas, Peter
17
1985
A sharpened version of the Aanderaa-Rosenberg conjecture. Zbl 0294.05125
Best, M. R.; van Emde Boas, P.; Lenstra, H. W. jun.
11
1974
On the \(\Omega (n\log n)\) lower bound for convex hull and maximal vector determination. Zbl 0435.68033
van Emde Boas, Peter
10
1980
Continua as remainders in compact extensions. Zbl 0145.43202
Aarts, J. M.; van Emde Boas, P.
9
1967
The problem of space invariance for sequential machines. Zbl 0643.68055
Slot, Cees; van Emde Boas, Peter
7
1988
Bounded tiling, an alternative to satisfiability? Zbl 0561.68034
Savelsbergh, Martin W. P.; van Emde Boas, Peter
7
1984
Some elementary proofs of lower bounds in complexity theory. Zbl 0374.15008
van Leeuwen, J.; van Emde Boas, P.
7
1978
Diagonalisation methods in a polynomial setting. Zbl 0611.68019
Torenvliet, Leen; van Emde Boas, Peter
6
1986
The history of the LLL-algorithm. In collaboration with Arjen Lenstra, Hendrik Lenstra, László Lovász, and Peter van Emde Boas. Zbl 1230.11002
Smeets, Ionica; Lenstra, Arjen; Lenstra, Hendrik; Lovász, László; Van Emde Boas, Peter
5
2010
Space measures for storage modification machines. Zbl 0669.68037
Van Emde Boas, Peter
5
1989
Simplicity, immunity, relativizations and nondeterminism. Zbl 0664.68049
Torenvliet, Leen; van Emde Boas, Peter
5
1989
Nondeterminism, fairness and a fundamental analogy. Zbl 1030.68538
Spaan, Edith; Torenvliet, Leen; van Emde Boas, Peter
5
1989
The second machine class 2, an encyclopedic view on the parallel computation thesis. Zbl 0760.68027
Van Emde Boas, Peter
5
1988
Move rules and trade-offs in the pebble game. Zbl 0396.05022
van Emde Boas, Peter; van Leeuwen, Jan
5
1979
A note on the McCreight-Meyer naming theorem in the theory of computational complexity. Zbl 0329.68045
van Emde Boas, P.
5
1971
Machine models and computational complexity. Zbl 0468.68054
van Emde Boas, P.
4
1980
The expressive power of intensional logic in the semantics of programming languages. Zbl 0363.68030
Janssen, T. M. V.; van Emde Boas, P.
4
1977
On the proper treatment or referencing, dereferencing and assignment. Zbl 0353.68029
Janssen, T. M. V.; van Emde Boas, P.
4
1977
A combinatorial problem on finite Abelian groups. Zbl 0189.31703
van Emde Boas, P.; Kruyswijk, D.
4
1967
Two models for the reconstruction problem for dynamic data structures. Zbl 0679.68038
Smid, Michiel H. M.; Torenvliet, Leen; van Emde Boas, Peter; Overmars, Mark H.
3
1989
Two results on tables. Zbl 0584.68066
Jacobs, Christiaan T. M.; van Emde Boas, Peter
3
1986
The connection between modal logic and algorithmic logics. Zbl 0379.68048
van Emde Boas, P.
3
1978
The truncated-average limit and the Cesaro limit are independent. Zbl 0281.40005
van Emde Boas, P.
3
1974
Computation, information, and the arrow of time. Zbl 1261.68055
Adriaans, Pieter; van Emde Boas, Peter
2
2011
A note on ”Master keys for group sharing”. Zbl 0495.94006
Brouwer, Andries E.; van Emde Boas, Peter
2
1982
The Conway paradox: Its solution in an epistemic framework. Zbl 0466.03005
van Emde Boas, Peter; Groenendijk, Jeroen; Stokhof, Martin
2
1981
In memoriam: Manfred Kudlek (1940–2012). Obituary read at the closing ceremony for CiE 2012, Cambridge, June 23, 2012. Zbl 1395.01078
van Emde Boas, Peter
1
2012
Associative storage modification machines. Zbl 0791.68058
Tromp, John; van Emde Boas, Peter
1
1993
Semantics and contextual expression. Selected papers from the 6th Amsterdam colloquium held in April 1987. Zbl 0703.00007
Bartsch, R. (ed.); van Benthem, J. (ed.); van Emde Boas, P. (ed.)
1
1989
Machine models, computational complexity and number theory. Zbl 0508.68028
van Emde Boas, P.
1
1982
Complexity of linear problems. Zbl 0414.68021
van Emde Boas, Peter
1
1979
Least fixed points and the recursion theorem. Zbl 0333.68014
van Emde Boas, P.
1
1976
Ten years of speedup. Zbl 0324.68025
van Emde Boas, Peter
1
1975
The non-renamability of honesty classes. Zbl 0313.68037
van Emde Boas, P.
1
1975
A comparison of the properties of complexity classes and honesty classes. Zbl 0263.68026
van Emde Boas, P.
1
1973
Nowhere differentiable continuous functions. Zbl 0199.37902
van Emde Boas, P.
1
1969
In memoriam: Manfred Kudlek (1940–2012). Obituary read at the closing ceremony for CiE 2012, Cambridge, June 23, 2012. Zbl 1395.01078
van Emde Boas, Peter
1
2012
Computation, information, and the arrow of time. Zbl 1261.68055
Adriaans, Pieter; van Emde Boas, Peter
2
2011
The history of the LLL-algorithm. In collaboration with Arjen Lenstra, Hendrik Lenstra, László Lovász, and Peter van Emde Boas. Zbl 1230.11002
Smeets, Ionica; Lenstra, Arjen; Lenstra, Hendrik; Lovász, László; Van Emde Boas, Peter
5
2010
The convenience of tilings. Zbl 0874.03050
van Emde Boas, Peter
34
1997
Associative storage modification machines. Zbl 0791.68058
Tromp, John; van Emde Boas, Peter
1
1993
Machine models and simulations. Zbl 0900.68265
van Emde Boas, Peter
51
1990
Space measures for storage modification machines. Zbl 0669.68037
Van Emde Boas, Peter
5
1989
Simplicity, immunity, relativizations and nondeterminism. Zbl 0664.68049
Torenvliet, Leen; van Emde Boas, Peter
5
1989
Nondeterminism, fairness and a fundamental analogy. Zbl 1030.68538
Spaan, Edith; Torenvliet, Leen; van Emde Boas, Peter
5
1989
Two models for the reconstruction problem for dynamic data structures. Zbl 0679.68038
Smid, Michiel H. M.; Torenvliet, Leen; van Emde Boas, Peter; Overmars, Mark H.
3
1989
Semantics and contextual expression. Selected papers from the 6th Amsterdam colloquium held in April 1987. Zbl 0703.00007
Bartsch, R. (ed.); van Benthem, J. (ed.); van Emde Boas, P. (ed.)
1
1989
The problem of space invariance for sequential machines. Zbl 0643.68055
Slot, Cees; van Emde Boas, Peter
7
1988
The second machine class 2, an encyclopedic view on the parallel computation thesis. Zbl 0760.68027
Van Emde Boas, Peter
5
1988
Diagonalisation methods in a polynomial setting. Zbl 0611.68019
Torenvliet, Leen; van Emde Boas, Peter
6
1986
Two results on tables. Zbl 0584.68066
Jacobs, Christiaan T. M.; van Emde Boas, Peter
3
1986
Compositionality and concurrent networks: Soundness and completeness of a proofsystem. Zbl 0566.68014
Zwiers, Job; de Roever, Willem Paul; van Emde Boas, Peter
17
1985
Bounded tiling, an alternative to satisfiability? Zbl 0561.68034
Savelsbergh, Martin W. P.; van Emde Boas, Peter
7
1984
A note on ”Master keys for group sharing”. Zbl 0495.94006
Brouwer, Andries E.; van Emde Boas, Peter
2
1982
Machine models, computational complexity and number theory. Zbl 0508.68028
van Emde Boas, P.
1
1982
The Conway paradox: Its solution in an epistemic framework. Zbl 0466.03005
van Emde Boas, Peter; Groenendijk, Jeroen; Stokhof, Martin
2
1981
On the \(\Omega (n\log n)\) lower bound for convex hull and maximal vector determination. Zbl 0435.68033
van Emde Boas, Peter
10
1980
Machine models and computational complexity. Zbl 0468.68054
van Emde Boas, P.
4
1980
Move rules and trade-offs in the pebble game. Zbl 0396.05022
van Emde Boas, Peter; van Leeuwen, Jan
5
1979
Complexity of linear problems. Zbl 0414.68021
van Emde Boas, Peter
1
1979
Some elementary proofs of lower bounds in complexity theory. Zbl 0374.15008
van Leeuwen, J.; van Emde Boas, P.
7
1978
The connection between modal logic and algorithmic logics. Zbl 0379.68048
van Emde Boas, P.
3
1978
Preserving order in a forest in less than logarithmic time and linear space. Zbl 0364.68053
van Emde Boas, P.
103
1977
Design and implementation of an efficient priority queue. Zbl 0363.60104
van Emde Boas, P.; Kaas, R.; Zijlstra, E.
95
1977
The expressive power of intensional logic in the semantics of programming languages. Zbl 0363.68030
Janssen, T. M. V.; van Emde Boas, P.
4
1977
On the proper treatment or referencing, dereferencing and assignment. Zbl 0353.68029
Janssen, T. M. V.; van Emde Boas, P.
4
1977
Least fixed points and the recursion theorem. Zbl 0333.68014
van Emde Boas, P.
1
1976
Ten years of speedup. Zbl 0324.68025
van Emde Boas, Peter
1
1975
The non-renamability of honesty classes. Zbl 0313.68037
van Emde Boas, P.
1
1975
A sharpened version of the Aanderaa-Rosenberg conjecture. Zbl 0294.05125
Best, M. R.; van Emde Boas, P.; Lenstra, H. W. jun.
11
1974
The truncated-average limit and the Cesaro limit are independent. Zbl 0281.40005
van Emde Boas, P.
3
1974
A comparison of the properties of complexity classes and honesty classes. Zbl 0263.68026
van Emde Boas, P.
1
1973
A note on the McCreight-Meyer naming theorem in the theory of computational complexity. Zbl 0329.68045
van Emde Boas, P.
5
1971
A combinatorial problem on finite abelian groups. III. Zbl 0245.20046
van Emde Boas, P.; Kruyswijk, D.
27
1969
A combinatorial problem on finite Abelian groups. II. Zbl 0203.32703
van Emde Boas, P.
26
1969
Nowhere differentiable continuous functions. Zbl 0199.37902
van Emde Boas, P.
1
1969
Continua as remainders in compact extensions. Zbl 0145.43202
Aarts, J. M.; van Emde Boas, P.
9
1967
A combinatorial problem on finite Abelian groups. Zbl 0189.31703
van Emde Boas, P.; Kruyswijk, D.
4
1967
all top 5

Cited by 616 Authors

9 van Emde Boas, Peter
8 Gao, Weidong
7 Chen, Danny Ziyi
7 Nekrich, Yakov
6 Bille, Philip
6 Geroldinger, Alfred
6 Schmid, Wolfgang Alexander
6 Willard, Dan E.
5 Apostolico, Alberto
5 Chan, Timothy Moon-Yew
5 Girard, Benjamin
5 Gørtz, Inge Li
5 Overmars, Mark H.
5 Stølting Brodal, Gerth
5 Tsakalidis, Athanasios K.
4 Dal Lago, Ugo
4 Durocher, Stephane
4 Iliopoulos, Costas S.
4 Makris, Christos H.
4 Navarro, Gonzalo
4 Smid, Michiel H. M.
4 Van Leeuwen, Jan
4 Weimann, Oren
3 Atallah, Mikhail J.
3 Bose, Prosenjit K.
3 Chazelle, Bernard
3 Cording, Patrick Hagge
3 de Roever, Willem-Paul
3 Demri, Stéphane P.
3 Deorowicz, Sebastian
3 Geffert, Viliam
3 Grandjean, Etienne
3 Grohe, Martin
3 Kahn, Jeff D.
3 Landau, Gad M.
3 Lange, Martin
3 Mehlhorn, Kurt
3 Meshulam, Roy
3 Rahman, Mohammad Sohel
3 Shah, Rahul
3 Torenvliet, Leen
3 Triesch, Eberhard
3 Vitter, Jeffrey Scott
3 Wang, Haitao
3 Woods, Damien
3 Yang, Chang-Biau
3 Ziegler, Martin
2 America, Pierre
2 Asperti, Andrea
2 Avis, David M.
2 Belazzougui, Djamal
2 Bern, Marshall W.
2 Berwanger, Dietmar
2 Bespamyatnikh, Sergei N.
2 Bini, Dario Andrea
2 Calvanese, Diego
2 Carlson, David A.
2 Charatonik, Włodzimierz J.
2 Chiu, Kuanghui
2 Chlebus, Bogdan Stanislaw
2 Christiansen, Anders Roy
2 Clark, Peter Louis
2 de Boer, Frank S.
2 De Giacomo, Giuseppe
2 Douïeb, Karim
2 Dow, Alan S.
2 Fagerberg, Rolf
2 Fix, Limor
2 Francez, Nissim
2 Frederickson, Greg N.
2 Fredman, Michael L.
2 Fresco, Nir
2 Fu, Yuxi
2 Gawrychowski, Paweł
2 Ghammam, Loubna
2 Grumberg, Orna
2 Guibas, Leonidas John
2 Hagerup, Torben
2 Hambrusch, Susanne E.
2 Hart, Klaas Pieter
2 Hofmann, Martin
2 Hon, Wing-Kai
2 Hooman, Jozef Johannes Maria
2 Howat, John
2 Hsu, Wenlian
2 Iacono, John
2 Karlsson, Rolf G.
2 Kirkpatrick, David G.
2 Kopelowitz, Tsvi
2 Kucherov, Gregory
2 Kupferman, Orna
2 Kuske, Dietrich
2 Lagogiannis, George
2 Lenzerini, Maurizio
2 Levy, Avivit
2 Lewenstein, Moshe
2 Liang, Y. Daniel
2 López-Ortiz, Alejandro
2 Malucelli, Federico
2 Manea, Florin
...and 516 more Authors
all top 5

Cited in 98 Serials

66 Theoretical Computer Science
34 Information Processing Letters
27 Information and Computation
21 Journal of Computer and System Sciences
20 Algorithmica
10 Discrete Applied Mathematics
9 Acta Informatica
9 Journal of Discrete Algorithms
8 Mathematical Systems Theory
8 Computational Geometry
8 Theory of Computing Systems
7 Discrete Mathematics
6 Journal of Number Theory
5 Combinatorica
5 Discrete & Computational Geometry
4 BIT
4 Topology and its Applications
4 Annals of Pure and Applied Logic
4 International Journal of Foundations of Computer Science
4 Journal of Combinatorial Optimization
4 RAIRO. Theoretical Informatics and Applications
3 Rocky Mountain Journal of Mathematics
3 Applied Mathematics and Computation
3 Journal of Combinatorial Theory. Series A
3 SIAM Journal on Computing
3 Studia Logica
3 Synthese
3 Journal of Automated Reasoning
3 RAIRO. Informatique Théorique et Applications
3 Computational Complexity
3 Journal of Algebraic Combinatorics
2 Bulletin of the Australian Mathematical Society
2 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
2 Computing
2 Journal of Soviet Mathematics
2 Kybernetika
2 Proceedings of the American Mathematical Society
2 Transactions of the American Mathematical Society
2 Formal Aspects of Computing
2 International Journal of Computational Geometry & Applications
2 Designs, Codes and Cryptography
2 International Journal of Computer Mathematics
2 Linear Algebra and its Applications
2 Expositiones Mathematicae
2 Distributed Computing
2 Annals of Mathematics and Artificial Intelligence
2 International Journal of Number Theory
2 Computer Science Review
1 ACM Computing Surveys
1 Archive for History of Exact Sciences
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Linear and Multilinear Algebra
1 Periodica Mathematica Hungarica
1 ACM Transactions on Database Systems
1 Advances in Mathematics
1 Archiv der Mathematik
1 Information Sciences
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series B
1 Journal of Graph Theory
1 Linguistics and Philosophy
1 Manuscripta Mathematica
1 Mathematica Slovaca
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Semigroup Forum
1 SIAM Journal on Numerical Analysis
1 European Journal of Combinatorics
1 Journal of Information & Optimization Sciences
1 Ergodic Theory and Dynamical Systems
1 SIAM Journal on Algebraic and Discrete Methods
1 Journal of Symbolic Computation
1 Computers & Operations Research
1 SIAM Journal on Discrete Mathematics
1 Real-Time Systems
1 Bulletin of the American Mathematical Society. New Series
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Mathematical Programming. Series A. Series B
1 Indagationes Mathematicae. New Series
1 Formal Methods in System Design
1 Journal de Théorie des Nombres de Bordeaux
1 Economic Theory
1 Discussiones Mathematicae. Graph Theory
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Erkenntnis
1 Journal of the Australian Mathematical Society
1 Sādhanā
1 Natural Computing
1 ACM Transactions on Computational Logic
1 Bulletin of the American Mathematical Society
1 Groups, Complexity, Cryptology
1 The Review of Symbolic Logic
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Logical and Algebraic Methods in Programming
1 Journal de l’École Polytechnique – Mathématiques

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.