Department of Computer Science

Read more
101 - 125 out of 1,704Page size: 25
  1. 1999
  2. Published

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

    Research output: Contribution to journal › Journal article › Research › peer-review

  3. 2000
  4. Published

    Amanda - og problemerne med Statens IT-projekter

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

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  5. Published

    An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage

    Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Asymptotically efficient in-place merging

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Published

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

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

    Research output: Book/Report › Book › Research

  8. Published

    Block Truncation and planar image coding, Vol.21, no.13-14

    Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  9. Published

    Efficient first order functional program interpreter with time bound certifications

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

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  10. Published

    Exact Algorithms for Plane Steiner Tree Problems: A Computational Study

    Warme, D. M., Winter, Pawel & Zachariasen, M., 2000, Advance in Steiner Trees. Kluwer Academic Publishers, p. 81-116

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  11. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

    Research output: Contribution to journal › Journal article › Research › peer-review

  12. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  13. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  14. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  15. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  16. Published

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

    Research output: Contribution to journal › Journal article › Research › peer-review

  17. Published

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  18. Published

    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, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journal › Journal article › Research › peer-review

  19. Published

    Maintaining center and median in dynamic trees

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  20. Published

    Performance engineering case study: Heap construction

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  21. Published

    Philosophical Locations in Scientific and Scholarly Activity

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

    Research output: Book/Report › Book › Research

  22. Published

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

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

    Research output: Working paper › Research

  23. Published

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

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

    Research output: Book/Report › Book › Research › peer-review

  24. Published

    Short Trees in Polygons, DIKU-rapport 00/02

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

    Research output: Book/Report › Report › Research

  25. Published

    Smoothing images creates corners

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  26. Published

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

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

    Research output: Working paper › Research

  27. Published

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...69 Next