Department of Computer Science

  1. 2003
  2. Published

    Linear Types for Cashflow Reengineering

    Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

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

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

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

  4. Published

    Navigation piles with applications to sorting, priority queues, and priority deques

    Katajainen, J. & Vitale, F., 2003, In: Nordic Journal of Computing. Volume 10, p. 238-262

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Proceedings fra den 12. Danske Konference i Mønstergenkendelse og Billedanalyse

    Olsen, Søren Ingvor (ed.), 2003, 03/06 ed. Museum Tusculanum.

    Research output: Book/ReportBookResearch

  6. Published
  7. Published

    Rotationally Optimal Spanning and Steiner Trees in Uniform Orientation Metrics

    Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2003, København: Department of Computer Science, University of Copenhagen.

    Research output: Book/ReportReportResearch

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

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

  9. Published

    Unsupervised segmentation and classification of mixtures of Markovian sources

    Seldin, Yevgeny, Starik, S. & Werman, M., 2003.

    Research output: Contribution to conferencePaperResearchpeer-review

  10. 2004
  11. 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

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

  13. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2004, 08 ed. Department of Computer Science, University of Copenhagen: Datalogisk Institut.

    Research output: Book/ReportReportResearch

  14. 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-207

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

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

  16. 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

  17. Published

    Ballet Balance Strategies

    Pedersen, C., Erleben, Kenny & Sporring, Jon, 2004, Proceedings of SIMS 2004. Technical University of Copenhagen, p. 323-330

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

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

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

  20. 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

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

  22. Published

    Integrity Improvements in Classically Deformable Solids

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

    Research output: Book/ReportReportResearch

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

  24. Published

    Proceedings of SIMS 2004

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

    Research output: Book/ReportAnthologyResearch

  25. 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

  26. 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

  27. 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

Previous 1...4 5 6 7 8 9 10 11 ...68 Next