Department of Computer Science

Read more
101 - 200 out of 1,704Page size: 100
  1. 1999
  2. Published

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

    Research output: Contribution to journal › Journal article › Research › peer-review

  3. 2000
  4. Published

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  5. Published

    An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage

    Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Asymptotically efficient in-place merging

    Geffert, V., Katajainen, J. & Pasanen, T., 2000, In: Theoretical Computer Science. 237, 1-2, p. 159-181

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Published

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.

    Research output: Book/Report › Book › Research

  8. Published

    Block Truncation and planar image coding, Vol.21, no.13-14

    Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  9. Published

    Efficient first order functional program interpreter with time bound certifications

    Marion, J. & Moyen, J., 2000, LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Vol. 1955. p. 25-42

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  10. Published

    Exact Algorithms for Plane Steiner Tree Problems: A Computational Study

    Warme, D. M., Winter, Pawel & Zachariasen, M., 2000, Advance in Steiner Trees. Kluwer Academic Publishers, p. 81-116

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  11. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

    Research output: Contribution to journal › Journal article › Research › peer-review

  12. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  13. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  14. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  15. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  16. Published

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

    Research output: Contribution to journal › Journal article › Research › peer-review

  17. Published

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  18. Published

    Lyngby 2.0 - A Modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 2000, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journal › Journal article › Research › peer-review

  19. Published

    Maintaining center and median in dynamic trees

    Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Vol. 1851. p. 46-56 11 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  20. Published

    Performance engineering case study: Heap construction

    Bojesen, J., Katajainen, J. & Spork, M., 2000, In: The ACM Journal of Experimental Algorithmics. 5, p. article 15

    Research output: Contribution to journal › Journal article › Research › peer-review

  21. Published

    Philosophical Locations in Scientific and Scholarly Activity

    Naur, P. & Frøkjær, Erik, 2000, København, http://www.nam.com.

    Research output: Book/Report › Book › Research

  22. Published

    Project proposal: The Copenhagen STL, CPH STL Report 2000-1

    Katajainen, J. & Yde, L., 2000, http://www.cphstl.dk, 5 p.

    Research output: Working paper › Research

  23. Published

    Scale Space Theories in Computer Vision: Second International Conference, Scale Space'99, Corfu, Greece, September 1999; Proceedings

    Nielsen, Mads, 2000, Springer Science+Business Media.

    Research output: Book/Report › Book › Research › peer-review

  24. Published

    Short Trees in Polygons, DIKU-rapport 00/02

    Winter, Pawel & Zachariasen, M., 2000, Datalogisk Institut, Københavns Universitet. 13 p.

    Research output: Book/Report › Report › Research

  25. Published

    Smoothing images creates corners

    Sporring, Jon, Olsen, O. F., Nielsen, Mads & Weickert, J., 2000, In: Image and Vision Computing. 18, 3, p. 261-266

    Research output: Contribution to journal › Journal article › Research › peer-review

  26. Published

    Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11

    Yde, L. & Katajainen, J., 2000, Datalogisk Institut, Københavns Universitet, 14 p.

    Research output: Working paper › Research

  27. Published

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  28. 2001
  29. Published

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  30. Published

    A randomized in-place algorithm for positioning the kTL element in a multiset. CPH STL Report 2001-13

    Katajainen, J. & Pasanen, T., 2001, http://www.cphstl.dk, 11 p.

    Research output: Working paper › Research

  31. Published

    An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

    Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  32. Published

    Computing Optic Flow by Scale-Space Integration of Normal Flow

    Steenstrup Pedersen, Kim & Nielsen, Mads, 2001, Proceedings of DSAGM'01, Den 10. Danske Konference om Mønstergenkendelse og Billedanalyse. p. 124-135 (DIKU teknisk rapport; No. 01-04).

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  33. Published

    Contextual Design som Grundlag for Systemudviklings- og HCI-undervisning

    Frøkjær, Erik, 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium. DAIMI, Århus Universitet: DAIMI PB-555, p. 23-24

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  34. Published

    Experiences with the design and implementation of space-efficient deques: Lecture Notes in Computer Science, Vol. 2141

    Katajainen, J. & Mortensen, B. B., 2001, Proceedings of the 5th Workshop on Algorithm Engineering. Springer, p. 39-50

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  35. Published

    Experiences with the design and implementation of space-efficient deques, CPH STL Report 2001-7

    Katajainen, J. & Mortensen, B. B., 2001, http://www.cphstl.dk, 47 p.

    Research output: Working paper › Research

  36. Published

    Feature-space clustering for fMRI meta-analysis: Human Brain Mapping

    Goutte, C., Hansen, L. K., Liptrot, M. G. & Rostrup, Egill, 2001, In: Human Brain Mapping. 13, 3, p. 165-183 19 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  37. Published

    Instructions to use DIKU style files, CPH STL Report 2001-1

    Katajainen, J. & Raatikainen, K. E. E., 2001, http://www.cphstl.dk, 7 p.

    Research output: Working paper › Research

  38. Published

    Interchanging two segments of an array in a hierarchical memory system

    Bojesen, J. & Katajainen, J., 2001, Ikke angivet. Springer, p. 159--170

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  39. Published

    Markovian domain fingerprinting: statistical segmentation of protein sequences

    Bejerano, G., Seldin, Yevgeny, Tishby, N. & Margalit, H., 2001, In: Bioinformatics.

    Research output: Contribution to journal › Journal article › Research › peer-review

  40. Published

    Proceedings fra den 10. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 01/04

    Olsen, Søren Ingvor (ed.), 2001, Datalogisk Institut, Københavns Universitet. 166 p.

    Research output: Book/Report › Report › Research

  41. Published

    Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. p. 293-301

    Research output: Contribution to journal › Journal article › Research › peer-review

  42. Published

    Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, p. 293-300

    Research output: Contribution to journal › Journal article › Research › peer-review

  43. Published

    Research proposal: Software tools for program library development, CPH STL Report 2001-15

    Katajainen, J., 2001, http://www.cphstl.dk, 7 p.

    Research output: Working paper › Research

  44. Published

    Unsupervised sequence segmentation by a mixture of variable memory length Markov sources

    Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  45. Published

    Vejen mod en journalistisk renæssance

    Indahl, N. G., 2001, Når nettet ændrer verden. Copenhagen: Børsens Forlag, 312 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

  46. Published

    Structural characterisation of multilayer lipid bilayer by small-angel neutron and X-ray scattering

    Ishoy, T., Lemmich, J., Ipsen, J., Honger, T., Petersen, Jens, Kharkar, J., Nylander, T., Mortensen, Kell, Bauer, R. & Mouritsen, Ole G., 1 Jan 2001, In: Biophysical Society. Annual Meeting. Abstracts. 80, 1, p. 522A-522A

    Research output: Contribution to journal › Journal article › Research › peer-review

  47. Published

    Recidiv og overlevelse efter konventionel lav anterior resektion for cancer recti

    Bülow, S., Moesgaard, F. A., Crone, P. O., Gandrup, P., Holm, J., Kronborg, O., Hemmert-Lund, H., Myrhøj, T., Petersen, René Horsleben, Qvist, N., Raskov, H. H. & Thomsen, H., 2 Jul 2001, In: Ugeskrift for Laeger. 163, 27, p. 3793-7 5 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  48. Published

    Opfølgning af børn født med medfødt toxoplasmose

    Andersen, Ove, Fledelius, H. C., Fuchs, Helle Josefine, Høgh, Birthe, Petersen, E. & Schmidt, D. R., 5 Nov 2001, In: Ugeskrift for Laeger. 163, 45, p. 6292

    Research output: Contribution to journal › Journal article › Research › peer-review

  49. 2002
  50. Published

    A randomized in-place algorith for positioning the k\'th element in a multiset

    Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, p. 408-417

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  51. Published

    An Exact Algorithm for the Uniformly-Oriented Steiner Tree Problem

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proceedings of the 10-th European Symposium on Algorithms, Lecture Notes in Computer Science 2461. Springer, Vol. 2461. p. 760-771

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  52. Published

    Evaluating User Interfaces with Metaphors of Human Thinking

    Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, p. 533-544

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  53. Published

    Geometric Steiner Tree Problems

    Winter, Pawel & Zachariasen, M., 2002, Proc. of IV ALIO/EURO Workshop on Applied Combinatorial Optimization. Pucon, Chile, p. 137-140

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  54. Published

    Growth and Motion in 3D Medical Images

    Sporring, Jon, Niessen, W. & Weickert, J., 2002, København: 3DLab., School of Dentistry, University of Copenhagen.

    Research output: Book/Report › Anthology › Research

  55. Published

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Ikke angivet. Springer, p. 197-205

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  56. Published

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2002, Proceedings of the 5th Latin Theoretical Informatics Symposium, Lecture Notes in Computer Science 2286. Berlin/Heidelberg: Springer, p. 14

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  57. Published

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Proceedings of the 5th Latin American Symposium on Theoretical Informatics. Springer, p. 197-205

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  58. Published

    Interchanging two segments of an array in a hierarchical memory system

    Bojesen, J. & Katajainen, J., 2002, Proceedings of the 4th International Workshop on Algorithm Engineering. Springer, p. 159-170

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  59. Published

    Metaphors of Human Thinking in HCI: Habit, Stream of Thought, Awareness, Utterances and Knowing

    Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of HF2002 Human Factors Conference, Oz'CHI. ESA and CHISIG, p. 10

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  60. Published

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

    Katajainen, J. & Vitale, F., 2002, Copenhagen. 22 p.

    Research output: Book/Report › Report › Research

  61. Published

    Nettjournalisten

    Indahl, N. G., 2002, 1 ed. Kristiansand: IJ-forlaget. 107 p.

    Research output: Book/Report › Book › Education

  62. Published

    Normalization and Partial Evaluation

    Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, p. 137-192 (Lecture notes in computer science; No. 2395).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education

  63. Published

    NyS 29: Nydanske studier & almen kommunikationsteori

    Henrichsen, P. J. (ed.), Holmen, A. (ed.), Johansen, M. D. (ed.), Perregaard, Bettina (ed.), Scheuer, Jann (ed.), Sletten, I. S. (ed.) & Ulbæk, Ib (ed.), 2002, København: Dansklærerforeningen. 133 p.

    Research output: Book/Report › Book › Research

  64. Published

    NyS 30 : Nydanske studier: Korpuslingvistik

    Henrichsen, P. J. (ed.), Holmen, A. (ed.), Johansen, M. D. (ed.), Perregaard, Bettina (ed.), Scheuer, Jann (ed.), Sletten, I. S. (ed.) & Ulbæk, Ib (ed.), 2002, Akademisk Forlag. 128 p.

    Research output: Book/Report › Book › Research

  65. Published

    On the location of Steiner points in uniformly-oriented Steiner trees

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, In: Information Processing Letters. vol. 83, p. 237-241

    Research output: Contribution to journal › Journal article › Research › peer-review

  66. Published

    Optimal Steiner hull algorithm

    Winter, Pawel, 2002, In: Computational Geometry. 23,2, p. 163-169

    Research output: Contribution to journal › Journal article › Research › peer-review

  67. Published

    Performance tuning an algorithm for compressing relational tables: Lecture Notes in Computer Science, Vol. 2368

    Katajainen, J. & Madsen, J. N., 2002, Proceedings of the 9th Scandinavian workshop on algorithm theory. Springer, p. 398-407

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  68. Published

    Proceeding fra den 11. danske konference om Mønstergenkendelse og Billedanalyse, DIKU-rapport 2002/15

    Olsen, Søren Ingvor (ed.), 2002, Datalogisk Institut, Københavns Universitet. 144 p.

    Research output: Book/Report › Report › Research

  69. Published

    Proceedings of the 2nd Danish HCI Symposium

    Frøkjær, Erik (ed.) & Hornbæk, Kasper (ed.), 2002, København: DIKU. 47 p.

    Research output: Book/Report › Report › Research

  70. Published

    Project performance engineering: final report

    Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, p. 11

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  71. Published

    Reconstruction of Optical Thickness

    Olsen, N. H., Sporring, Jon & Nielsen, Mads, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. Department of Computer Science, University of Copenhagen, p. 114-126

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  72. Published

    Rectiinear Trees Under Rotation and Related Problems: Extended Abstract

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002.

    Research output: Contribution to conference › Paper › Research

  73. Published

    Rectilinear Trees under Rotation

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proc. of 12-th Int. Sym. on Combinatorial Optimization, CO´02. Paris, France, p. 101-101

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  74. Published

    Research proposal: Practical data structures and algorithm

    Katajainen, J. (ed.), 2002, Copenhagen. 6 p.

    Research output: Book/Report › Report › Research

  75. Published

    Roll: A Language for Specifying Die-Rolls

    Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  76. Published

    Short Trees in Polygons

    Winter, Pawel, Zachariasen, M. & Nielsen, J., 2002, In: Discrete Applied Mathematics. vol. 118, p. 55-72

    Research output: Contribution to journal › Journal article › Research › peer-review

  77. Published

    Studying the Utility of Mataphors of Human Thinking in HCI

    Hornbæk, Kasper & Frøkjær, Erik, 2002, Danmark. 3 p.

    Research output: Book/Report › Report › Communication

  78. Published

    Studying the Utility of Metaphors of Human Thinking in HCI

    Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  79. Published

    The Visible Ear: A Digital Image Library of the Temporal Bone

    Sørensen, M. S., Dobrzeniecki, A. B., Larsen, P., Frisch, T., Sporring, Jon & Darvann, T. A., 2002, In: Journal of Oto-Rhino-Laryngology and its related Specialities. 64(6), p. 378-381

    Research output: Contribution to journal › Journal article › Research › peer-review

  80. Published

    Tracking Target and Spiral Waves

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, P. G., 2002, In: Chaos: An Interdisciplinary Journal of Nonlinear Science. 12, 1, p. 16-26

    Research output: Contribution to journal › Journal article › Research › peer-review

  81. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/Report › Report › Research

  82. Published

    Virtual Trackballs Revisited

    Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 ed. Department of Computer Science, University of Copenhagen, p. 114-126

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  83. Published

    Effect of modified ultrafiltration on the inflammatory response in paediatric open-heart surgery: a prospective, randomized study

    Chew, M. S., Christensen, Vibeke Brix, Ravn, H. B., Brandslund, I., Ditlevsen, E., Pedersen, J., Hjortholm, K., Tønnesen, E., Hjortdal, Vibeke Elisabeth & Hansen, O. K., Sep 2002, In: Perfusion. 17, 5, p. 327-33 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  84. 2003
  85. Published

    An extended truth about heaps

    Jensen, C., Katajainen, J. & Vitale, F., 2003, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paper › Research

  86. Published

    Collision Detection of Deformable Volumetric Meshes

    Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (ed.). Charles River Media, p. 51-68

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  87. Published

    Detection and Localization of Random Signals

    Sporring, Jon, Olsen, N. H. & Nielsen, Mads, 2003, Scale Space Methods in Computer Vision: 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings. p. 785-797 (Lecture notes in computer science, Vol. 2695/2003).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  88. Published

    End-Stop Exemplar Based Recognition

    Olsen, Søren Ingvor, 2003, Image Analysis: 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 – July 2, 2003 Proceedings. p. 257-266 (Lecture notes in computer science, Vol. 2749/2003).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  89. Published

    Evaluating User Interface with Metaphors of Human Thinking

    Frøkjær, Erik & Hornbæk, Kasper, 2003, Universal Access. Lecture Notes. 2615 ed. Berlin, Heidelberg: Springer, p. 22

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

  90. Published

    Growth and Motion in 3D Medical Images

    Sporring, Jon (ed.), Niessen, W. (ed.) & Weickert, J. (ed.), 2003, In: IEEE Transactions on Medical Imaging. 22, 6, p. 697-698

    Research output: Contribution to journal › Editorial › Research

  91. 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 proceeding › Book chapter › Research

  92. 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 proceeding › Article in proceedings › Research › peer-review

  93. 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 journal › Journal article › Research › peer-review

  94. 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/Report › Book › Research

  95. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2003

    Research output: Book/Report › Book › Research

  96. 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/Report › Report › Research

  97. 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 proceeding › Report chapter › Research

  98. Published

    Unsupervised segmentation and classification of mixtures of Markovian sources

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

    Research output: Contribution to conference › Paper › Research › peer-review

  99. 2004
  100. 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/Report › Anthology › Research › peer-review

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

  102. 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/Report › Report › Research

  103. 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 proceeding › Book chapter › Research

  104. 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 paper › Research

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

  106. 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 proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...18 Next