Datalogisk Institut

  1. 2000
  2. Udgivet

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, s. 128-142

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Lyngby 2.0 - A Modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 2000, I: NeuroImage. 11, 5 PART II

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Maintaining center and median in dynamic trees

    Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Bind 1851. s. 46-56 11 s. (Lecture notes in computer science).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    Performance engineering case study: Heap construction

    Bojesen, J., Katajainen, J. & Spork, M., 2000, I: The ACM Journal of Experimental Algorithmics. 5, s. article 15

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    Philosophical Locations in Scientific and Scholarly Activity

    Naur, P. & Frøkjær, Erik, 2000, København, http://www.nam.com.

    Publikation: Bog/antologi/afhandling/rapportBogForskning

  7. Udgivet

    Project proposal: The Copenhagen STL, CPH STL Report 2000-1

    Katajainen, J. & Yde, L., 2000, http://www.cphstl.dk, 5 s.

    Publikation: Working paperForskning

  8. Udgivet

    Scale Space Theories in Computer Vision: Second International Conference, Scale Space'99, Corfu, Greece, September 1999; Proceedings

    Nielsen, Mads, 2000, Springer Science+Business Media.

    Publikation: Bog/antologi/afhandling/rapportBogForskningfagfællebedømt

  9. Udgivet

    Short Trees in Polygons, DIKU-rapport 00/02

    Winter, Pawel & Zachariasen, M., 2000, Datalogisk Institut, Københavns Universitet. 13 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  10. Udgivet

    Smoothing images creates corners

    Sporring, Jon, Olsen, O. F., Nielsen, Mads & Weickert, J., 2000, I: Image and Vision Computing. 18, 3, s. 261-266

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  11. Udgivet

    Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11

    Yde, L. & Katajainen, J., 2000, Datalogisk Institut, Københavns Universitet, 14 s.

    Publikation: Working paperForskning