Peter van Emde Boas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

2018

S. Barry Cooper (1943-2015)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. computability, 7(2-3):103-131, 2018. [doi]

2012

Travelling with Dexter KozenPeter van Emde Boas. BIRTHDAY 2012: 342-351 [doi]

Turing Machines for Dummies - Why Representations Do MatterPeter van Emde Boas. sofsem 2012: 14-30 [doi]

In Memoriam Manfred Kudlek (1940-2012)Peter van Emde Boas. eatcs, 108:24-30, 2012. [doi]

2010

The History of the LLL-AlgorithmIonica Smeets, Arjen K. Lenstra, Hendrik Lenstra, László Lovász, Peter van Emde Boas. In Phong Q. Nguyen, Brigitte Vallée, editors, The LLL Algorithm - Survey and Applications. Information Security and Cryptography, pages 1-17, Springer, 2010. [doi]

Playing Savitch and Cooking GamesPeter van Emde Boas. BIRTHDAY 2010: 10-21 [doi]

2007

Theory of Computation at CiE 2005S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas. mst, 41(1):1-2, 2007. [doi]

1998

Compiling Horn-Clause Rules in IBM s Business System 12 and Early Experiment in DeclarativenessGhica van Emde Boas-Lubsen, Peter van Emde Boas. sofsem 1998: 68-88 [doi]

1994

The STO-Problem is NP-HardKrzysztof R. Apt, Peter van Emde Boas, Angelo Welling. JSC, 18(5):489-495, 1994.

Information Acquisition from Multi-agent ResourcesZhisheng Huang, Peter van Emde Boas. tark 1994: 65-79

1993

1992

Associative Storage Modification MachinesJohn Tromp, Peter van Emde Boas. Dagstuhl 1993: 291-313

1991

Physiological modelling using RLFred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas. aime 1991: 198-210 [doi]

Symbolic computation in RL/1Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam. DEXA 1991: 559-564

ProblemsPeter van Emde Boas. jal, 12(1):183-185, 1991.

ProblemsPeter van Emde Boas. jal, 12(4):700-703, 1991.

1990

The rule language RL/1Sieger van Denneheuvel, Peter van Emde Boas. DEXA 1990: 381-387

Machine Models and SimulationPeter van Emde Boas. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 1-66, 1990.

1989

Integrating Relational Databases and Constraint LanguagesMichael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas. Comp. Lang., Syst. \& Struct., 14(2):63-82, 1989.

Multiple Representations of Dynamic Data StructuresMichiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas. ifip 1989: 437-442

Maintaining Multiple Representations of Dynamic Data StructuresMichiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas. iandc, 83(2):206-233, November 1989.

Two Models for the Reconstruction Problem for Dynamic Data StructuresMichiel H. M. Smid, Leen Torenvliet, Peter van Emde Boas, Mark H. Overmars. eik, 25(4):131-155, 1989.

Nondeterminism fairness and a fundamental analogyEdith Spaan, Leen Torenvliet, Peter van Emde Boas. eatcs, 37:186-193, 1989.

Simplicity, Immunity, Relativizations and NondeterminismLeen Torenvliet, Peter van Emde Boas. iandc, 80(1):1-17, January 1989.

Space Measures for Storage Modification MachinesPeter van Emde Boas. ipl, 30(2):103-110, 1989.

1988

The Problem of Space Invariance for Sequential MachinesCees F. Slot, Peter van Emde Boas. iandc, 77(2):93-122, May 1988.

1986

Two Results on TablesC. T. M. Jacobs, Peter van Emde Boas. ipl, 22(1):43-48, 1986.

Diagonalisation methods in a polynomial settingLeen Torenvliet, Peter van Emde Boas. cocoon 1986: 330-346

Storing and Evaluating Horn-Clause Rules in a Relational DatabaseGhica van Emde Boas, Peter van Emde Boas. ibmrd, 30(1):80-92, 1986.

A Semantical Model for Integration and Modularization of RulesPeter van Emde Boas. mfcs 1986: 78-92

1985

On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of SpaceCees F. Slot, Peter van Emde Boas. eik, 21(4/5):246-253, 1985.

Combined Simplicity and Immunity in Relativized NPLeen Torenvliet, Peter van Emde Boas. STACS 1985: 339-350

Compositionality and Concurrent Networks: Soundness and Completeness of a ProofsystemJob Zwiers, Willem P. de Roever, Peter van Emde Boas. icalp 1985: 509-519

1984

On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of SpaceCees F. Slot, Peter van Emde Boas. stoc 1984: 391-400

1983

The Reconstruction and Optimization of Trie Hashing FunctionsLeen Torenvliet, Peter van Emde Boas. VLDB 1983: 142-156 [doi]

1982

A Note on Master Keys for Group Sharing Andries E. Brouwer, Peter van Emde Boas. ipl, 14(1):12-14, 1982.

1981

Some Observations on Compositional SemanticsTheo M. V. Janssen, Peter van Emde Boas. lop 1982: 137-149

1980

On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector DeterminationPeter van Emde Boas. ipl, 10(3):132-136, 1980.

1979

Move Rules and Trade-Offs in the Pebble GamePeter van Emde Boas, Jan van Leeuwen. tcs 1979: 101-112

Complexity of linear problemsPeter van Emde Boas. fct 1979: 117-120

1978

The Connection between Modal Logic and Algorithmic LogicPeter van Emde Boas. mfcs 1978: 1-15

Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity TheoryPeter van Emde Boas. TCS, 7:79-98, 1978.

A note on the recursive enumerability of some classes of recursively enumerable languagesPeter van Emde Boas, Paul M. B. Vitányi. isci, 14(1):89-91, 1978. [doi]

1977

On the Proper Treatment or Referencing, Dereferencing and AssignmentTheo M. V. Janssen, Peter van Emde Boas. icalp 1977: 282-300

The Expressive Power of Intensional Logic in the Semantics of Programming LanguagesTheo M. V. Janssen, Peter van Emde Boas. mfcs 1977: 303-311

Preserving Order in a Forest in Less Than Logarithmic Time and Linear SpacePeter van Emde Boas. ipl, 6(3):80-82, 1977.

Design and Implementation of an Efficient Priority QueuePeter van Emde Boas, R. Kaas, E. Zijlstra. mst, 10:99-127, 1977.

1975

Preserving Order in a Forest in less than Logarithmic TimePeter van Emde Boas. focs 1975: 75-84

Ten Years of SpeedupPeter van Emde Boas. mfcs 1975: 13-29

The non-renameability of honesty classesPeter van Emde Boas. computing, 14(1-2):183-193, 1975. [doi]

1972

A Comparison of the Properties of Complexity Classes and Honesty ClassesPeter van Emde Boas. icalp 1972: 391-396

Sign in or sign up to see more results.

runs on WebDSL

翻译：