Travelled to:
1 × Finland
1 × Greece
1 × Italy
1 × The Netherlands
1 × USA
Collaborated with:
C.F.Slot L.Torenvliet T.M.V.Janssen ∅ J.Zwiers W.P.d.Roever
Talks about:
function (2) space (2) class (2) hash (2) reconstruct (1) proofsystem (1) dereferenc (1) comparison (1) treatment (1) referenc (1)
Person: Peter van Emde Boas
DBLP: Boas:Peter_van_Emde
Facilitated 1 volumes:
Contributed to:
Wrote 5 papers:
- ICALP-1985-ZwiersRB #composition #concurrent #network
- Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem (JZ, WPdR, PvEB), pp. 509–519.
- STOC-1984-SlotB #on the #performance
- On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space (CFS, PvEB), pp. 391–400.
- VLDB-1983-TorenvlietB #optimisation #re-engineering
- The Reconstruction and Optimization of Trie Hashing Functions (LT, PvEB), pp. 142–156.
- ICALP-1977-JanssenB #on the
- On the Proper Treatment or Referencing, Dereferencing and Assignment (TMVJ, PvEB), pp. 282–300.
- ICALP-1972-Boas #comparison #complexity
- A Comparison of the Properties of Complexity Classes and Honesty Classes (PvEB), pp. 391–396.