- 1999
- 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-221Research output: Contribution to journal › Journal article › Research › peer-review
- 2000
- Published
Amanda - og problemerne med Statens IT-projekter
Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- 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 IIResearch output: Contribution to journal › Journal article › Research › peer-review
- Published
Asymptotically efficient in-place merging
Geffert, V., Katajainen, J. & Pasanen, T., 2000, In: Theoretical Computer Science. 237, 1-2, p. 159-181Research output: Contribution to journal › Journal article › Research › peer-review
- 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
Most downloads
-
6947
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6256
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5778
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
VC Set Systems in Minor-free (Di)Graphs and Applications
Research output: Contribution to conference › Paper › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review