- 2004
- 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
Compositional Specification of Commercial Contracts (Technical. report)
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.Research output: Book/Report › Report › Communication
- Published
Flexibility of Steiner Trees in Uniform Orientation Metrics
Brazil, M., Winter, Pawel & Zachariasen, M., 2004, University of Copenhagen, Institute of Computer Science: DIKU. 27 p.Research output: Book/Report › Report › Research
- 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
Input from usability evaluation in the form of problems and redesigns: result from inerviews with developers
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Workshop on Improving the Interplay between Usability Evaluation. and User Interface design, NordiCHI 2004, p. ?Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Integrity Improvements in Classically Deformable Solids
Christensen, M., Fleron, A. & Sporring, Jon, 2004Research output: Book/Report › Report › Research
- Published
Proceedings fra den 13. Danske Konference i Mønstergenkendelse og Billedanalyse
Olsen, Søren Ingvor (ed.), 2004, 04/10 ed. Danmark: Museum Tusculanum. 117 p.Research output: Book/Report › Book › Research
- Published
Proceedings of SIMS 2004
Elmegaard, B., Sporring, Jon & Erleben, Kenny, 2004, Denmark: Technical University of Copenhagen. 452 p.Research output: Book/Report › Anthology › Research
- Published
Reading Patterns and Usability in Visualizations of Electronic Documents
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Research Alert for the TOCHI-paper: The Journal Interactions. 11(1), p. 11-12Research output: Contribution to journal › Journal article › Research
- 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
- Published
Research Alert for Reading Patterns and Usability in Visualizations of Electronic Documents
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Interactions. January + February Vol. XI. 1, p. 11-12Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Rotationally optimal spanning and Steiner trees in uniform orientation metrics
Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2004, In: Computational Geometry: Theory and Applications. 29, p. 251-263Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Space-efficient planar convex hull algorithms
Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2004, In: Theoretical Computer Science. 321, 1, p. 25-40Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Studying usability evaluation to improve its practical utility
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Fourth Danish HCI Research Symposium. ?, p. ?Research output: Contribution to journal › Journal article › Research
- Published
The structure and flexibility of Steiner trees in uniform orientation metrics
Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Two psychology-based Usability Inspection Techniques Studies in a diary Experiment
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: 3rd Nordic Conference on Human-computer Interaction (NordiCHI 2004). p. 3-12Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two-Connected Steiner Networks: Structual Properties
Winter, Pawel & Zachariasen, M., 2004, University of Copenhagen, Insitute of Computer Science: DIKU.Research output: Book/Report › Report › Research
- Published
Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation
Hornbæk, Kasper & Frøkjær, Erik, 2004, In: International Journal of Human-Computer Interaction. 17(3), p. 357-374Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Virtual Trackballs Revisited
Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2004, In: IEEE Transactions on Visualization and Computer Graphics. 10, 2, p. 206-216Research output: Contribution to journal › Journal article › Research › peer-review
- Published
MobiHealth: Ambulant patient monitoring over next generation public wireless networks
Van Halteren, A., Konstantas, D., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Jones, V. & Widya, I., 1 Jan 2004, E-Health: Current Status and Future Trends. IMIA and IOS Press, p. 107-122 16 p. (Studies in Health Technology and Informatics, Vol. 106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
MRI diagnosis of fracture of the scaphoid bone: Impact of a new practice where the images are read by radiographers
Møller, J. M., Larsen, L., Bovin, J., Lausten, G. S., Hasselqvist, M., Jensen, C. M., Ropke, I. & Thomsen, Henrik S., 1 Jul 2004, In: Academic Radiology. 11, 7, p. 724-728 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Segmentation of tumors in magnetic resonance brain images using an interactive multiscale watershed algorithm
Letteboer, M. M. J., Olsen, O. F., Dam, Erik Bjørnager, Willems, P. W. A., Viergever, M. A. & Niessen, W. J., Oct 2004, In: Academic Radiology. 11, 10, p. 1125-38 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Mobile health care over 3G networks: The mobihealth pilot system and service
Wac, Katarzyna, Bults, R., Konstantas, D., Van Halteren, A., Jones, V., Widya, I. & Herzog, R., 2 Nov 2004, p. 71-76. 6 p.Research output: Contribution to conference › Paper › Research › peer-review
- 2005
- Published
Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1
Katajainen, J., 2005, 37 p.Research output: Working paper › Research
- Published
Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5
Katajainen, J., 2005, 9 p.Research output: Working paper › Research
- Published
A Graphical User-Interface and an Image Processing Toolkit for Perl
Karasik, D., Berezin, A., Belman, V. & Sporring, Jon, 2005, In: Software -- Practice and Experience. 35, p. 467-490Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A Multi-Scale Singularity Bounding Volume Hierarchy
Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2005, Proceedings of WSCG. <Forlag uden navn>, p. 179-186Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Area and Volume Restoration in Elastically Deformable Solids
Kelager, M., Fleron, A. & Erleben, Kenny, 2005, In: Electronic Letters on Compuer Vision and Image Analysis (ELCVIA). 5, 3, p. 32-43Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Comparing usability problems and redesign proposal as input to practical systems development
Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions
Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Deferred path heuristic for phylogenetic trees revisited
Nielsen, B. K., Lindgren, S., Winter, Pawel & Zachariasen, M., 2005, Proceedings Of CompBioNets05: Algorithms and Computional Methods for Biochemical and Evolutionary Networks. King's College Publications, p. 75-92 18 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Effect type systems and region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Euclidean TSP between two nested convex obstacles
Abrahamsen, J., Shokoufandeh, A. & Winter, Pawel, 2005, In: Information Processing Letters. 95, p. 370-375Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Exemplar Based Recognition of Visual Shapes
Olsen, Søren Ingvor, 2005, Proceedings fra den 14. Danske Konference i Mønstergenkendelse og Billedanalyse. 05/06 ed. Museum Tusculanum, p. 93-102Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Exemplar Based Recognition of Visual Shapes
Olsen, Søren Ingvor, 2005, Image Analysis. <Forlag uden navn>, p. 852-861 (Lecture notes in computer science, Vol. 3540/2005).Research 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., 2005, In: NETWORKS. 46, p. 142-153Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On the power of structural violations in priority queues
Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 18 p.Research output: Working paper › Research
- Published
OpenTissue - An Open Source Toolkit for Physics-Based Animation
Erleben, Kenny, Sporring, Jon & Dohlmann, H., 2005, ISC / NA-MIC / MICCAI Workshop on Open-Source Software. p. -Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Perceptually Relevant and Piecewise Linear Matching of Silhouettes
Zabulis, X., Sporring, Jon & Orphanoudakis, X., 2005, In: Pattern Recognition. 38, 1, p. 75-93Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Philosophical Locutions in Scientific and Scholarly Activity
Naur, P. & Frøkjær, Erik, 2005, An anatomy of human mental life. Gentofte, Danmark: naur.com publishing, p. -Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Physics-based Animation
Erleben, Kenny, Sporring, Jon, Henriksen, Knud & Dohlmann, H., 2005, Hingham, Mass.: Charles River Media. 817 p.Research output: Book/Report › Book › Research › peer-review
- Published
Proceedings fra den 14. Danske Konference i Mønstergenkendelse og Billedanalyse
Olsen, Søren Ingvor (ed.), 2005, 05/06 ed. Danmark: Museum Tusculanum. 127 p.Research output: Book/Report › Book › Research
- Published
Quasi-interpretations and small space bounds
Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Relaxed weak queues: An alternative to run-relaxed heaps
Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 23 p.Research output: Working paper › Research
- Published
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Semi-Inversion of Guarded Equations
Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Stable, Robust, and Versatile Multibody Dynamics Animation
Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).Research output: Book/Report › Ph.D. thesis › Research
- Published
The Adaptive Thin Shell Tetrahedral Mesh
Erleben, Kenny, Dohlmann, H. & Sporring, Jon, 2005, In: Journal of W S C G. 13, 1, p. 17-24Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Two-connected Steiner networks: structural properties
Winter, Pawel & Zachariasen, M., 2005, In: Operations Research Letters. 33, p. 395-402Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Wireless body area networks for healthcare: The mobihealth project
Van Halteren, A., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Widya, I., Konstantas, D., Jones, V. & Herzog, R., 1 Jan 2005, In: Studies in Health Technology and Informatics. 108, p. 181-193 13 p.Research output: Contribution to journal › Conference article › Research › peer-review
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
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