Department of Computer Science

  1. 1986
  2. 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 proceedingArticle in proceedingsResearchpeer-review

  3. 1987
  4. Published

    Systemudvikling: teori og historie i skandinavisk perspektiv

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

    Research output: Book/ReportBookResearch

  5. Published

    Syv samtaler om systemarbejde

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

    Research output: Book/ReportBookResearch

  6. 1988
  7. 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 journalJournal articleResearch

  8. 1989
  9. Published

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

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

    Research output: Contribution to journalJournal articleResearch

  10. Published

    Systems development in Scandinavia: Three theoretical schools

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

    Research output: Book/ReportBookResearch

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

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

  13. 1990
  14. 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 journalJournal articleResearchpeer-review

  15. Published

    Systemutveckling-teori och historia i skandinaviskt perspektiv

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

    Research output: Contribution to journalJournal articleResearch

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

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

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

  19. 1991
  20. 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 journalJournal articleResearchpeer-review

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

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

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

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

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

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

  27. 1992
  28. 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 journalJournal articleResearchpeer-review

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

  30. 1993
  31. 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 journalJournal articleResearch

  32. Published

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

    Research output: Contribution to conferencePaperResearchpeer-review

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

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

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

  36. Published
  37. 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 journalJournal articleResearchpeer-review

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

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

  40. 1994
  41. Published

    Computer support for documentation work

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

    Research output: Book/ReportReportResearchpeer-review

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

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

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

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

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

  47. 1995
  48. 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 proceedingBook chapterResearch

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

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

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

  52. Published

    Digital Billedbehandling

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

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

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

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

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

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

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

  58. 1996
  59. 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 journalJournal articleResearchpeer-review

  60. Published

    Distance-based classification methods

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

    Research output: Book/ReportReportResearch

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

  62. Published

    Large Euclidean Steiner minimum trees in an hour

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

    Research output: Book/ReportReportResearch

  63. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paperResearch

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

  65. 1997
  66. 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 proceedingBook chapterResearch

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

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

  69. Published

    Euclidean Steiner Minimum Trees: An Improved Exact Algorithm

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

    Research output: Contribution to journalJournal articleResearchpeer-review

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

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

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

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

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

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

  76. 1998
  77. 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 proceedingArticle in proceedingsResearchpeer-review

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

  79. 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/ReportReportResearch

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

  81. 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 proceedingBook chapterResearchpeer-review

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

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

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

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

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

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

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

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

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

  91. 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 journalEditorialResearch

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

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

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

  95. Published

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

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

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  96. 1999
  97. 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 journalJournal articleResearchpeer-review

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

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

  100. Published

    Basics of Compiler Design, Kursusbog 5 Dat1E

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

    Research output: Book/ReportBookEducation

  101. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

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

    Research output: Book/ReportBookEducation

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

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

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

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

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

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

  108. Published

    Exact Solution to Large-scale Plane Steiner Tree Problems

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

    Research output: Working paperResearch

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

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

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

  112. 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/ReportAnthologyResearchpeer-review

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

  114. Published

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

    Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

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

  116. 2000
  117. 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 proceedingReport chapterCommunication

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

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

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

  121. 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 proceedingReport chapterResearch

  122. 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 proceedingBook chapterResearchpeer-review

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

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

  125. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paperResearch

  126. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paperResearch

  127. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paperResearch

  128. Published

    Highly flexible nodes in external heaps

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

    Research output: Working paperResearch

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

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

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

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

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

  134. Published

    Philosophical Locations in Scientific and Scholarly Activity

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

    Research output: Book/ReportBookResearch

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

  136. 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/ReportBookResearchpeer-review

  137. Published

    Short Trees in Polygons, DIKU-rapport 00/02

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

    Research output: Book/ReportReportResearch

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

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

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

  141. 2001
  142. 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 proceedingReport chapterCommunication

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

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

  145. 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 proceedingConference abstract in proceedingsResearch

  146. 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 proceedingReport chapterCommunication

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

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

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

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

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

  152. Published

    Markovian domain fingerprinting: statistical segmentation of protein sequences

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  153. 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/ReportReportResearch

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

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

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

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

  158. 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 proceedingBook chapterCommunication

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

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

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

  162. 2002
  163. 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 proceedingArticle in proceedingsResearchpeer-review

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

  165. 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 proceedingReport chapterResearch

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

  167. 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/ReportAnthologyResearch

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

  169. 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 proceedingReport chapterCommunication

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

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

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

  173. Published

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

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

    Research output: Book/ReportReportResearch

  174. Published

    Nettjournalisten

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

    Research output: Book/ReportBookEducation

  175. 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 proceedingBook chapterEducation

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

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

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

  179. Published

    Optimal Steiner hull algorithm

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

    Research output: Contribution to journalJournal articleResearchpeer-review

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

  181. 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/ReportReportResearch

  182. 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/ReportReportResearch

  183. Published

    Project performance engineering: final report

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

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

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

  185. Published

    Rectiinear Trees Under Rotation and Related Problems: Extended Abstract

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

    Research output: Contribution to conferencePaperResearch

  186. 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 proceedingReport chapterResearch

  187. Published

    Research proposal: Practical data structures and algorithm

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

    Research output: Book/ReportReportResearch

  188. Published

    Roll: A Language for Specifying Die-Rolls

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

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

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

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

  191. 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 proceedingReport chapterResearch

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

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

  194. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/ReportReportResearch

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

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

  197. 2003
  198. 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 paperResearch

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

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

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

  202. 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 proceedingReport chapterResearch

  203. 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 journalEditorialResearch

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

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

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

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

  208. Published
  209. 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

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

  211. Published

    Unsupervised segmentation and classification of mixtures of Markovian sources

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

    Research output: Contribution to conferencePaperResearchpeer-review

  212. 2004
  213. 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

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

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

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

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

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

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

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

  221. Published

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

    Research output: Book/ReportReportCommunication

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

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

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

  225. Published

    Integrity Improvements in Classically Deformable Solids

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

    Research output: Book/ReportReportResearch

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

  227. Published

    Proceedings of SIMS 2004

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

    Research output: Book/ReportAnthologyResearch

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

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

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

  231. Published

    Rotationally optimal spanning and Steiner trees in uniform orientation metrics

    Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2004, In: Computational Geometry: Theory and Applications. 29, p. 251-263

    Research output: Contribution to journalJournal articleResearchpeer-review

  232. Published

    Space-efficient planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2004, In: Theoretical Computer Science. 321, 1, p. 25-40

    Research output: Contribution to journalJournal articleResearchpeer-review

  233. Published

    Studying usability evaluation to improve its practical utility

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Fourth Danish HCI Research Symposium. ?, p. ?

    Research output: Contribution to journalJournal articleResearch

  234. Published

    The structure and flexibility of Steiner trees in uniform orientation metrics

    Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11

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

  235. Published

    Two psychology-based Usability Inspection Techniques Studies in a diary Experiment

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: 3rd Nordic Conference on Human-computer Interaction (NordiCHI 2004). p. 3-12

    Research output: Contribution to journalJournal articleResearchpeer-review

  236. Published

    Two-Connected Steiner Networks: Structual Properties

    Winter, Pawel & Zachariasen, M., 2004, University of Copenhagen, Insitute of Computer Science: DIKU.

    Research output: Book/ReportReportResearch

  237. Published

    Usability Inspection by Metaphors of Human Thinking Compared to Heuristic Evaluation

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: International Journal of Human-Computer Interaction. 17(3), p. 357-374

    Research output: Contribution to journalJournal articleResearchpeer-review

  238. Published

    Virtual Trackballs Revisited

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  239. Published

    MobiHealth: Ambulant patient monitoring over next generation public wireless networks

    Van Halteren, A., Konstantas, D., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Jones, V. & Widya, I., 1 Jan 2004, E-Health: Current Status and Future Trends. IMIA and IOS Press, p. 107-122 16 p. (Studies in Health Technology and Informatics, Vol. 106).

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

  240. Published

    MRI diagnosis of fracture of the scaphoid bone: Impact of a new practice where the images are read by radiographers

    Møller, J. M., Larsen, L., Bovin, J., Lausten, G. S., Hasselqvist, M., Jensen, C. M., Ropke, I. & Thomsen, Henrik S., 1 Jul 2004, In: Academic Radiology. 11, 7, p. 724-728 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  241. Published

    Segmentation of tumors in magnetic resonance brain images using an interactive multiscale watershed algorithm

    Letteboer, M. M. J., Olsen, O. F., Dam, Erik Bjørnager, Willems, P. W. A., Viergever, M. A. & Niessen, W. J., Oct 2004, In: Academic Radiology. 11, 10, p. 1125-38 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  242. Published

    Mobile health care over 3G networks: The mobihealth pilot system and service

    Wac, Katarzyna, Bults, R., Konstantas, D., Van Halteren, A., Jones, V., Widya, I. & Herzog, R., 2 Nov 2004, p. 71-76. 6 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  243. 2005
  244. Published

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

    Katajainen, J., 2005, 37 p.

    Research output: Working paperResearch

  245. Published

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

    Katajainen, J., 2005, 9 p.

    Research output: Working paperResearch

  246. Published

    A Graphical User-Interface and an Image Processing Toolkit for Perl

    Karasik, D., Berezin, A., Belman, V. & Sporring, Jon, 2005, In: Software -- Practice and Experience. 35, p. 467-490

    Research output: Contribution to journalJournal articleResearchpeer-review

  247. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

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

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

  248. Published

    Area and Volume Restoration in Elastically Deformable Solids

    Kelager, M., Fleron, A. & Erleben, Kenny, 2005, In: Electronic Letters on Compuer Vision and Image Analysis (ELCVIA). 5, 3, p. 32-43

    Research output: Contribution to journalJournal articleResearchpeer-review

  249. Published

    Comparing usability problems and redesign proposal as input to practical systems development

    Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400

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

  250. Published

    Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions

    Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386

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

  251. Published

    Deferred path heuristic for phylogenetic trees revisited

    Nielsen, B. K., Lindgren, S., Winter, Pawel & Zachariasen, M., 2005, Proceedings Of CompBioNets05: Algorithms and Computional Methods for Biochemical and Evolutionary Networks. King's College Publications, p. 75-92 18 p.

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

  252. Published

    Effect type systems and region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

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

  253. Published

    Euclidean TSP between two nested convex obstacles

    Abrahamsen, J., Shokoufandeh, A. & Winter, Pawel, 2005, In: Information Processing Letters. 95, p. 370-375

    Research output: Contribution to journalJournal articleResearchpeer-review

  254. Published

    Exemplar Based Recognition of Visual Shapes

    Olsen, Søren Ingvor, 2005, Proceedings fra den 14. Danske Konference i Mønstergenkendelse og Billedanalyse. 05/06 ed. Museum Tusculanum, p. 93-102

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

  255. Published

    Exemplar Based Recognition of Visual Shapes

    Olsen, Søren Ingvor, 2005, Image Analysis. <Forlag uden navn>, p. 852-861 (Lecture notes in computer science, Vol. 3540/2005).

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

  256. Published

    Flexibility of Steiner trees in uniform orientation metrics

    Brazil, M., Winter, Pawel & Zachariasen, M., 2005, In: NETWORKS. 46, p. 142-153

    Research output: Contribution to journalJournal articleResearchpeer-review

  257. Published

    On the power of structural violations in priority queues

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

    Research output: Working paperResearch

  258. Published

    OpenTissue - An Open Source Toolkit for Physics-Based Animation

    Erleben, Kenny, Sporring, Jon & Dohlmann, H., 2005, ISC / NA-MIC / MICCAI Workshop on Open-Source Software. p. -

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

  259. Published

    Perceptually Relevant and Piecewise Linear Matching of Silhouettes

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  260. Published

    Philosophical Locutions in Scientific and Scholarly Activity

    Naur, P. & Frøkjær, Erik, 2005, An anatomy of human mental life. Gentofte, Danmark: naur.com publishing, p. -

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

  261. Published

    Physics-based Animation

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

    Research output: Book/ReportBookResearchpeer-review

  262. Published

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

    Olsen, Søren Ingvor (ed.), 2005, 05/06 ed. Danmark: Museum Tusculanum. 127 p.

    Research output: Book/ReportBookResearch

  263. Published

    Quasi-interpretations and small space bounds

    Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  264. Published

    Relaxed weak queues: An alternative to run-relaxed heaps

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

    Research output: Working paperResearch

  265. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.

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

  266. Published

    Semi-Inversion of Guarded Equations

    Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.

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

  267. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

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

    Research output: Book/ReportPh.D. thesisResearch

  268. Published

    The Adaptive Thin Shell Tetrahedral Mesh

    Erleben, Kenny, Dohlmann, H. & Sporring, Jon, 2005, In: Journal of W S C G. 13, 1, p. 17-24

    Research output: Contribution to journalJournal articleResearchpeer-review

  269. Published

    Two-connected Steiner networks: structural properties

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  270. Published

    Wireless body area networks for healthcare: The mobihealth project

    Van Halteren, A., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Widya, I., Konstantas, D., Jones, V. & Herzog, R., 1 Jan 2005, In: Studies in Health Technology and Informatics. 108, p. 181-193 13 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  271. Published

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

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

    Research output: Contribution to journalConference articleResearchpeer-review

  272. Published

    Abaris: Evaluating automated capture applied to structured autism interventions

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

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

  273. Published

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

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

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

  274. Published

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

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

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

  275. 2006
  276. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  277. Published

    A Simple Plane Patcher Algorithm

    Erleben, Kenny & Henriksen, Knud, 2006, 06/09 ed. Department of Computer Science, University of Copenhagen.

    Research output: Book/ReportReportResearch

  278. Published

    A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments

    Brønsted, J. R., Hansen, K. M. & Thorup, R., 2006, 6th International Conference on ITS Telecommunications (ITST2006). p. 1145-1150 6 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  279. Published

    An experimental evaluation of navigation piles

    Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  280. Published

    Ballet Balance Strategies

    Pedersen, C., Erleben, Kenny & Sporring, Jon, 2006, In: Simulation (San Diego, Calif.). 14, 8, p. 1135-1142

    Research output: Contribution to journalJournal articleResearchpeer-review

  281. Published

    Diffusion Based Photon Mapping

    Schjøth, L., Olsen, O. F. & Sporring, Jon, 2006, Proceeding of the First International conference on Computer Graphics -- Theory and Applications -- (GRAPP). p. 168-175

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

  282. Published

    Editorial

    Elmegaard, B., Sporring, Jon, Sørensen, K. & Erleben, Kenny, 2006, In: Simulation Modelling Practice and Theory. Proceedings of SIMS 2004. 14, 8, p. 1057-1058

    Research output: Contribution to journalEditorialResearch

  283. Published

    Efficiency of various forms of red-black trees

    Brönnimann, H. & Katajainen, J., 2006.

    Research output: Working paperResearch

  284. Published

    Experimental evaluation of local heaps

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

    Research output: Working paperResearch

  285. Published

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.

    Research output: Book/ReportReportResearch

  286. Published

    Generic algorithm for 0-1 sorting

    Franceschini, G. & Katajainen, J., 2006.

    Research output: Working paperResearch

  287. Published

    Generic algorithm for 0/1-sorting

    Franceschini, G. & Katajainen, J., 2006, 16 p.

    Research output: Book/ReportReportResearch

  288. Published

    Implicit Non-Rigid Shape from Motion

    Olsen, Søren Ingvor, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 92-99

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

  289. Published

    Medical Image Computing and Computer-Assisted Intervention -MICCAI 2006 Part I: 9th international conference , Copenhagen, Denmark, October 1-6, 2006, proceedings, Part I

    Nielsen, Mads (ed.), Sporring, Jon (ed.) & Larsen, R. (ed.), 2006, Springer. 949 p. (Lecture notes in computer science; No. 4190).

    Research output: Book/ReportAnthologyResearch

  290. Published

    Medical Image Computing and Computer-Assisted Intervention -MICCAI 2006 Part II: 9th international conference , Copenhagen, Denmark, October 1-6, 2006, proceedings, Part I

    Larsen, R. (ed.), Nielsen, Mads (ed.) & Sporring, Jon (ed.), 2006, Springer. (Lecture notes in computer science, Vol. 4191).

    Research output: Book/ReportAnthologyResearch

  291. Published

    Preface

    Larsen, R., Nielsen, Mads & Sporring, Jon, 2006, 9th International Conference of Medical Image Computing and Computer-Assisted Intervention (MICCAI). p. V-VI

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  292. Published

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

    Olsen, Søren Ingvor (ed.), 2006, 06/08 ed. Danmark: Museum Tusculanum. 127 p.

    Research output: Book/ReportBookResearch

  293. Published

    Proceedings of SIMS 2004

    Elmegaard, B. (ed.), Sporring, Jon (ed.), Sørensen, K. (ed.) & Erleben, Kenny (ed.), 2006, Elsevier. (Simulation Modelling Practice and Theory; No. 8, Vol. 14).

    Research output: Book/ReportAnthologyResearch

  294. Published

    Proceedings of the 6th STL Workshop

    Katajainen, J. (ed.), 2006, 56 p.

    Research output: Book/ReportBookResearch

  295. Published

    Project practical data structures and algorithms: Final report

    Katajainen, J. (ed.), 2006, 9 p.

    Research output: Book/ReportBookResearch

  296. Published

    Protein structure prediction using tabu search and half-sphere exposure measure

    Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006.

    Research output: Contribution to conferencePosterResearch

  297. Published

    Putting your data structure on a diet (Abstract)

    Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

  298. Published

    Reconstructing protein structure from solvent exposure using tabu search

    Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006, In: Algorithms for Molecular Biology. 1, p. 14

    Research output: Contribution to journalJournal articleResearchpeer-review

  299. Published

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

    Curry, C. D. & Katajainen, J., 2006, International ed. Jyrki Katajainen and Company.

    Research output: Book/ReportBookResearch

  300. Published

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

    Curry, C. D. & Katajainen, J., 2006, Søborg, Danmark: Jyrki Katajainen and Company. 224 p.

    Research output: Book/ReportBookResearch

  301. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

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

  302. Published

    Scan Conversion of Signed Distance Fields

    Erleben, Kenny & Dohlmann, H., 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedbehandling. 06/08 ed. Museum Tusculanum, p. 81-91

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

  303. Published

    Sideways Stepping

    Markussen, B., Sporring, Jon & Erleben, Kenny, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 80-80

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

  304. Published

    Spinal image processing method, involves segmenting image of two vertebrae to obtain data representative of shape and size of vertebrae, and comparing shape and size with predicted unfractured shape and size of vertebrae

    de Bruijne, Marleen, Lund, M., Nielsen, Mads & Pettersen, P., 2006, IPC No. G06T-007/00, Patent No. WO2006087190-A1, 24 Aug 2006, Priority date 16 Feb 2005, Priority No. GB003236

    Research output: Patent

  305. Published

    The Turn - Integration of Information Seeking and Retrieval in Context

    Frøkjær, Erik, 2006, In: Dansk Biblioteksforskning. årgang 1 nr 3, p. 45-48

    Research output: Contribution to journalReviewResearch

  306. Published

    Two new methods for transforming priority queues into double-ended priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-14.

    Research output: Working paperResearch

  307. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-18.

    Research output: Working paperResearch

  308. Published

    Two-tier relaxed heaps: Lecture Notes in Computer Science

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).

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

  309. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

  310. Published

    Visualization of Tooth Eruption in CT-Scans

    Franken, E., Sporring, Jon & Kreiborg, Sven, 2006, International Workshop on Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment: MICCAI 2006 Workshop Proceedings. Darvann, T. A., Hermann, N. V., Larsen, P. & Kreiborg, S. (eds.). IT-Universitetet i København, p. 33-40

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

  311. Published

    What kind of usability-problem description are useful for developers

    Hornbæk, Kasper & Frøkjær, Erik, 2006, Proceedings of the Annual Meeting of Human Factors and Ergonomics Society. p. 2523-2527

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

  312. Published

    QoS-predictions service: Infrastructural support for proactive QoS- and context-a ware mobile services (position paper)

    Wac, Katarzyna, Van Halteren, A. & Konstantas, D., 1 Jan 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerS. Springer Verlag, p. 1924-1933 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4278 LNCS - II).

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

  313. Published

    University of Glasgow at WebCLEF 2005: Experiments in per-field normalisation and language specific stemming

    Macdonald, C., Plachouras, V., He, B., Lioma, Christina & Ounis, I., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4022 LNCS. p. 898-907 10 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  314. Published

    University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier

    Lioma, Christina, Macdonald, C., Plachouras, V., Peng, J., He, B. & Ounis, I., 1 Jan 2006, University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier. (N I S T Special Publication).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  315. Published

    Risikoscore ved operation for medfødt hjertesygdom--sekundaerpublikation

    Larsen, S. H., Pedersen, J., Jacobsen, J., Johnsen, S. P., Hansen, Ole, Sørensen, K. E. & Hjortdal, Vibeke Elisabeth, 6 Feb 2006, In: Ugeskrift for Laeger. 168, 6, p. 584-6 3 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  316. Published

    Phenotype at diagnosis predicts recurrence rates in Crohn's disease

    Wolters, F. L., Russel, M. G., Sijbrandij, J., Ambergen, T., Odes, S., Riis, L., Langholz, Ebbe, Politi, P., Qasim, A., Koutroubakis, I., Tsianos, E., Vermeire, S., Freitas, J., van Zeijl, G., Hoie, O., Bernklev, T., Beltrami, M., Rodriguez, D., Stockbrügger, R. W. & Moum, B., Aug 2006, In: Gut. 55, 8, p. 1124-30 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  317. Published

    SIMS 2004

    Elmegaard, B., Sporring, Jon, Erleben, Kenny & Sørensen, K., Nov 2006, In: Simulation Modelling Practice and Theory. 14, 8, p. 1057-1058 2 p.

    Research output: Contribution to journalEditorialResearchpeer-review

  318. Published

    Mobile health care: Towards a commercialization of research results

    Konstantas, D., Bults, R., Van Halteren, A., Wac, Katarzyna, Jones, V., Widya, I., Herzog, R. & Streimelweger, B., 1 Dec 2006, European Conference on eHealth 2006, Proceedings of the ECEH 2006. p. 155-166 12 p. (European Conference on eHealth 2006, Proceedings of the ECEH 2006).

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

  319. 2007
  320. Published

    Making operations on standard-library containers strongly exception safe

    Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Vol. 07. p. 158-169

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

  321. Published

    Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4

    Katajainen, J., 2007, 39 p.

    Research output: Working paperResearch

  322. Published

    Stronger guarantees for standard-library containers

    Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35

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

  323. Published

    A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery

    Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).

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

  324. Published

    Boneless Pose Editing and Animation

    Bærentzen, J. A., Hansen, K. E. & Erleben, Kenny, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 562-571 (Lecture notes in computer science; No. 4522).

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

  325. Published

    Bounding component sizes of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, In: Information Processing Letters. 104, 5, p. 159-163

    Research output: Contribution to journalJournal articleResearchpeer-review

  326. Published

    Branch and bound algorithm for protein structure prediction  using efficient bounding

    Winter, Pawel, 2007.

    Research output: Contribution to conferencePosterResearch

  327. Published

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  328. Published

    Connecting Practices : ICT Infrastructures to Support Integrated care: Guest Editorial

    Bansler, Jørgen P., 2007, In: International Journal of Integrated Care. 7, p. 1-2 2 p.

    Research output: Contribution to journalEditorialResearch

  329. Published

    Diffusion Based Photon Mapping

    Schjøth, L., Fogh Olsen, O. & Sporring, Jon, 2007, Advances in Computer Graphics and Computer Vision: International conferences, VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006 : revised selected papers. Braz, J., Ranchordas, A., Araújo, H. & Jorge, J. (eds.). Berlin/Heidelberg: Springer, p. 109-122 (Communications in Computer and Information Science; No. 4).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  330. Published

    Editorial: Special Issue on Partial Differential Equations Methods in Graphics and Vision

    Sporring, Jon, 2007, In: Electronic Letters on Computer Vision and Image Analysis. 6, 2, p. 0-0 1 p.

    Research output: Contribution to journalEditorialResearch

  331. Published

    Geometric and Texture Inpainting by Gibbs Sampling

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Proceedings SSBA 2007: Symposium on inage analysis, Linköping, March 14-14, 2007. Borga, M., Brun, A. & Felsberg, M. (eds.). Linköpings Universitet, 4 p. (Institutionen för medicinsk teknik, Universitetet i Linköping; No. LiU-IMT-R-0047).

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

  332. Published

    Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007

    Kjær Ersbøll, B. (ed.) & Steenstrup Pedersen, Kim (ed.), 2007, Berlin / Heidelberg: Springer. 1005 p. (Lecture notes in computer science; No. 4522).

    Research output: Book/ReportBookResearchpeer-review

  333. Published

    Image Inpainting by Cooling and Heating

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Springer, p. 591-600 10 p. (Lecture notes in computer science; No. 4522).

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

  334. Published

    Information bottleneck for non co-occurrence data

    Seldin, Yevgeny, Slonim, N. & Tishby, N., 2007, Advances in Neural Information Processing Systems (NIPS).

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

  335. Published

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Research output: Working paperResearch

  336. Published

    Iterative funktionssystemer

    Sporring, Jon, 2007, Matema10k: Matematik for gymnasiet  : A-niveau. Jensen, T., Jessen, C. & Overgård Nielsen, M. (eds.). København: Frydenlund Academic, Vol. 3. p. 153-154

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

  337. Published

    Kunsten at vejlede et konstruktionsprojekt

    Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

    Research output: Contribution to journalJournal articleResearchpeer-review

  338. Published

    Line-Stepping for Shell Meshes

    Erleben, Kenny & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 472-481 (Lecture notes in computer science; No. 4522).

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

  339. Published

    MICCAI 2006

    Sporring, Jon (ed.), 2007, London: Taylor. 62 p. (Computer Aided Surgery; No. 12 (6)).

    Research output: Book/ReportAnthologyResearch

  340. Published

    MICCAI, Guest editorial

    Sporring, Jon & Hata, N., 2007, In: Journal of Computer-Aided Surgery. 12, 6, p. 309 - 310

    Research output: Contribution to journalEditorialResearch

  341. Published

    Nettjournalisten

    Indahl, N. G., 2007, 2 ed. Kristiansand: IJ-forlaget. 151 p.

    Research output: Book/ReportBookEducation

  342. Published

    On the power of structural violations in priority queues

    Katajainen, J., Elmasry, A. & Jensen, C., 2007, CATS 2007: Proceedings of the 13th Australasian Symposium on Theory of Computing, Ballarat, Victoria, Australia, January 30 - February 2, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, p. 45-53 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

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

  343. Published

    On the relations between monadic semantics

    Filinski, Andrzej, 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75

    Research output: Contribution to journalJournal articleResearchpeer-review

  344. Published

    Photon differentials

    Schjøth, L., Revall Frisvad, J., Erleben, Kenny & Sporring, Jon, 2007, GRAPHITE 2007: Proceedingsof the 5th international conference on computer graphics and interactive techniques in Australia and Southeast Asia, December 1-4, 2007, Perth, Western Austalia. Association for Computing Machinery, p. 179-186

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

  345. Published

    Photon differentials

    Schjøth, L., Frisvad, J. R., Erleben, Kenny & Sporring, Jon, 2007, Proceedings - GRAPHITE 2007, 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia. p. 179-186 8 p. (Proceedings - GRAPHITE 2007, 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia).

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

  346. Published

    Preface

    Kjær Ersbøll, B. & Steenstrup Pedersen, Kim, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Berlin / Heidelberg: Springer, 1 p. (Lecture notes in computer science; No. 4522).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  347. Published

    Processing method for mammogram image of breast involves deriving parameter that changes alongside changes in breast density based on aggregate pixel membership scores of classes

    Raundahl, J., Loog, M., Nielsen, Mads, Brandt, S. S. & Karemore, G., 2007, IPC No. G06K-009/52, Patent No. WO2007090892-A1, 16 Aug 2007, Priority date 10 Feb 2006, Priority No. GB002739

    Research output: Patent

  348. Published

    Putting your data structure on a diet

    Brönnimann, H., Katajainen, J. & Morin, P., 2007.

    Research output: Working paperResearch

  349. Published

    Reconstructing teeth with bite information

    Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).

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

  350. Published

    Salient Point and Scale Detection by Minimum Likelihood

    Steenstrup Pedersen, Kim, Loog, M. & van Dorst, P., 2007, Gaussian processes in practice. Microtome Publishing, p. 59-72 14 p. (JMLR: Workshop and Conference Proceedings; No. 1).

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

  351. Published

    Some structural and geometric properties of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, CATS 2007:  Proceedings of the Thirteenth  Australasian Symposium on Theory of Compting, Ballarat, Victoria, Australia, January 30 - February 02, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, Vol. 65. p. 85-90 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

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

  352. Published

    Special Issue on Partial Differential Equations Methods in Graphics and Vision

    Sporring, Jon (ed.), 2007, Barcelona: Universitat Autonoma de Barcelona. 66 p. (Electronic Letters on Computer Vision and Image Analysis; No. 6(2)).

    Research output: Book/ReportAnthologyResearch

  353. Published

    Three-dimensional scan data analysis method for diagnosis of joint pathology, involves determining measure of three-dimensional local curvature within load bearing area of cartilage, at scale arranged to result in specific measure

    Dam, E. B., Folkesson, J. M., Pettersen, P., Olsen, O. F., Nielsen, Mads & Christiansen, C., 2007, IPC No. G06T-007/00, Patent No. WO2007048463-A1, 3 May 2007, Priority date 24 Oct 2005, Priority No. GB021640

    Research output: Patent

  354. Published

    Using Implicit Skeleton Shape Representations for Volumetric Shell Meshing

    Erleben, Kenny, 2007, København: Museum Tusculanum. 34 p. (Rapport. Datalogisk Institut, Københavns Universitet; No. 07/04).

    Research output: Book/ReportReportResearch

  355. Published

    Using Priors for Improving Generalization in Non-Rigid Structure-from-Motion

    Olsen, Søren Ingvor & Bartoli, A., 2007, British Machine Vision Conference 2007: Proceedings. Rajpoot, N. & Bhalerao, A. (eds.). BMVA, Vol. 1-2. p. 1050-1059

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

  356. Published

    Velocity-based shock propagation for multibody dynamics animation

    Erleben, Kenny, 2007, In: ACM Transactions on Graphics. 26, 2, 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  357. Published

    What is a Sort Function?

    Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  358. Published

    Segmenting articular cartilage automatically using a voxel classification approach

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Pettersen, P. C. & Christiansen, C., Jan 2007, In: IEEE Transactions on Medical Imaging. 26, 1, p. 106-15 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  359. Published

    Random walk term weighting for information retrieval

    Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  360. Published

    Practical regimen for amiodarone use in preventing postoperative atrial fibrillation

    Zebis, L. R., Christensen, T. D., Thomsen, H. F., Mikkelsen, M. M., Folkersen, L., Sørensen, H. T. & Hjortdal, Vibeke Elisabeth, Apr 2007, In: The Annals of Thoracic Surgery. 83, 4, p. 1326-31 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  361. Published

    Context-aware QoS provisioning in an m-health service platform

    Wac, Katarzyna, van Halteren, A. T., Bults, R. G. A. & Broens, T. H. F., 18 May 2007, In: International Journal of Internet Protocol Technology. 2, 2, p. 102-108 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  362. Published

    Towards an application framework for context-aware m-health applications

    Broens, T., van Halteren, A., van Sinderen, M. & Wac, Katarzyna, 18 May 2007, In: International Journal of Internet Protocol Technology. 2, 2, p. 109-116 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  363. Published

    Accuracy evaluation of application-level performance measurements

    Wac, Katarzyna, Arlos, P., Fiedler, M., Chevul, S., Isaksson, L. & Bults, R., 26 Sep 2007, NGI 2007: 2007 Next Generation Internet Networks - 3rd EuroNGI Conference on Next Generation Internet Networks: Design and Engineering for Heterogeneity. p. 1-5 5 p. 4231813. (NGI 2007: 2007 Next Generation Internet Networks - 3rd EuroNGI Conference on Next Generation Internet Networks: Design and Engineering for Heterogeneity).

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

  364. Published

    Accuracy evaluation of automatic quantification of the articular cartilage surface curvature from MRI

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F. & Christiansen, C., Oct 2007, In: Academic Radiology. 14, 10, p. 1221-8 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  365. Published

    Osteoarthritic cartilage is more homogeneous than healthy cartilage: identification of a superior region of interest colocalized with a major risk factor for osteoarthritis

    Qazi, A. A., Dam, Erik Bjørnager, Nielsen, Mads, Karsdal, M. A., Pettersen, P. C. & Christiansen, C., Oct 2007, In: Academic Radiology. 14, 10, p. 1209-20 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  366. Published

    New locus important for Myxococcus social motility and development

    Zhang, C. Y., Cai, K., Liu, H., ZHANG, YONG, Pan, H. W., Wang, B., Wu, Z. H., Hu, W. & Li, Y. Z., Nov 2007, In: Journal of Bacteriology. 189, 21, p. 7937-7941 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  367. Published

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Ersbøll, B. K. & Steenstrup Pedersen, Kim, 1 Dec 2007, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4522 LNCS

    Research output: Contribution to journalEditorialResearchpeer-review

  368. 2008
  369. Published

    A Branch-and-Cut Algorithm for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K., Petersen, B. & Spoorendonk, S., 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 15 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-01).

    Research output: Book/ReportReportResearch

  370. Published

    A Note on the Flow Extended 0-1 Knapsack Cover Inequalities for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K. & Spoorendonk, S., 2008, København: Department of Computer Science, University of Copenhagen. 7 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08/02).

    Research output: Book/ReportReportResearch

  371. Published

    Essays on C++ concepts

    Katajainen, J., 2008, 14 p.

    Research output: Working paperResearch

  372. Published

    Mini-project: Safe standard-library containers

    Katajainen, J., 2008, 2 ed., 6 p.

    Research output: Working paperResearch

  373. Published

    A Study of the Evaluator Effect in Usability Testing

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Human-Computer Interaction. 23, 3, p. 251-277 27 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  374. Published

    Automated Quantification of the Morphological Atherosclerotic Calcification Distribution on X-Rays Is a Strong Predictor of Mortality in Postmenopausal Women

    Christiansen, C., Karsdal, M., Lauze, Francois Bernard, Dam, E., Ganz, Melanie, de Bruijne, Marleen, Sørensen, M., Barascuk, N. & Nielsen, Mads, 2008, In: Arteriosclerosis, Thrombosis, and Vascular Biology. 6, p. e48-e48 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  375. Published

    Basics of Compiler Design

    Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.

    Research output: Book/ReportBookEducation

  376. Published

    Bayes PCA Revisited

    Sporring, Jon, 2008, Department of Computer Science: Museum Tusculanum. 12 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-09).

    Research output: Book/ReportReportResearch

  377. Published

    Bayes reconstruction of missing teeth

    Sporring, Jon & Jensen, K. H., 2008, In: Journal of Mathematical Imaging and Vision. 13, 2-3, p. 245-254

    Research output: Contribution to journalJournal articleResearchpeer-review

  378. Published

    Block Tridiagonal Matrices in Electronic Structure Calculations

    Petersen, D. E., 2008, København: Department of Computer Science, University of Copenhagen. 247 p.

    Research output: Book/ReportPh.D. thesisResearch

  379. Published

    Classifying VAT Legislation for Automation

    Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

    Research output: Contribution to conferencePaperResearch

  380. Published

    Coarse-to-Fine Low-Rank Structure-from-Motion

    Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, Søren Ingvor & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, p. 1-8 8 p.

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

  381. Published

    Comparison of Techniques for Matching of Usability-Problem Descriptions

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Interacting with Computers. 20, 6, p. 505-514

    Research output: Contribution to journalJournal articleResearchpeer-review

  382. Published

    Contour-Based Registration and Retexturing of Cartoon-Like Videos

    Tiilikainen, N., Bartoli, A. & Olsen, Søren Ingvor, 2008, British Machine Vision Conference, BMVC 2008: 1-4 September, 2008, University of Leeds, Proceedings. Everingham, M., Needham, C. J. & Fraile, R. (eds.). BMVA, Vol. 1-2. p. 915-924

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

  383. Published

    Diffusion Based Photon Mapping

    Schjøth, L., Sporring, Jon & Fogh Olsen, O., 2008, In: Computer Graphics Forum. 27, 8, p. 2114-2127 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  384. Published

    EBBA: Efficient Branch and Bound Algorithm for Protein Decoy Generation

    Martin, P. & Winter, Pawel, 2008, Dept. of Computer Science, Univ. of Copenhagen. 24 p.

    Research output: Book/ReportReportResearch

  385. Published

    Field of Particle Filters Image Inpainting

    Cuzol, A., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 147-156 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  386. Published

    FunSETL–Functional Reporting for ERP Systems

    Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

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

  387. Published

    Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

    Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference  on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102

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

  388. Published

    Growth Pattern of Atherosclerotic Calcifications

    Larsen, L. L., Ganz, Melanie, Dam, E., Dandu, N. & Nielsen, Mads, 2008, CVII '08: Second International Workshop on Computer vision for intracardiac and intravascular imaging, held in New York, USA, September 10, 2008 in conjunction with the 11th MICCAI conference. Sabancí Üniversítesí. 34956 Tuzla, Istanbul, p. 63-70

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

  389. Published

    Guessing tangents in normal flows

    Markussen, Bo, Sporring, Jon & Erleben, Kenny, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 195-205 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  390. Published

    Impact of bacteremia on the pathogenesis of experimental pneumococcal meningitis: Journal of Infectious Diseases

    Brandt, C. T., Holm, D., Liptrot, M. G., Østergaard, C., Lundgren, Jens, Frimodt-Møller, N., Skovsted, I. C. & Rowland, I. J., 2008, In: J. Infect. Dis.. 197, 2, p. 235-244 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  391. Published

    Implicit Non-Rigid Structure-from-Motion with Priors

    Olsen, Søren Ingvor & Bartoli, A., 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 233-244

    Research output: Contribution to journalJournal articleResearchpeer-review

  392. Published

    Improving web search transparency by using a Venn diagram interface

    Frøkjær, Erik & Langer, L., 2008, NordCHI 2008: Building Bridges, Proceedings of the 5th Nordic Conference on Human-Computer Interaction, Lund, Sweden, 20-22 October, 2008. Gulz, A., Magnusson, C., Malmborg, L., Eftring, H., Jönsson, B. & Tollmar, K. (eds.). Association for Computing Machinery, p. 249-256 (ACM International Conference Proceedings; No. 358).

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

  393. Published

    In vivo study of experimental pneumococcal meningitis using magnetic resonance imaging: BMC Medical Imaging

    Brandt, C. T., Simonsen, H., Liptrot, M. G., Søgaard, L. V., Lundgren, Jens, Østergaard, C., Frimodt-Møller, N. & Rowland, I. J., 2008, In: BMC Med. Imaging. 8

    Research output: Contribution to journalJournal articleResearchpeer-review

  394. Published

    Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)

    Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 p.

    Research output: Contribution to conferencePaperResearch

  395. Published

    Inverse Kinematics using Quaternions: Graduate project, 7.5 ECTS, Supervisor: Kenny Erleben

    Henriksen, Knud, Erleben, Kenny & Engell-Nørregård, M., 2008, Department of Computer Science: Museum Tusculanum. 22 p.

    Research output: Book/ReportReportResearch

  396. Published

    Making use of business goals in usability evaluation: an experiment with novice evaluators

    Hornbæk, Kasper & Frøkjær, Erik, 2008, CHI 2008: 26th Annual SIGCHI Conference on Human Factors in Computing Systems, April 5-10, 2008, Florence, Italy, Conference Proceedings. Burnett, M., Constabile, M. F., Catarci, T., Ruyter, B. D., Tan, D., Czerwinski, M. & Lund, A. (eds.). Association for Computing Machinery, Vol. 1. p. 903-912 9 p.

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

  397. Published

    Metaphors of Human Thinking for Usability Evaluation and Design

    Frøkjær, Erik & Hornbæk, Kasper, 2008, In: ACM Transactions on Computer Human Interaction. 14, 4, p. Article 20 33 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  398. Published

    Morphological Atherosclerosis Calcification Distribution (MACD) Index is a Strong Predictor of Cardio-Vascular Death and Include Predictive Power of BMD

    Christiansen, C., Karsdal, M., Ganz, Melanie, Dam, E. & Nielsen, Mads, 2008. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  399. Published

    Multi-Scale Natural Images: A database and some statistics

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, Proceedings of 16'th Danish Conference on Pattern Recognition and Image Analysis (DSAGM) 2008. Olsen, S. I. (ed.). Department of Computer Science, University of Copenhagen, 2 p. (DIKU Technical Report; No. 08-10).

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

  400. Published

    Multi-classification by categorical features via clustering

    Seldin, Yevgeny & Tishby, N., 2008, Proceedings of the 25th International Conference on Machine Learning (ICML).

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

  401. Published

    Parallel assessment of the impact of different hormone replacement therapies on breast density by radiologist-and computer-based analyses of mammograms

    Pettersen, P. C., Raundahl, J., Loog, M., Nielsen, Mads, Tankó, L. B. & Christiansen, C., 2008, In: Climacteric. 11, 2, p. 135-143 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  402. Published

    Proceedings of the 16'th Danish Conference on Pattern Recognition and Image Analysis

    Olsen, Søren Ingvor (ed.), 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 27 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-10).

    Research output: Book/ReportAnthologyResearch

  403. Published

    Project description: Foundations and tools for building well-behaved systems

    Katajainen, J., Elmasry, A., Elverkilde, J. D., Jensen, C., Rasmussen, J., Simonsen, B., Yde, L., Artho, C., Francechini, G. & Schupp, S., 2008, København: Department of Computer Science, University of Copenhagen, p. 1-7, 7 p.

    Research output: Working paperResearch

  404. Published

    Protein Decoy Generation Using Branch and Bound with Efficient Bounding

    Paluszewski, M. & Winter, Pawel, 2008, Algorithms in Bioinformatics: 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings. Crandall, K. A. & Lagergren, J. (eds.). Springer, p. 382-393 12 p. (Lecture Notes in Computer Science : Lecture Notes in Bioinformatics; No. 5251).

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

  405. Published

    Protein Structure Prediction Using Bee Colony Optimization Metaheuristic: Extended Abstract

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, In: Koebenhavns Universitet. Datalogisk Institut. Rapport. 12, 11 p.

    Research output: Contribution to journalConference abstract in journalResearch

  406. Published

    Protein structure prediction using bee colony optimization heuristic

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, Datalogisk Institut, Københavns Universitet. 11 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 12, Vol. 08).

    Research output: Book/ReportReportResearch

  407. Published

    Requirements for Logical Models for Value-Added Tax Legislation

    Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

    Research output: Contribution to conferencePaperResearch

  408. Published

    Second order structure of scale-space measurements

    Markussen, Bo, Steenstrup Pedersen, Kim & Loog, M., 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 207-220 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  409. Published

    Semi-Inversion of Functional Parameters

    Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.

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

  410. Published

    Special Issue on Tribute Workshop for Peter Johansen

    Nielsen, Mads, de Bruijne, Marleen, Jørgensen, Camilla Holm, Olsen, Søren Ingvor, Steenstrup Pedersen, Kim & Sporring, Jon, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 119-120

    Research output: Contribution to journalEditorialResearch

  411. Published

    Superior assessment of CVD death by MACD index compared with the framingham score is highly associated with predisposition to diabetes

    Soltyskinska, E., Barascuk, N., Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2008. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  412. Published

    Three dimensional image data analysis method for diagnosis and prognosis of e.g. osteoarthritis, involves comparing measured value representative of homogeneity of medial area with previously obtained values of healthy joints

    Dam, E. B., Qazi, A. A., Karsdal, M., Petterson, P. C., Nielsen, Mads & Christiansen, C., 2008, IPC No. G06T-007/00, Patent No. WO2008034845-A2 , 27 Mar 2008, Priority date 19 Sep 2006, Priority No. GB018417

    Research output: Patent

  413. Published

    Tribute Workshop for Peter Johansen

    Nielsen, Mads (ed.), de Bruijne, Marleen (ed.), Jørgensen, Camilla Holm (ed.), Olsen, Søren Ingvor (ed.), Steenstrup Pedersen, Kim (ed.) & Sporring, Jon (ed.), 2008, Berlin: Springer. 151 p. (Journal of Mathematical Imaging and Vision; No. 31(2-3)p.119-269).

    Research output: Book/ReportAnthologyResearch

  414. Published

    Two new methods for constructing double-ended priority queues from priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2008, In: Computing. 83, 4, p. 193-204 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  415. Published

    Vessel-guided airway segmentation based on voxel classification

    Lo, P. C. P., Sporring, Jon, Ashraf, H., Holst Pedersen, J. J. & de Bruijne, Marleen, 2008, The first International Workshop on Pulmonary Image Analysis: New York, September 6, 2008. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., Mori, K. & Reinhardt, J. (eds.). Lulu.com, p. 113-122

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

  416. Published

    Volumetric shells using path tracing

    Erleben, Kenny, 2008. 8 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  417. Published

    Voxel Classification Based Vessel-guided Airway Segmentation

    Lo, P. C. P., Sporring, Jon, Ashraf, H., Pedersen, J. H. J. & de Bruijne, Marleen, 2008, Proceedings of the Danish Conference on Pattern Recognition and Image Analysis: Organised by Danish Society for Automatic Pattern Recognition (Dansk Selskab for automatisk genkendelse af mønstre), Departmen of Computer Science, University of Copenhagen, Thursday 21 August 2008. Olsen, S. I. (ed.). Museum Tusculanum, p. 8-9 (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 08-10).

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

  418. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 14 Feb 2008, In: Acta Informatica. 45, 3, p. 193-210 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  419. Published

    Automatic shape model building based on principal geodesic analysis bootstrapping

    Dam, Erik Bjørnager, Fletcher, P. T. & Pizer, S. M., Apr 2008, In: Medical Image Analysis. 12, 2, p. 136-51 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  420. Published

    Amiodarone protects diabetics and non-diabetics undergoing coronary artery bypass grafting equally

    Zebis, L. R., Christensen, T. D., Thomsen, H. F. & Hjortdal, Vibeke Elisabeth, Jun 2008, In: Scandinavian Cardiovascular Journal. 42, 3, p. 173-7 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  421. Published

    Automatic quantification of local and global articular cartilage surface curvature: biomarkers for osteoarthritis?

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Karsdal, M. A., Pettersen, P. C. & Christiansen, C., Jun 2008, In: Magnetic Resonance in Medicine. 59, 6, p. 1340-6 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  422. Published

    The disease modifying osteoarthritis drug (DMOAD): Is it in the horizon?

    Qvist, P., Bay-Jensen, A., Christiansen, C., Dam, Erik Bjørnager, Pastoureau, P. & Karsdal, M. A., Jul 2008, In: Pharmacological Research. 58, 1, p. 1-7 7 p.

    Research output: Contribution to journalReviewResearchpeer-review

  423. Published

    Changes in maximum muscle strength and rapid muscle force characteristics after long-term special support and reconnaissance missions: A preliminary report

    Christensen, P. A., Jacobsen, O., Thorlund, J. B., Madsen, Thomas, Møller, C., Jensen, C., Suetta, Charlotte & Aagaard, P., Sep 2008, In: Military Medicine. 173, 9, p. 889-894 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  424. Published

    Semantic Web ontologies for Ambient Intelligence -- Runtime Monitoring of Semantic Component Constraints

    Hansen, K. M., Zhang, W., Fernandes, J. & Ingstrup, M., 1 Sep 2008, Proceedings of the First International Research Workshop on The Internet of Things and Services.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  425. Published

    Power- and delay-aware mobile application-data flow adaptation: The MobiHealth system case study

    Wac, Katarzyna, Bargh, M., Peddemors, A., Pawar, P., Van Beijnum, B. J. & Bults, R., 6 Oct 2008, 2008 10th IEEE Intl. Conf. on e-Health Networking, Applications and Service, HEALTHCOM 2008. p. 212-218 7 p. 4600138. (2008 10th IEEE Intl. Conf. on e-Health Networking, Applications and Service, HEALTHCOM 2008).

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

  426. Published

    Service Oriented Architecture for Inter-vehicle Applications

    Brønsted, J. R. & Hansen, K. M., 1 Nov 2008, Proceedings of the 15th World Congress on Intelligent Transportation Systems (ITS 2008).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  427. Published

    Toward integrated automated analysis of articular cartilage and trabecular bone in osteoarthritis

    Dam, Erik Bjørnager, Dec 2008, In: Academic Radiology. 15, 12, p. 1479-81 3 p.

    Research output: Contribution to journalJournal articleResearch

  428. Published

    Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services

    Pawar, P., Maret, P., Wac, Katarzyna, Van Halteren, A., Van Beijnum, B. J. & Hermens, H., 1 Dec 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 481-488 8 p. (Proceedings of the ACM Symposium on Applied Computing).

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

  429. Published

    LSPEnv: Location-based service provider for environmental data

    Wac, Katarzyna & Ragia, L., 29 Dec 2008, In: Journal of Location Based Services. 2, 4, p. 287-302 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  430. 2009
  431. Published

    Bayes estimation of shape model with application to vertebrae boundaries

    Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Vol. 7259. 8 p.

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

  432. Published

    Priority-queue framework: Programs

    Katajainen, J., 2009, 7 ed., København, 122 p.

    Research output: Working paperResearch

  433. Published

    A Comparative Field Study of Four Crane Control Interfaces

    Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  434. Published

    A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems

    Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 p. IOP1040

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

  435. Published

    A MuDDy Experience-ML Bindings to a BDD Library

    Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

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

  436. Published

    A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.

    Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).

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

  437. Published

    A SVD Based Image Complexity Measure

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.

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

  438. Published

    Adaptable component frameworks: Using vector from the C++ standard library as an example

    Katajainen, J. & Simonsen, B., 2009, Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 13-24 12 p.

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

  439. Published

    Alpha Shapes and Proteins

    Winter, Pawel, Sterner, H. & Sterner, P., 2009, Proceedings of 2009 Sixth International Symposium on Voronoi Diagrams. Anton, F. (ed.). IEEE Computer Society Press, p. 217-224 8 p.

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

  440. Published

    BMD PREDICTION OF DEATH IS ENCAPSULATED BY THE MORPHOLOGICAL ATHEROSCLEROSIS CALCIFICATION DISTRIBUTION (MACD) INDEX

    Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2009, In: Bone. suppl. 2, p. S265 1 p.

    Research output: Contribution to journalConference abstract in journalResearch

  441. Published

    Bottom-up, top-down? Connecting software architecture design with use

    Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. & Shapiro, D. K., 2009, Configuring user-designer relations: Interdisciplinary perspectives. Voss, A., Hartswood, M., Ho, K., Procter, A., Rouncefield, M., Slack, R. & Büscher, M. (eds.). Springer Science+Business Media, 35 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  442. Published

    Camera-based seam tracking and nearly-closed-loop control of arc welding

    Liu, J., Christensen, K. H., Fan, Z., Olsen, Søren Ingvor & Kristensen, J. K., 2009. 13 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  443. Published

    Compressing spatio-temporal trajectories

    Gudmundsson, J., Katajainen, J., Merrick, D., Ong, C. & Wolle, T., 2009, In: Computational Geometry. 42, 9, p. 825-841 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  444. Published

    Content-Aware Video Editing in the Temporal Domain

    Slot, K., Truelsen, R. & Sporring, Jon, 2009, Scandinavian Conference on Image Analysis (SCIA '09). 9 p.

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

  445. Published

    Dense Iterative Contextual Pixel Classification using Kriging

    Ganz, Melanie, Loog, M., Brandt, S. & Nielsen, Mads, 2009, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2009. CVPR Workshops 2009. . p. 87-93 7 p.

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

  446. Published

    Estimation of Joint types and Joint Limits from Motion capture data

    Engell-Nørregård, M. P. & Erleben, Kenny, 2009, WSCG '2009 : the 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in co-operation with Eurographics : University of West Bohemia, Plzen, Czech Republic, February 2-5, 2009: 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2009, Computer Graphics, Visualization and Computer Vision 2009. Scala, V. & Chen, M. (eds.). p. 9-16

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

  447. Published

    GPU accelerated tandem traversal of blocked bounding volume hierarchy collision detection for multibody dynamics

    Damkjær, J. & Erleben, Kenny, 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. p. 115-124

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

  448. Published

    Growth analysis of individual abdominal atherosclerotic calcified deposits

    Larsen, L. L., Ganz, Melanie & Nielsen, Mads, 2009. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  449. Published

    Interactive inverse kinematics for human motion estimation

    Engell-Nørregård, M. P., Hauberg, S., Lapuyade, J., Erleben, Kenny & Steenstrup Pedersen, Kim, 2009, Vriphys 09: 6th Workshop on Virtual reality Interactions and Physical Simulations. Prautzsch, H., Schmitt, A., Bender, J. & Teschner, M. (eds.). p. 77-84

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

  450. Published

    Long-term global and regional brain volume changes following severe traumatic brain injury: A longitudinal study with clinical correlates: NeuroImage

    Sidaros, A., Skimminge, A., Liptrot, M. G., Sidaros, K., Engberg, A. W., Herning, M., Paulson, Olaf B., Jernigan, T. L. & Rostrup, Egill, 2009, In: NeuroImage. 44, 1, p. 1-8

    Research output: Contribution to journalJournal articleResearchpeer-review

  451. Published

    Mass Preserving Registration for lung CT

    Gorbunova, V., Lo, P. C. P., Loeve, M., Tiddens, H., Sporring, Jon, Nielsen, Mads & de Bruijne, Marleen, 2009, Proceedings of the SPIE: Medical Imaging 2009: Image Processing. Vol. 7259. 10 p. (Proceedings of the SPIE, Vol. 7259).

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

  452. Published

    Maximal independent set graph partitions for representations of body-centered cubic lattices

    Erleben, Kenny, 2009, In: Visual Computer. 25, 5-7, p. 423-430 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  453. Published

    Multiscale Vessel-guided Airway Tree Segmentation

    Lo, P. C. P., Sporring, Jon & de Bruijne, Marleen, 2009, Proceedings of Second International Workshop on Pulmonary Image Analysis. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., McClelland, J. R., Mori, K., Reeves, A. & Reinhardt, J. M. (eds.). CreateSpace, p. 323-332 10 p.

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

  454. Published

    On the Rate of Structural Change in Scale Spaces

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim, Lauze, Francois Bernard & Nielsen, Mads, 2009, Proceedings of Scale Space and Variational Methods in Computer Vision (SSVM) 09. Springer, Vol. 5567. p. 832-843 11 p. (Lecture notes in computer science, Vol. 5567/209).

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

  455. Published

    PAC-Bayesian generalization bound for density estimation with application to co-clustering

    Seldin, Yevgeny & Tishby, N., 2009, JMLR Workshop and Conference Proceedings, 5 (AISTATS).

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

  456. Published

    POETS: Process-oriented Enterprise Transaction Systems

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  457. Published

    Pilot Implementation of Health Information Systems: Issues and challenges

    Bansler, Jørgen P. & Havn, E. C., 2009, Proceedings of the Fifteenth Americas Conference on Information Systems. San Francisco, CA, 6 p.

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

  458. Published

    Prior knowledge regularization in statistical medical image tasks

    Crimi, A., Sporring, Jon, de Bruijne, Marleen, Lillholm, Martin & Nielsen, Mads, 2009, Proceedings of the MICCAI Workshop on Probabilistic Models for Medical Image Analysis. 12 p.

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

  459. Published

    Regional activation of the human medial temporal lobe during intentional encoding of objects and positions: NeuroImage

    Ramsøy, T. Z., Liptrot, M. G., Skimminge, A., Lund, T. E., Sidaros, K., Christensen, M. S., Baaré, W., Paulson, Olaf B. & Jernigan, T. L., 2009, In: NeuroImage. 47, 4, p. 1863-1872

    Research output: Contribution to journalJournal articleResearchpeer-review

  460. Published

    Smoke simulation for fire engineering using a multigrid method on graphics hardware

    Glimberg, S., Erleben, Kenny & Bennetsen, J., 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. European Association for Computer Graphics, p. 11-20

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

  461. Published

    Spatial and Temporal Ray Differentials

    Sporring, Jon, Schjøth, L. & Erleben, Kenny, 2009, Department of Computer Science: Department of Computer Science, University of Copenhagen. 14 p. (Technical Report; No. 04, Vol. 2009).

    Research output: Book/ReportReportResearch

  462. Published

    Tetrahedral Mesh Improvement Using Multi-face Retriangulation

    Misztal, M. K., Bærentzen, J. A., Anton, F. & Erleben, Kenny, 2009, Proceedings of the 18th International Meshing Roundtable. Springer, p. 539-555 17 p.

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

  463. Published

    Troll, a Language for specifying Dice-rolls

    Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.

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

  464. Published

    User Defined Geo-referenced Information

    Konstantas, D., Villalba, A., di Marzo Serugendo, G. & Wac, Katarzyna, 2009, In: Software and Data Technologies, Communications in Computer and Information Science, Volume 47. ISBN 978-3-642-05200-2. Springer-Verlag Berlin Heidelberg, 2009, p. 1. p. 1

    Research output: Contribution to journalJournal articleResearchpeer-review

  465. Published

    Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). p. 5948-5955

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

  466. Published

    Vector framework: Electronic appendix

    Katajainen, J. & Simonsen, B., 2009, København: Department of Computer Science, University of Copenhagen, 67 p.

    Research output: Working paperResearch

  467. Published

    What is a Sorting Function?

    Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  468. Published

     Optimizing relational algebra operations using discrimination-based joins and lazy products

    Henglein, Fritz, 2009, København: Museum Tusculanum, p. 32.

    Research output: Working paperResearch

  469. Published

    Area and volume restoration in elastically deformable solids

    Kelager, M., Fleron, A. & Erleben, Kenny, 1 Jan 2009, Progress In Computer Vision And Image Analysis. World Scientific Publishing Co., p. 381-400 20 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  470. Published

    Mobile patient monitoring: The MobiHealth system

    Wac, Katarzyna, Bults, R., Van Beijnum, B., Widya, I., Jones, V. M., Konstantas, D., Vollenbroek-Hutten, M. & Hermens, H., 1 Jan 2009, Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009. IEEE Computer Society Press, p. 1238-1241 4 p. 5333477. (Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009).

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

  471. Published

    Seawater-regulated genes for two-component systems and outer membrane proteins in myxococcus

    Pan, H. W., Liu, H., Liu, T., Li, C. Y., Li, Z. F., Cai, K., Zhang, C. Y., ZHANG, YONG, Hu, W., Wu, Z. H. & Li, Y. Z., Apr 2009, In: Journal of Bacteriology. 191, 7, p. 2102-2111 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  472. Published

    Towards location based QoS-aware network selection mechanism for the nomadic mobile services

    Pawar, P., Van Beijnum, B. J., Wac, Katarzyna, Hermens, H. & Konstantas, D., 9 Apr 2009, 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009. 4784928. (2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009).

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

  473. Published

    Risk factors for infection with highly pathogenic influenza A virus (H5N I) in commercial chickens in Bangladesh

    Biswas, P. K., Christensen, Jens Peter, Ahmed, S. S. U., Barua, H., Das, A., Rahman, M. H., Giasuddin, M., Hannan, A. S. M. A., Habib, A. M. & Debnath, N. C., 13 Jun 2009, In: Veterinary Record. 164, 24, p. 743-746 4 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  474. Published

    Resource Control Graphs

    Moyen, J., Aug 2009, In: A C M Transactions on Computational Logic. 10, 4

    Research output: Contribution to journalJournal articleResearchpeer-review

  475. Published

    Context-aware computing support for network-assisted seamless vertical handover in remote patient monitoring

    Pawar, P., Van Beijnum, B. J., Hermens, H., Wac, Katarzyna & Konstantas, D., 23 Oct 2009, Proceedings - 2009 International Conference on Advanced Information Networking and Applications Workshops, WAINA 2009. p. 351-358 8 p. 5136673. (Proceedings - International Conference on Advanced Information Networking and Applications, AINA).

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

  476. 2010
  477. Published

    A framework for optimizing measurement weight maps to minimize the required sample size

    Qazi, A. A., Jørgensen, D. R., Lillholm, Martin, Loog, M., Nielsen, Mads & Dam, Erik Bjørnager, 2010, In: Medical Image Analysis. 14, 3, p. 255-264 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  478. Published

    A standard-driven implementaion of WS-BPEL 2.0

    Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.

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

  479. Published

    A static SMC sampler on shapes for the automated segmentation of aortic calcifications

    Petersen, P. K., Nielsen, Mads & Brandt, S. S., 2010, Computer Vision – ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Daniilidis, K., Maragos, P. & Paragios, N. (eds.). Springer, p. 666-679 14 p. (Lecture notes in computer science, Vol. 6314).

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

  480. Published

    Dense marker-less three dimensional motion capture

    Hauberg, S., Jensen, B. R., Engell-Nørregård, M. P., Erleben, Kenny & Steenstrup Pedersen, Kim, 2010. 4 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  481. Published

    Generic multiset programming for language-integrated querying

    Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

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

  482. Published

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  483. Published

    Have a nice trip: an algorithm for identifying excess routes under satisfaction constraints

    Skov-Petersen, Hans, Zachariasen, M. & Kefaloukos, P. K. B., 2010, In: International Journal of Geographical Information Science. 24, 11, p. 1745-1758 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  484. Published

    Local joint-limits using distance field cones in euler angle space

    Engell-Nørregård, M. P., Abel, S. M. N. & Erleben, Kenny, 2010. 4 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  485. Published

    Markov random fields on triangle meshes

    Andersen, V., Aanæs, H., Bærentzen, J. A. & Nielsen, Mads, 2010, WSCG 2010: communication papers proceedings . Skala, V. (ed.). Vaclav Skala - Union Agency, p. 265-270 6 p.

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

  486. Published

    Method for identifying region of interest (ROI) in human organ for performing e.g. knee cartilage quantification, involves calculating weight of feature of image in map for minimizing sample size needed to discriminate between groups

    Dam, E. B., Nielsen, Mads, Qazi, A. A., Lillholm, Martin & Jørgensen, D. R., 2010, IPC No. G06K-009/00, Patent No. US2010232671-A1, 16 Sep 2010, Priority date 17 Dec 2008, Priority No. US203094P

    Research output: Patent

  487. Published

    Preface

    Erleben, Kenny, Bender, J. & Teschner, M., 2010, In: VRIPHYS 2010 - 7th Workshop on Virtual Reality Interactions and Physical Simulations.

    Research output: Contribution to journalEditorialResearchpeer-review

  488. Published

    Programming in biomolecular computation

    Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, In: Electronical Notes in Theoretical Computer Science. 268, p. 97-114 18 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  489. Published

    Quantitative analysis of pulmonary emphysema using local binary patterns

    Sørensen, L. E. B. L., Shaker, S. B. & de Bruijne, Marleen, 2010, In: IEEE Transactions on Medical Imaging. 29, 2, p. 559-569 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  490. Published

    Relevance of echo-structure and texture features: an application in ultrasound breast tumor classification

    Karemore, G., Mullick, J. B., KV, D. R., Nielsen, Mads & Chidangil, D. S., 2010, Euroson 2010: 22nd Congress of EFSUMB : 10th International Congress on Interventional Ultrasound, 22-25 August 2010, Copenhagen: final programme & abstracts.

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

  491. Published

    Technical perspective: large-scale sound and precise program analysis

    Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.

    Research output: Contribution to journalComment/debateResearchpeer-review

  492. Published

    Two dimensional shape representation manipulation method for improving general procrustes alignment process, involves relating probable relative depth of landmark in three dimensional shape of body part

    Chernoff, K., Nielsen, Mads & Lillholm, Martin, 2010, IPC No. G06T-007/00, Patent No. WO2010142595-A1, 16 Dec 2010, Priority date 11 Jun 2009, Priority No. US268370

    Research output: Patent

  493. Published

    Using SOC in development of context-aware systems: Domain model approach

    Wac, Katarzyna, Pawar, P., Broens, T., van Beijnum, B. J. & van Halteren, A., 1 Jan 2010, Enabling Context-Aware Web Services: Methods, Architectures, and Technologies. CRC Press, p. 171-210 40 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  494. Published

    Which elements are involved in reversible and irreversible cartilage degradation in osteoarthritis?

    Bay-Jensen, A., Hoegh-Madsen, S., Dam, Erik Bjørnager, Henriksen, K., Sondergaard, B. C., Pastoureau, P., Qvist, P. & Karsdal, M. A., Feb 2010, In: Rheumatology International. 30, 4, p. 435-42 8 p.

    Research output: Contribution to journalReviewResearchpeer-review

  495. 2011
  496. Published

    A camera-based sensor system for precise seam tracking and closed-loop weld pool control in arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011.

    Research output: Contribution to conferencePaperResearchpeer-review

  497. Published

    A hyper elasticity method for interactive virtual design of hearing aids: a parallel method for general non-linear hyper elasticity modeling

    Darkner, Sune & Erleben, Kenny, 2011, In: Visual Computer. 27, 6, p. 645-653 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  498. Published

    A physically natural metric for human motion and the associated Brownian motion model

    Hauberg, S. & Steenstrup Pedersen, Kim, 2011.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  499. Published

    A projected back-tracking line-search for constrained interactive inverse kinematics

    Engell-Nørregård, M. P. & Erleben, Kenny, 2011, In: Computers & Graphics. 35, 2, p. 288-298 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  500. Published

    Computational biology: a programming perspective

    Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  501. Published

    Distance-field based joint-limits for biomechanic joint models

    Engell-Nørregård, M. P., Niebe, S. M. & Erleben, Kenny, 2011.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  502. Published

    Distribution, size, and shape of abdominal aortic calcified deposits and their relationship to mortality in postmenopausal women

    Nielsen, Mads, Ganz, Melanie, de Bruijne, Marleen, Dam , E., Karsdal , M. & Christiansen , C., 2011. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  503. Published

    Fast training of multi-class support vector machines

    Dogan, Ü., Glasmachers, T. & Igel, Christian, 2011, University of Copenhagen. 19 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 03, Vol. 2011).

    Research output: Book/ReportReportResearch

  504. Published

    Fat heaps: source code

    Elmasry, A. A. A. E. & Katajainen, J., 2011, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report, Vol. 2010-2).

    Research output: Book/ReportReportResearch

  505. Published

    Graph archive

    Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 52-53 2 p.

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

  506. Published

    Interactive rigid body contact force problems: experiences on bridging the gap between eye–candy and real–world

    Erleben, Kenny, 2011. 2 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  507. Published

    Interactive rigid body dynamics using a projected gauss-seidel subspace minimization method

    Silcowitz, M., Niebe, S. & Erleben, Kenny, 2011, Computer Vision, Imaging and Computer Graphics: Theory and Applications - International Joint Conference, VISIGRAPP 2010, Revised Selected Papers. p. 218-229 12 p. (Communications in Computer and Information Science, Vol. 229 CCIS).

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

  508. Published

    Introduction to compiler design

    Mogensen, Torben Ægidius, 2011, Springer. 204 p.

    Research output: Book/ReportBookEducation

  509. Published

    Jacobians for Lebesgue registration for a range of similarity measures

    Sporring, Jon & Darkner, Sune, 2011, Department of Computer Science, University of Copenhagen. 8 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 04/2011).

    Research output: Book/ReportReportResearch

  510. Published

    Low pain vs no pain multi-core Haskells

    Aswad, M., Trinder, P., Al Zain, A., Michaelson, G. & Berthold, J., 2011, Trends in Functional Programming 10. Horváth, Z., Zsók, V., Achten, P. & Koopman, P. (eds.). Intellect, p. 49-64 16 p.

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

  511. Published
  512. Published

    Predicting articulated human motion from spatial processes

    Hauberg, S. & Steenstrup Pedersen, Kim, 2011, In: International Journal of Computer Vision. 94, 3, p. 317-334 18 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  513. Published

    Preface

    Bender, J., Erleben, Kenny & Galin, E., 2011, In: VRIPHYS 2011 - 8th Workshop on Virtual Reality Interactions and Physical Simulations.

    Research output: Contribution to journalEditorialResearchpeer-review

  514. Published

    Programming in biomolecular computation: programs, self-interpretation and visualisation

    Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, In: Scientific Annals of Computer Science. 21, 1, p. 73-106 34 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  515. Published

    Ranking beta sheet topologies with applications to protein structure prediction

    Fonseca, R., Helles, G. & Winter, Pawel, 2011, In: Journal of Mathematical Modelling and Algorithms. 10, 4, p. 357-369 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  516. Published

    Rapid development of scalable scientific software using a process oriented approach

    Friborg, R. M. & Vinter, B., 2011, In: Journal of Computational Science. 2, 3, p. 304-313 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  517. Published

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  518. Published

    Towards a comprehensive theory of monadic effects

    Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

  519. Published

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011

    Research output: Book/ReportAnthologyResearch

  520. Published

    Vertebral fracture risk (VFR) score for fracture prediction in postmenopausal Women

    Lillholm, Martin, Ghosh, A., Pettersen, P. C., de Bruijne, Marleen, Dam, E. B., Karsdal, M. A., Christiansen, C., Genant, H. K. & Nielsen, Mads, 2011, In: Osteoporosis International. 22, 7, p. 2119-2128 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  521. Published

    Weld pool visual tracking using active contours driven by baysian classifiers

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011. 2 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  522. Published

    Survival and morbidity following congenital heart surgery in a population-based cohort of children--up to 12 years of follow-up

    Larsen, S. H., Emmertsen, K., Johnsen, S. P., Pedersen, J., Hjortholm, K. & Hjortdal, Vibeke Elisabeth, 23 Mar 2011, In: Congenital Heart Disease. 6, 4, p. 322-9 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  523. Published

    Enzyme-linked immunosorbent assay (ELISAs) for metalloproteinase derived type II collagen neoepitope, CIIM--increased serum CIIM in subjects with severe radiographic osteoarthritis

    Bay-Jensen, A., Liu, Q., Byrjalsen, I., Li, Y., Wang, J., Pedersen, C., Leeming, D. J., Dam, Erik Bjørnager, Zheng, Q., Qvist, P. & Karsdal, M. A., Apr 2011, In: Clinical Biochemistry. 44, 5-6, p. 423-9 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  524. Published

    Human Apolipoprotein E Genotypes Modify Disease Severity In Experimental House Dust Mite-Induced Asthma

    Yao, X., Dai, C., Fredriksson, K., Keeran, K., Qu, X., Jeffries, N., Zywicke, G., Jeffries, N., Lin, J., Kaler, M., Shamburek, R., Costello, R., Dahl, Morten, Nordestgaard, Børge, Remaley, A. & Levine, S., May 2011, A33. GENETIC AND EPIGENETIC REGULATION OF LUNG DISEASE.

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

  525. Published

    Touch to play - Exploring touch-based mobile interaction with public displays

    Broll, G., Graebsch, R., Scherr, M., Boring, S., Holleis, P. & Wagner, M., 12 May 2011, Proceedings - 3rd International Workshop on Near Field Communication, NFC 2011. p. 15-20 6 p. 12

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

  526. Published

    Lost in translation: Authorship attribution using frame semantics

    Hedegaard, S. & Simonsen, Jakob Grue, 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).

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

Previous 1 2 3 4 Next