The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter van Emde Boas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
    Integrating Relational Databases and Constraint Languages. [Citation Graph (5, 0)][DBLP]
    Comput. Lang., 1989, v:14, n:2, pp:63-82 [Journal]
  2. Peter van Emde Boas, R. Kaas, E. Zijlstra
    Design and Implementation of an Efficient Priority Queue. [Citation Graph (3, 0)][DBLP]
    Mathematical Systems Theory, 1977, v:10, n:, pp:99-127 [Journal]
  3. Leen Torenvliet, Peter van Emde Boas
    The Reconstruction and Optimization of Trie Hashing Functions. [Citation Graph (2, 0)][DBLP]
    VLDB, 1983, pp:142-156 [Conf]
  4. Peter van Emde Boas
    Preserving Order in a Forest in Less Than Logarithmic Time and Linear Space. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1977, v:6, n:3, pp:80-82 [Journal]
  5. Leen Torenvliet, Peter van Emde Boas
    Diagonalisation methods in a polynomial setting. [Citation Graph (0, 0)][DBLP]
    Structure in Complexity Theory Conference, 1986, pp:330-346 [Conf]
  6. John Tromp, Peter van Emde Boas
    Associative Storage Modification Machines. [Citation Graph (0, 0)][DBLP]
    Complexity Theory: Current Research, 1992, pp:291-313 [Conf]
  7. Sieger van Denneheuvel, Peter van Emde Boas
    The rule language RL/1. [Citation Graph (0, 0)][DBLP]
    DEXA, 1990, pp:381-387 [Conf]
  8. Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam
    Symbolic computation in RL/1. [Citation Graph (0, 0)][DBLP]
    DEXA, 1991, pp:559-564 [Conf]
  9. Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas
    Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. [Citation Graph (0, 0)][DBLP]
    DEXA, 1993, pp:541-552 [Conf]
  10. Peter van Emde Boas
    Complexity of linear problems. [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:117-120 [Conf]
  11. Peter van Emde Boas
    Preserving Order in a Forest in less than Logarithmic Time [Citation Graph (0, 0)][DBLP]
    FOCS, 1975, pp:75-84 [Conf]
  12. Peter van Emde Boas
    A Comparison of the Properties of Complexity Classes and Honesty Classes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:391-396 [Conf]
  13. Theo M. V. Janssen, Peter van Emde Boas
    On the Proper Treatment or Referencing, Dereferencing and Assignment. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:282-300 [Conf]
  14. Job Zwiers, Willem P. de Roever, Peter van Emde Boas
    Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:509-519 [Conf]
  15. Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas
    Multiple Representations of Dynamic Data Structures. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:437-442 [Conf]
  16. Theo M. V. Janssen, Peter van Emde Boas
    Some Observations on Compositional Semantics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:137-149 [Conf]
  17. Peter van Emde Boas
    Ten Years of Speedup. [Citation Graph (0, 0)][DBLP]
    MFCS, 1975, pp:13-29 [Conf]
  18. Peter van Emde Boas
    The Connection between Modal Logic and Algorithmic Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:1-15 [Conf]
  19. Peter van Emde Boas
    A Semantical Model for Integration and Modularization of Rules. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:78-92 [Conf]
  20. Erik de Haas, Peter van Emde Boas
    Object Oriented Application Flow Graphs and their Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:485-494 [Conf]
  21. Theo M. V. Janssen, Peter van Emde Boas
    The Expressive Power of Intensional Logic in the Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:303-311 [Conf]
  22. Ghica van Emde Boas-Lubsen, Peter van Emde Boas
    Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1998, pp:68-88 [Conf]
  23. Leen Torenvliet, Peter van Emde Boas
    Combined Simplicity and Immunity in Relativized NP. [Citation Graph (0, 0)][DBLP]
    STACS, 1985, pp:339-350 [Conf]
  24. Cees F. Slot, Peter van Emde Boas
    On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:391-400 [Conf]
  25. Zhisheng Huang, Peter van Emde Boas
    Information Acquisition from Multi-agent Resources. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:65-79 [Conf]
  26. Peter van Emde Boas, Jan van Leeuwen
    Move Rules and Trade-Offs in the Pebble Game. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1979, pp:101-112 [Conf]
  27. Edith Spaan, Leen Torenvliet, Peter van Emde Boas
    Nondeterminism fairness and a fundamental analogy. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:37, n:, pp:186-193 [Journal]
  28. Cees F. Slot, Peter van Emde Boas
    On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of Space. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1985, v:21, n:4/5, pp:246-253 [Journal]
  29. Michiel H. M. Smid, Leen Torenvliet, Peter van Emde Boas, Mark H. Overmars
    Two Models for the Reconstruction Problem for Dynamic Data Structures. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:4, pp:131-155 [Journal]
  30. Cees F. Slot, Peter van Emde Boas
    The Problem of Space Invariance for Sequential Machines [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:77, n:2, pp:93-122 [Journal]
  31. Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas
    Maintaining Multiple Representations of Dynamic Data Structures [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:83, n:2, pp:206-233 [Journal]
  32. Leen Torenvliet, Peter van Emde Boas
    Simplicity, Immunity, Relativizations and Nondeterminism [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:80, n:1, pp:1-17 [Journal]
  33. Ghica van Emde Boas, Peter van Emde Boas
    Storing and Evaluating Horn-Clause Rules in a Relational Database. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1986, v:30, n:1, pp:80-92 [Journal]
  34. Peter van Emde Boas
    On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector Determination. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:3, pp:132-136 [Journal]
  35. Peter van Emde Boas
    Space Measures for Storage Modification Machines. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:30, n:2, pp:103-110 [Journal]
  36. Andries E. Brouwer, Peter van Emde Boas
    A Note on `Master Keys for Group Sharing'. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1982, v:14, n:1, pp:12-14 [Journal]
  37. Harry Buhrman, Leen Torenvliet, Peter van Emde Boas
    Twenty Questions to a P-Selector. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:48, n:4, pp:201-204 [Journal]
  38. C. T. M. Jacobs, Peter van Emde Boas
    Two Results on Tables. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:22, n:1, pp:43-48 [Journal]
  39. Peter van Emde Boas, Paul M. B. Vitányi
    A note on the recursive enumerability of some classes of recursively enumerable languages. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1978, v:14, n:1, pp:89-91 [Journal]
  40. Peter van Emde Boas
    Problems. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1991, v:12, n:1, pp:183-185 [Journal]
  41. Peter van Emde Boas
    Problems. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1991, v:12, n:4, pp:700-703 [Journal]
  42. Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
    The STO-Problem is NP-Hard. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:5, pp:489-495 [Journal]
  43. Peter van Emde Boas
    Some Applications of the McCreight-Meyer Algorithm in Abstract Complexity Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1978, v:7, n:, pp:79-98 [Journal]
  44. S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
    Theory of Computation at CiE 2005. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2007, v:41, n:1, pp:1-2 [Journal]

  45. Playing Savitch and Cooking Games. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002