- 1995
- Published
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 1996
- Published
Image Point Motion when Zooming and Focusing
Olsen, Søren Ingvor, 1996, Proceedings fra Den Femte Danske Konference om Mønstergenkendelse og Billedanalyse. Københavns Universitet: Museum Tusculanum, p. 161-169Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 1997
- Published
A World Wide Web-based HCI-library Designed for Interaction Studies
Perstrup, K., Frøkjær, Erik, Konstantinovitz, M., Konstantinovitz, T., Sørensen, F. S. & Varming, J., 1997, Proceedings of the third ERCIM workshop on User Interfaces for All. Villers-les-Nancy, Frankrig: INRIA Lorraine, p. 137-142Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Finding cores of limited length
Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Image Point Motion when Zooming and Focusing
Olsen, Søren Ingvor, 1997, Proceedings of the 10th Scandinavian Conference on Image Analysis. Lappeenranta, Finland: Pattern Recognition Society of Finland, p. 65-70Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Minimizing diameters of dynamic trees
Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Complexity of Subtype Entailment for Simple Types
Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Managerial Challenges in the Transformation of the Danish Geodata Sector
Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Most downloads
-
6948
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6260
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
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
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