- 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
- 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
- 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-142Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 IIResearch output: Contribution to journal › Journal article › Research › peer-review
- 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
- Published
Performance engineering case study: Heap construction
Bojesen, J., Katajainen, J. & Spork, M., 2000, In: The ACM Journal of Experimental Algorithmics. 5, p. article 15Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- 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
- 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
- Published
Smoothing images creates corners
Sporring, Jon, Olsen, O. F., Nielsen, Mads & Weickert, J., 2000, In: Image and Vision Computing. 18, 3, p. 261-266Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- 2001
- Published
A direct approach to control-flow sensitive region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
A randomized in-place algorithm for positioning the kTL element in a multiset. CPH STL Report 2001-13
Katajainen, J. & Pasanen, T., 2001, http://www.cphstl.dk, 11 p.Research output: Working paper › Research
- Published
An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244
Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computing Optic Flow by Scale-Space Integration of Normal Flow
Steenstrup Pedersen, Kim & Nielsen, Mads, 2001, Proceedings of DSAGM'01, Den 10. Danske Konference om Mønstergenkendelse og Billedanalyse. p. 124-135 (DIKU teknisk rapport; No. 01-04).Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Contextual Design som Grundlag for Systemudviklings- og HCI-undervisning
Frøkjær, Erik, 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium. DAIMI, Århus Universitet: DAIMI PB-555, p. 23-24Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
Experiences with the design and implementation of space-efficient deques: Lecture Notes in Computer Science, Vol. 2141
Katajainen, J. & Mortensen, B. B., 2001, Proceedings of the 5th Workshop on Algorithm Engineering. Springer, p. 39-50Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Experiences with the design and implementation of space-efficient deques, CPH STL Report 2001-7
Katajainen, J. & Mortensen, B. B., 2001, http://www.cphstl.dk, 47 p.Research output: Working paper › Research
- Published
Feature-space clustering for fMRI meta-analysis: Human Brain Mapping
Goutte, C., Hansen, L. K., Liptrot, M. G. & Rostrup, Egill, 2001, In: Human Brain Mapping. 13, 3, p. 165-183 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Instructions to use DIKU style files, CPH STL Report 2001-1
Katajainen, J. & Raatikainen, K. E. E., 2001, http://www.cphstl.dk, 7 p.Research output: Working paper › Research
- Published
Interchanging two segments of an array in a hierarchical memory system
Bojesen, J. & Katajainen, J., 2001, Ikke angivet. Springer, p. 159--170Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Markovian domain fingerprinting: statistical segmentation of protein sequences
Bejerano, G., Seldin, Yevgeny, Tishby, N. & Margalit, H., 2001, In: Bioinformatics.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Proceedings fra den 10. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 01/04
Olsen, Søren Ingvor (ed.), 2001, Datalogisk Institut, Københavns Universitet. 166 p.Research output: Book/Report › Report › Research
- Published
Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces
Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. p. 293-301Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces
Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, p. 293-300Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Research proposal: Software tools for program library development, CPH STL Report 2001-15
Katajainen, J., 2001, http://www.cphstl.dk, 7 p.Research output: Working paper › Research
- Published
Unsupervised sequence segmentation by a mixture of variable memory length Markov sources
Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Vejen mod en journalistisk renæssance
Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication
- Published
Structural characterisation of multilayer lipid bilayer by small-angel neutron and X-ray scattering
Ishoy, T., Lemmich, J., Ipsen, J., Honger, T., Petersen, Jens, Kharkar, J., Nylander, T., Mortensen, Kell, Bauer, R. & Mouritsen, Ole G., 1 Jan 2001, In: Biophysical Society. Annual Meeting. Abstracts. 80, 1, p. 522A-522AResearch output: Contribution to journal › Journal article › Research › peer-review
- Published
Recidiv og overlevelse efter konventionel lav anterior resektion for cancer recti
Bülow, S., Moesgaard, F. A., Crone, P. O., Gandrup, P., Holm, J., Kronborg, O., Hemmert-Lund, H., Myrhøj, T., Petersen, René Horsleben, Qvist, N., Raskov, H. H. & Thomsen, H., 2 Jul 2001, In: Ugeskrift for Laeger. 163, 27, p. 3793-7 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Opfølgning af børn født med medfødt toxoplasmose
Andersen, Ove, Fledelius, H. C., Fuchs, Helle Josefine, Høgh, Birthe, Petersen, E. & Schmidt, D. R., 5 Nov 2001, In: Ugeskrift for Laeger. 163, 45, p. 6292Research output: Contribution to journal › Journal article › Research › peer-review
- 2002
- Published
A randomized in-place algorith for positioning the k\'th element in a multiset
Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, p. 408-417Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An Exact Algorithm for the Uniformly-Oriented Steiner Tree Problem
Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proceedings of the 10-th European Symposium on Algorithms, Lecture Notes in Computer Science 2461. Springer, Vol. 2461. p. 760-771Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Evaluating User Interfaces with Metaphors of Human Thinking
Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, p. 533-544Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Geometric Steiner Tree Problems
Winter, Pawel & Zachariasen, M., 2002, Proc. of IV ALIO/EURO Workshop on Applied Combinatorial Optimization. Pucon, Chile, p. 137-140Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Growth and Motion in 3D Medical Images
Sporring, Jon, Niessen, W. & Weickert, J., 2002, København: 3DLab., School of Dentistry, University of Copenhagen.Research output: Book/Report › Anthology › 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 -
6258
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
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review