- 2000
- 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
- Published
Block Truncation and planar image coding, Vol.21, no.13-14
Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- 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-42Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 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-116Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Glossary for Partial Evaluation and Related Topics
Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Highly flexible nodes in external heaps
Brodal, G. S. & Katajainen, J., 2000.Research output: Working paper › Research
- Published
Highly flexible nodes in external heaps
Brodal, G. S. & Katajainen, J., 2000.Research output: Working paper › Research
- Published
Highly flexible nodes in external heaps
Brodal, G. S. & Katajainen, J., 2000.Research output: Working paper › Research
- Published
Highly flexible nodes in external heaps
Brodal, G. S. & Katajainen, J., 2000.Research output: Working paper › Research
- 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-237Research output: Contribution to journal › Journal article › Research › peer-review
Most downloads
-
6964
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6309
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5800
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Good Days, Bad Days: Understanding the Trajectories of Technology Use During Chronic Fatigue Syndrome
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A generic type system for higher-order Ψ-calculi
Research output: Contribution to journal › Journal article › Research › peer-review
Students’ dynamic communication while transforming mathematical representations in a dynamic geometry environment
Research output: Contribution to journal › Journal article › Research › peer-review