Peter van Emde Boas

57 papers A* 7A 1B 12C 3Journal 25Unranked 7

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	S. Barry Cooper (1943-2015). Comput. 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
2013	B	`ed.`	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 SOFSEM Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack
2012	J	`jnl`	In Memoriam Manfred Kudlek (1940-2012). Bull. EATCS Peter van Emde Boas
2012	—	`conf`	Travelling with Dexter Kozen. Logic and Program Semantics Peter van Emde Boas
2012	B	`conf`	Turing Machines for Dummies - Why Representations Do Matter. SOFSEM Peter van Emde Boas
2010	—	`conf`	Playing Savitch and Cooking Games. Concurrency, Compositionality, and Correctness Peter van Emde Boas
2010	—	`ch.`	The History of the LLL-Algorithm. The LLL Algorithm Ionica Smeets, Arjen K. Lenstra, Hendrik Lenstra, László Lovász, Peter van Emde Boas
2007	J	`jnl`	Theory of Computation at CiE 2005. Theory Comput. Syst. S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
2004	B	`ed.`	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 SOFSEM Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller
1999	A*	`ed.`	Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen
1998	B	`conf`	Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness. SOFSEM Ghica van Emde Boas-Lubsen, Peter van Emde Boas
1994	B	`conf`	Information Acquisition from Multi-agent Resources. TARK Zhisheng Huang, Peter van Emde Boas
1994	J	`jnl`	The STO-Problem is NP-Hard. J. Symb. Comput. Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
1993	J	`jnl`	A survey of the rule language RL/1. J. Comput. Sci. Technol. Sieger van Denneheuvel, Karen L. Kwast, Zhisheng Huang, Peter van Emde Boas
1993	B	`conf`	Object Oriented Application Flow Graphs and their Semantics. MFCS Erik de Haas, Peter van Emde Boas
1993	C	`conf`	Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. DEXA Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas
1993	J	`jnl`	Twenty Questions to a P-Selector. Inf. Process. Lett. Harry Buhrman, Leen Torenvliet, Peter van Emde Boas
1992	—	`conf`	Associative Storage Modification Machines. Complexity Theory: Current Research John Tromp, Peter van Emde Boas
1991	B	`conf`	Physiological modelling using RL. AIME Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas
1991	J	`jnl`	Problems. J. Algorithms Peter van Emde Boas
1991	J	`jnl`	Problems. J. Algorithms Peter van Emde Boas
1991	C	`conf`	Symbolic computation in RL/1. DEXA Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam
1990	—	`ch.`	Machine Models and Simulation. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) Peter van Emde Boas
1990	C	`conf`	The rule language RL/1. DEXA Sieger van Denneheuvel, Peter van Emde Boas
1989	J	`jnl`	Integrating Relational Databases and Constraint Languages. Comput. Lang. Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
1989	J	`jnl`	Maintaining Multiple Representations of Dynamic Data Structures Inf. Comput. Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas
1989	—	`conf`	Multiple Representations of Dynamic Data Structures. IFIP Congress Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas
1989	J	`jnl`	Nondeterminism fairness and a fundamental analogy. Bull. EATCS Edith Spaan, Leen Torenvliet, Peter van Emde Boas
1989	J	`jnl`	Simplicity, Immunity, Relativizations and Nondeterminism Inf. Comput. Leen Torenvliet, Peter van Emde Boas
1989	J	`jnl`	Space Measures for Storage Modification Machines. Inf. Process. Lett. Peter van Emde Boas
1989	J	`jnl`	Two Models for the Reconstruction Problem for Dynamic Data Structures. J. Inf. Process. Cybern. Michiel H. M. Smid, Leen Torenvliet, Peter van Emde Boas, Mark H. Overmars
1988	J	`jnl`	The Problem of Space Invariance for Sequential Machines Inf. Comput. Cees F. Slot, Peter van Emde Boas
1986	B	`conf`	A Semantical Model for Integration and Modularization of Rules. MFCS Peter van Emde Boas
1986	—	`conf`	Diagonalisation methods in a polynomial setting. SCT Leen Torenvliet, Peter van Emde Boas
1986	J	`jnl`	Storing and Evaluating Horn-Clause Rules in a Relational Database. IBM J. Res. Dev. Ghica van Emde Boas, Peter van Emde Boas
1986	J	`jnl`	Two Results on Tables. Inf. Process. Lett. C. T. M. Jacobs, Peter van Emde Boas
1985	A	`conf`	Combined Simplicity and Immunity in Relativized NP. STACS Leen Torenvliet, Peter van Emde Boas
1985	A*	`conf`	Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP Job Zwiers, Willem P. de Roever, Peter van Emde Boas
1985	J	`jnl`	On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of Space. J. Inf. Process. Cybern. Cees F. Slot, Peter van Emde Boas
1984	A*	`conf`	On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space STOC Cees F. Slot, Peter van Emde Boas
1983	A*	`conf`	The Reconstruction and Optimization of Trie Hashing Functions. VLDB Leen Torenvliet, Peter van Emde Boas
1982	J	`jnl`	A Note on 'Master Keys for Group Sharing'. Inf. Process. Lett. Andries E. Brouwer, Peter van Emde Boas
1981	—	`conf`	Some Observations on Compositional Semantics. Logic of Programs Theo M. V. Janssen, Peter van Emde Boas
1980	J	`jnl`	On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector Determination. Inf. Process. Lett. Peter van Emde Boas
1979	B	`conf`	Complexity of linear problems. FCT Peter van Emde Boas
1979	—	`conf`	Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science Peter van Emde Boas, Jan van Leeuwen
1978	J	`jnl`	A note on the recursive enumerability of some classes of recursively enumerable languages. Inf. Sci. Peter van Emde Boas, Paul M. B. Vitányi
1978	J	`jnl`	Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity Theory. Theor. Comput. Sci. Peter van Emde Boas
1978	B	`conf`	The Connection between Modal Logic and Algorithmic Logic. MFCS Peter van Emde Boas
1977	J	`jnl`	Design and Implementation of an Efficient Priority Queue. Math. Syst. Theory Peter van Emde Boas, R. Kaas, E. Zijlstra
1977	A*	`conf`	On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP Theo M. V. Janssen, Peter van Emde Boas
1977	J	`jnl`	Preserving Order in a Forest in Less Than Logarithmic Time and Linear Space. Inf. Process. Lett. Peter van Emde Boas
1977	B	`conf`	The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS Theo M. V. Janssen, Peter van Emde Boas
1975	A*	`conf`	Preserving Order in a Forest in less than Logarithmic Time FOCS Peter van Emde Boas
1975	B	`conf`	Ten Years of Speedup. MFCS Peter van Emde Boas
1975	J	`jnl`	The non-renameability of honesty classes. Computing Peter van Emde Boas
1972	A*	`conf`	A Comparison of the Properties of Complexity Classes and Honesty Classes. ICALP Peter van Emde Boas