Department of Computer Science

Read more
1501 - 1699 out of 1,699Page size: 500
  1. 2004
  2. 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

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

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

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

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

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

  8. 2003
  9. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

  23. 2002
  24. 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

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

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

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

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

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

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

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

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

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

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

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

  36. Published

    Nettjournalisten

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

    Research output: Book/Report › Book › Education

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

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

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

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

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

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

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

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

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

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

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

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

  49. Published

    Research proposal: Practical data structures and algorithm

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

    Research output: Book/Report › Report › Research

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

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

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

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

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

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

  56. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/Report › Report › Research

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

  58. 2001
  59. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  79. 2000
  80. 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

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

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

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

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

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

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

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

  88. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  89. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  90. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

  91. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paper › Research

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

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

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

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

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

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

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

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

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

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

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

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

  104. 1999
  105. Published

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

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

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

  106. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

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

  107. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14

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

  108. Published

    Basics of Compiler Design, Kursusbog 5 Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.

    Research output: Book/Report › Book › Education

  109. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.

    Research output: Book/Report › Book › Education

  110. Published

    Block Truncation and Planar Image Coding

    Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, p. 75-81

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

  111. Published

    Block Truncation and Planar Image Coding

    Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, p. 569-575

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

  112. Published

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.

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

  113. Published

    Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1999, In: Algorithmica. Vol.25, p. 418-437

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

  114. Published

    Distance-based Classification Methods

    Ekin, O., Hammer, P. L., Kogan, A. & Winter, Pawel, 1999, In: INFOR, Canadian OR Society. Vol.37, p. 337-352

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

  115. Published

    Do Thematic Maps Improve Information Retrieval? Human-Computer Interaction-INTERACT '99

    Hornbæk, Kasper & Frøkjær, Erik, 1999, 13 International Conference on Human-Computer Interaction. IOS Press, IFIP TC. 13, p. 179-186

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

  116. Published

    Exact Solution to Large-scale Plane Steiner Tree Problems

    Warme, D. M., Winter, Pawel & Zachariasen, M., 1999.

    Research output: Working paper › Research

  117. Published

    Fagfolks dokumentationsarbejde og informationshåndtering

    Frøkjær, Erik, Perstrup, K. & Hornbæk, Kasper, 1999, Viden Om, Særnummer om eksperimentelle søgemetoder, April. Dansk Biblioteks Center, p. 15-19

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

  118. Published

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

  119. Published

    Obstacle-avoiding Euclidean Steiner Trees in the Plane: An Exact Algorithm

    Zachariasen, M. & Winter, Pawel, 1999, publisher. Springer, p. 282-295

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

  120. Published

    Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

    Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

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

  121. Published

    Prediction of Usability: Comparing Method Combinations

    Frøkjær, Erik & Lárusdóttir, M., 1999, Managing Information Technology Resources in Organizations in the Next Millenium, Information Resources Management Association International Conference (IRMA). Idea Group Publishing, p. 248-257

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

  122. Published

    The Hausdorff Dimension and Scale-Space Normalization of 'Natural Images'

    Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.

    Research output: Contribution to conference › Conference abstract for conference › Research

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

  124. 1998
  125. Published

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

    Yamagchii, K., Lassen, Anders & Ring, P., 17 Sep 1998.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  126. Published

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, Proceedings of 14th International Conference on Pattern Recognition (ICPR 14). p. 652-654

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

  127. Published

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, (Technical Report; No. 1, Vol. 98).

    Research output: Book/Report › Report › Research

  128. Published

    Analysing the dynamics of target and spiral waves by image processing techniques

    Jensen, F. G., Sporring, Jon, Nielsen, Mads & Sørensen, Preben Graae, 1998, (Technical Report; No. 16, Vol. 98).

    Research output: Book/Report › Report › Research

  129. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13

    Research output: Contribution to journal › Journal article › Research

  130. Published

    Architectures of Prototypes and Architectural Prototyping

    Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M., 1998, Proceedings of NWPER'98. p. 247-267 21 p.

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

  131. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338

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

  132. Published

    Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1998, publisher. p. 144-153

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

  133. Published

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627

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

  134. Published

    Direct Routing on Trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).

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

  135. Published

    Exact Algorithms for Plane Steiner Tree Problems: A Computational Study, DIKU-rapport 98/11

    Warme, D. M., Winter, Pawel & Zachariasen, M., 1998, Datalogisk Institut, Københavns Universitet. 34 p.

    Research output: Book/Report › Report › Research

  136. Published

    Inherited Limits

    Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

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

  137. Published

    Normalization for a Subset of Scheme using Type Predicates (Summary)

    Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

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

  138. Published

    Partial evaluation Concepts and Applications

    Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

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

  139. Published

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 p. (DIKU teknisk rapport; No. 5, Vol. 98).

    Research output: Working paper › Research

  140. Published

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, In: A C M / S I G P L A N Notices. 33, 1

    Research output: Contribution to journal › Editorial › Research

  141. Published

    The Evaluator Effect in Usability Tests

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, p. 255-256 2 p.

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

  142. Published

    The evaluator effect in usability studies: Problem detection and severity judgments

    Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, Proceedings of the HFES 42nd Annual Meeting. Santa Monica, CA: Human Factors and Ergonomics Society, p. 1336-1340 5 p.

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

  143. Published

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

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

  144. 1997
  145. Published

    A World Wide Web-based HCI-library Designed for Interaction Studies

    Perstrup, K., Frøkjær, Erik, Konstantinovitz, M., Konstantinovitz, T., Sørensen, F. S. & Varming, J., 1997, Proceedings of the third ERCIM workshop on User Interfaces for All. Villers-les-Nancy, Frankrig: INRIA Lorraine, p. 137-142

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

  146. Published

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

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

  147. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81

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

  148. Published

    Euclidean Steiner Minimum Trees: An Improved Exact Algorithm

    Winter, Pawel & Zachariasen, M., 1997, In: NETWORKS. 30, p. 149-166

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

  149. Published

    Finding cores of limited length

    Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).

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

  150. Published

    Image Point Motion when Zooming and Focusing

    Olsen, Søren Ingvor, 1997, Proceedings of the 10th Scandinavian Conference on Image Analysis. Lappeenranta, Finland: Pattern Recognition Society of Finland, p. 65-70

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

  151. Published

    Minimizing diameters of dynamic trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).

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

  152. Published

    Optimal on-line decremental connectivity in trees

    Alstrup, Stephen, Secher, J. P. & Spork, M., 1997, In: Information Processing Letters. 64, 4, p. 161-164 4 p.

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

  153. Published

    The Complexity of Subtype Entailment for Simple Types

    Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361

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

  154. Published

    The Managerial Challenges in the Transformation of the Danish Geodata Sector

    Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305

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

  155. 1996
  156. Published

    Structure of casein micelles studied by small-angle neutron scattering

    Hansen, S., Bauer, R., Lomholt, S., Quist, K., Pedersen, Johan & Mortensen, Kell, 1 Feb 1996, In: European Biophysics Journal. 24, 3, p. 143-147

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

  157. Published

    Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process

    Hertzum, M. & Frøkjær, Erik, 1996, In: ACM Transactions on Computer Human Interaction. 3, 2, p. 136-161 26 p.

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

  158. Published

    Distance-based classification methods

    Winter, Pawel, Ekin, O., Hammer, P. L. & Kogan, A., 1996, Rutgers: Rutgers University.

    Research output: Book/Report › Report › Research

  159. Published

    Image Point Motion when Zooming and Focusing

    Olsen, Søren Ingvor, 1996, Proceedings fra Den Femte Danske Konference om Mønstergenkendelse og Billedanalyse. Københavns Universitet: Museum Tusculanum, p. 161-169

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

  160. Published

    Large Euclidean Steiner minimum trees in an hour

    Winter, Pawel & Zachariasen, M., 1996, Datalogisk Institut, Københavns Universitet.

    Research output: Book/Report › Report › Research

  161. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  162. 1995
  163. Published

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

  164. Published

    Binocular dense depth reconstruction using isotropy constraint

    Nielsen, Mads & Deriche, R., 1995, In: Theory and Applications of Image Processing IIG. Borgefors, Ed. p. 127-140 14 p.

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

  165. Published

    Calibration of an agile camera

    Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

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

  166. Published

    Computer Support for Document Management in the Danish Central Government

    Hertzum, M., 1995, In: Information Infrastructure and Policy. 4, 2, p. 107-129 23 p.

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

  167. Published

    Digital Billedbehandling

    Olsen, Søren Ingvor, 1995, Den Store Danske Encyklopædi. København: Gyldendal

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

  168. Published

    Direct estimation of Time To Contact

    Sporring, Jon & Nielsen, Mads, 1995, Proceedings fra Den Fjerde Danske Konference om Mønstergenkendelse og Billedanalyse. DIKU, p. 192-202

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

  169. Published

    Direct estimation of Time To Contact

    Sporring, Jon & Nielsen, Mads, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

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

  170. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  171. Published

    Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

    Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.

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

  172. Published

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

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

  173. 1994
  174. Published

    Immune responses to band 3 neoantigens on Plasmodium falciparum-infected erythrocytes in subjects living in an area of intense malaria transmission are associated with low parasite density and high hematocrit value

    Høgh, Birthe, Petersen, E., Crandall, I., Gottschau, A. & Sherman, I. W., Oct 1994, In: Infection and Immunity. 62, 10, p. 4362-6 5 p.

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

  175. Published

    Validiteten af et infektionsregistreringssystem.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 28 Feb 1994, In: Ugeskrift for Laeger. 156, 9, p. 1273-1275 3 p.

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

  176. Published

    Computer support for documentation work

    Hertzum, M., 1994, Department of Computer Science, University of Copenhagen.

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

  177. Published

    Information systems development with generic systems

    Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. p. 707-718 12 p.

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

  178. Published

    Privilege and invisibility in the new work order: a reply to Kyng

    Bansler, Jørgen P. & Kraft, P., 1994, In: Scandinavian Journal of Information Systems. 6, 1, p. 97-106 10 p.

    Research output: Contribution to journal › Journal article › Research

  179. Published

    The collective resource approach: The Scandinavian experience

    Kraft, P. & Bansler, Jørgen P., 1994, In: Scandinavian Journal of Information Systems. 6, p. 71-71 1 p.

    Research output: Contribution to journal › Journal article › Research

  180. 1993
  181. Published

    Patienttilfredshed--en undersøgelse af patienters vurdering af behandlingen på en ortopaedkirurgisk afdeling.

    Jensen, P., Haugegaard, L. M., Thomsen, H. & Roikjær, Ole, 20 Dec 1993, In: Ugeskrift for Laeger. 155, 51, p. 4162-4165 4 p.

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

  182. Published

    Classification of clinical falciparum malaria and its use for the evaluation of chemosuppression in children under six years of age in Liberia, west Africa

    Høgh, Birthe, Marbiah, N. T., Petersen, E., Dolopaye, E., Willcox, M., Björkman, A., Hanson, A. P. & Gottschau, A., Aug 1993, In: Acta Tropica. 54, 2, p. 105-15 11 p.

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

  183. Published

    Controlled trial of lambda-cyhalothrin impregnated bed nets and Maloprim chemosuppression to control malaria in children living in a holoendemic area of Sierra Leone, west Africa. Study design and preliminary results

    Petersen, E., Marbiah, N. T., Magbiti, E., Lines, J. D., Maude, G. H., Høgh, Birthe, Curtis, C., Greenwood, B. & Bradley, D., Jul 1993, In: Parassitologia. 35 Suppl, p. 81-5 5 p.

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

  184. Published

    A reappraisal of structured analysis: design in an organizational context

    Bansler, Jørgen P. & Bødker, K., 1993, In: ACM Transactions on Information Systems (TOIS). 11, 2, p. 165-193 29 p.

    Research output: Contribution to journal › Journal article › Research

  185. Published

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

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

  186. Published

    Information Retrieval in a Work Setting: A Case Study of the Documentation Part of Chemists’ Work

    Hertzum, M., 1993, Proceedings of the 16th IRIS Information Systems Research Seminar in Scandinavia. University of Copenhagen, p. 786-798 13 p.

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

  187. Published

    Mandatory voluntarism: negotiating technology in Denmark

    Kraft, P. & Bansler, Jørgen P., 1993, In: Industrial Relations. 32, 3, p. 329-342 14 p.

    Research output: Contribution to journal › Journal article › Research

  188. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia

    Bødker, K., Bansler, Jørgen P., Kensing, Finn, Nørbjerg, J. & Pries-Heje, J., 1993, Københavns Universitet.

    Research output: Book/Report › Book › Research

  189. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993

    Bansler, Jørgen P., 1993, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  190. 1992
  191. Published

    Parasitaere sygdomme hos patienter med nedsat immunforsvar. Klinisk billede og diagnose

    Petersen, E., Lebech, M., Højlyng, N., Holten-Andersen, W., Mølbak, Kåre, Høgh, Birthe & Jepsen, S., 7 Sep 1992, In: Ugeskrift for Laeger. 154, 37, p. 2475-80 6 p.

    Research output: Contribution to journal › Review › Research › peer-review

  192. Published

    The effect of splenectomy on immunity to Plasmodium malariae and P. falciparum in a malaria immune donor

    Petersen, E., Høgh, Birthe, Marbiah, N. T. & Hanson, A. P., Mar 1992, In: Tropical Medicine and Parasitology. 43, 1, p. 68-9 2 p.

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

  193. 1991
  194. Published

    Clinical and parasitological studies on malaria in Liberian adults living under intense malaria transmission

    Petersen, E., Høgh, Birthe, Marbiah, N. T., Dolopaie, E., Gottschau, A., Hanson, A. P. & Bjorkman, A., Dec 1991, In: Annals of Tropical Medicine and Parasitology. 85, 6, p. 577-84 8 p.

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

  195. Published

    Plasma, erythrocyte and urine concentrations of chlorproguanil and two metabolites in man after different doses

    Petersen, E., Flachs, H., Høgh, Birthe, Hanson, A. P., Björkman, A. & Hvidberg, E. F., Jun 1991, In: American Journal of Tropical Medicine and Hygiene. 94, 3, p. 199-205 7 p.

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

  196. Published

    Longitudinal study of seroreactivities to Pf155/RESA and its repetitive sequences in small children from a holoendemic area of Liberia

    Björkman, A., Lebbad, M., Perlmann, H., Freeman, T., Høgh, Birthe, Petersen, E., Gille, E., Lindgren, A., Willcox, M. & Hanson, A. P., May 1991, In: Parasite Immunology. 13, 3, p. 301-11 11 p.

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

  197. Published

    Passive immunization of Aotus monkeys with human antibodies to the Plasmodium falciparum antigen Pf155/RESA

    Berzins, K., Perlmann, H., Wåhlin, B., Ekre, H. P., Høgh, Birthe, Petersen, E., Wellde, B., Schoenbechler, M., Williams, J. & Chulay, J., Apr 1991, In: Infection and Immunity. 59, 4, p. 1500-6 7 p.

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

  198. Published

    Differential effect of extracellular calcium on the Na(+)-K+ pump activity in intact polymorphonuclear leucocytes and erythrocytes

    Petersen, René Horsleben, Knudsen, T. & Johansen, T., 11 Feb 1991, In: FEBS Letters. 279, 1, p. 153-6 4 p.

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

  199. Published

    The effect of prophylaxis with chloroquine and proguanil on delayed-type hypersensitivity and antibody production following vaccination with diphtheria, tetanus, polio, and pneumococcal vaccines

    Gyhrs, A., Pedersen, B. K., Bygbjerg, Ib Christian, Henrichsen, J., Heron, I., Petersen, I. & Skinhoj, P., 1991, In: American Journal of Tropical Medicine and Hygiene. 45, 5, p. 613-8 5 p.

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

  200. Published

    The nature of software work. Systems development as labour process

    Bansler, Jørgen P. & Havn, E. C., 1991, In: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. p. 145-153 9 p.

    Research output: Contribution to journal › Journal article › Research

  201. 1990
  202. Published

    Beta2-microglobulin as a prognostic marker for patients with AIDS in Dar es Salaam, Tanzania

    Jorgensen, A. F., Jensen, V. G., Shao, J. F., Maselle, S., Mbaga, I. M., Mwakyusa, D. H., Gotzsche, P. C., Richter, C., Pallangyo, K., Cegielsky, P., Lallinger, G., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 Dec 1990, In: AIDS. 4, 11, p. 1168-1169 2 p.

    Research output: Contribution to journal › Letter › Research › peer-review

  203. Published

    Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases

    Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, Dec 1990, In: International Journal of Legal Medicine (Print). 104, 1, p. 3-7 5 p.

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

  204. Published

    The effect of fusidic acid on Tanzanian patients with AIDS

    Jorgensen, A. F., Mwakyusa, D., Cegielski, P., Gotzsche, P., Hording, M., Lallinger, G., Mbaga, I., Pallangyo, K., Richter, C., Shao, J., Bygbjerg, Ib Christian, Skinhoj, P. & Faber, V., 1 Jan 1990, In: AIDS. 4, 10, p. 1037-1038 2 p.

    Research output: Contribution to journal › Letter › Research › peer-review

  205. Published

    Depth from zooming

    Ma, J. & Olsen, Søren Ingvor, 1990, In: Journal of the Optical Society of America A. 7, 10, p. 1883-1890 8 p.

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

  206. Published

    Systemutveckling-teori och historia i skandinaviskt perspektiv

    Bansler, Jørgen P., 1990, In: Studentlitteratur, Lund.

    Research output: Contribution to journal › Journal article › Research

  207. 1989
  208. Published

    Fire perspektiver på systemudvikling (DIKU rapport 89/15)

    Bansler, Jørgen P. & Clausen, H., 1989, In: Copenhagen: diku tryk.

    Research output: Contribution to journal › Journal article › Research

  209. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  210. Published

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, In: Scandinavian Journal of Information Systems. 1, 1, p. 1 1 p.

    Research output: Contribution to journal › Journal article › Research

  211. Published

    Trade unions and alternative technology in Scandinavia

    Bansler, Jørgen P., 1989, In: New Technology, Work and Employment. 4, 2, p. 92-99 8 p.

    Research output: Contribution to journal › Journal article › Research

  212. 1988
  213. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1988, In: Information Technology and People. 4, 2, p. 117-133 17 p.

    Research output: Contribution to journal › Journal article › Research

  214. 1987
  215. Published

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

    Research output: Book/Report › Book › Research

  216. Published

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  217. 1986
  218. Published

    Concurrent solution of the stereo correspondence problem and the surface reconstruction problem

    Olsen, Søren Ingvor, 1986, Proceedings of the 8th International Conference on Pattern Recognition, CVPR. Paris, p. 1038-1040 3 p.

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

Previous 1 2 3 4 Next