Department of Computer Science

  1. 2005
  2. Published

    Goodput analysis of 3G wireless networks supporting m-health services

    Bults, R., Wac, Katarzyna, Van Halteren, A., Nicola, V. & Konstantas, D., 1 Dec 2005, Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005. p. 99-106 8 p. 1458461. (Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. 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 paperResearch

  4. 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 paperResearch

  5. 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 proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Physics-based Animation

    Erleben, Kenny, Sporring, Jon, Henriksen, Knud & Dohlmann, H., 2005, Hingham, Mass.: Charles River Media. 817 p.

    Research output: Book/ReportBookResearchpeer-review

  7. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

    Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).

    Research output: Book/ReportPh.D. thesisResearch

  8. 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-24

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. 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-1386

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  10. 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 proceedingBook chapterResearch

  11. 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-400

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  12. 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-490

    Research output: Contribution to journalJournal articleResearchpeer-review

  13. Published

    Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1

    Katajainen, J., 2005, 37 p.

    Research output: Working paperResearch

  14. Published

    Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5

    Katajainen, J., 2005, 9 p.

    Research output: Working paperResearch

  15. 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-43

    Research output: Contribution to journalJournal articleResearchpeer-review

  16. Published

    Abaris: Evaluating automated capture applied to structured autism interventions

    Kientz, J. A., Boring, S., Abowd, G. D. & Hayes, G. R., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 323-339 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3660 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  17. 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 proceedingArticle in proceedingsResearch

  18. 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 proceedingBook chapterResearch

  19. 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 proceedingBook chapterResearch

  20. 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 proceedingArticle in proceedingsResearchpeer-review

  21. 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-102

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  22. 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 proceedingArticle in proceedingsResearchpeer-review

  23. 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/ReportBookResearch

  24. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2005, Proceedings of WSCG. <Forlag uden navn>, p. 179-186

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  25. 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 journalConference articleResearchpeer-review

  26. Published

    Measurements based performance evaluation of 3G wireless networks supporting m-health services

    Wac, Katarzyna, Bults, R., Van Halteren, A., Konstantas, D. & Nicola, V., 21 Jul 2005, In: Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 176-187 12 p., 19.

    Research output: Contribution to journalConference articleResearchpeer-review

  27. Published

    Towards QoS-awareness of context-aware mobile applications and services

    Wac, Katarzyna, 1 Dec 2005, On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated Int. Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Proceedings. p. 751-760 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3762 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  28. Published

    Two-connected Steiner networks: structural properties

    Winter, Pawel & Zachariasen, M., 2005, In: Operations Research Letters. 33, p. 395-402

    Research output: Contribution to journalJournal articleResearchpeer-review

  29. Published

    Perceptually Relevant and Piecewise Linear Matching of Silhouettes

    Zabulis, X., Sporring, Jon & Orphanoudakis, X., 2005, In: Pattern Recognition. 38, 1, p. 75-93

    Research output: Contribution to journalJournal articleResearchpeer-review

  30. 2004
  31. 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/ReportReportResearch

  32. 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 proceedingArticle in proceedingsResearchpeer-review

  33. 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-263

    Research output: Contribution to journalJournal articleResearchpeer-review

  34. 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-11

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  35. 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-40

    Research output: Contribution to journalJournal articleResearchpeer-review

  36. Published

    Integrity Improvements in Classically Deformable Solids

    Christensen, M., Fleron, A. & Sporring, Jon, 2004

    Research output: Book/ReportReportResearch

  37. 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+183

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  38. Published

    A framework for speeding up priority-queue operations

    Elmasry, A., Jensen, C. & Katajainen, J., 2004, Department of Computer Science, University of Copenhagen, 31 p.

    Research output: Working paperResearch

  39. Published

    Proceedings of SIMS 2004

    Elmegaard, B., Sporring, Jon & Erleben, Kenny, 2004, Denmark: Technical University of Copenhagen. 452 p.

    Research output: Book/ReportAnthologyResearch

  40. 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 proceedingArticle in proceedingsResearchpeer-review

  41. 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 proceedingArticle in proceedingsResearchpeer-review

  42. 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. 8

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  43. 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/ReportReportCommunication

  44. Published

    Virtual Trackballs Revisited

    Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2004, In: IEEE Transactions on Visualization and Computer Graphics. 10, 2, p. 206-216

    Research output: Contribution to journalJournal articleResearchpeer-review

  45. 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 journalJournal articleResearchpeer-review

  46. 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-12

    Research output: Contribution to journalJournal articleResearch

  47. 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-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  48. 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 journalJournal articleResearch

  49. 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-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  50. 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-374

    Research output: Contribution to journalJournal articleResearchpeer-review

  51. Published

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 p.

    Research output: Book/ReportAnthologyResearchpeer-review

  52. 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 journalJournal articleResearchpeer-review