- 2003
- Published
Linear Types for Cashflow Reengineering
Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Metaphors of Human Thinking: A New Tool in User Interface Design and Evaluation
Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of INTERACT 2003 IFIP TC 13. IOS Press, p. 781-784Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Metaphors-of-Human-Thinking Technique for Usability Evaluation Compared to Heuristic Evaluation and Cognitive Walkthrough
Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. 98 ed. Roskilde: University of Roskilde, p. 4Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- 2004
- Published
A Denotational Account of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A New Paradigm for General Architecture Routing
Paluszewski, M., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the 14th ACM Great Lakes Symposium on VLSI. New York, NY, USA: Association for Computing Machinery, p. 202-207Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Asymmetry quantization and application to human mandibles
Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. p. 274-282 (Medical Imaging 2004: Image Processing, Vol. 5370).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Ballet Balance Strategies
Pedersen, C., Erleben, Kenny & Sporring, Jon, 2004, Proceedings of SIMS 2004. Technical University of Copenhagen, p. 323-330Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Flexibility of Steiner trees in uniform orientation metrics
Brazil, M., Winter, Pawel & Zachariasen, M., 2004, Proc. of the 15th International Symposium, ISAAC. Springer, p. 196-205 10 p. (Lecture notes in computer science; No. 3341).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen
Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183Research 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 -
6259
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
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