Datalogisk Institut

  1. 2000
  2. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paperForskning

  3. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paperForskning

  4. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paperForskning

  5. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paperForskning

  6. Udgivet

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, s. 10

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportFormidling

  7. Udgivet

    Asymptotically efficient in-place merging

    Geffert, V., Katajainen, J. & Pasanen, T., 2000, I: Theoretical Computer Science. 237, 1-2, s. 159-181

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. 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

  9. 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

  10. Udgivet

    Efficient first order functional program interpreter with time bound certifications

    Marion, J. & Moyen, J., 2000, LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Bind 1955. s. 25-42

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  11. Udgivet

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 s.

    Publikation: Bog/antologi/afhandling/rapportBogForskning