Department of Computer Science

Read more
1651 - 1675 out of 1,702Page size: 25
  1. 1996
  2. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  3. Published

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

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

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

  4. Published

    Image Point Motion when Zooming and Focusing

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

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

  5. Published

    Large Euclidean Steiner minimum trees in an hour

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

    Research output: Book/Report › Report › Research

  6. Published

    Distance-based classification methods

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

    Research output: Book/Report › Report › Research

  7. 1995
  8. Published

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

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

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

  9. Published

    A Semantic Model of Binding Times for Safe Partial Evaluation

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

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

  10. Published

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

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

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

  11. Published

    Computer Support for Document Management in the Danish Central Government

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

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

  12. Published

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

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

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

  13. Published

    Binocular dense depth reconstruction using isotropy constraint

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

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

  14. Published

    Calibration of an agile camera

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

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

  15. Published

    Digital Billedbehandling

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

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

  16. Published

    Direct estimation of Time To Contact

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

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

  17. Published

    Direct estimation of Time To Contact

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

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

  18. 1994
  19. Published

    Information systems development with generic systems

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

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

  20. Published

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

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

    Research output: Contribution to journal › Journal article › Research

  21. Published

    Computer support for documentation work

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

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

  22. Published

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

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

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

  23. Published

    Validiteten af et infektionsregistreringssystem.

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

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

  24. Published

    The collective resource approach: The Scandinavian experience

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

    Research output: Contribution to journal › Journal article › Research

  25. 1993
  26. Published

    A reappraisal of structured analysis: design in an organizational context

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

    Research output: Contribution to journal › Journal article › Research

  27. Published

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

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

    Research output: Book/Report › Book › Research

  28. Published

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

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

    Research output: Book/Report › Book › Research

  29. Published

    Accessing online documentation: An experimental evaluation of browsing and querying

    Hertzum, M., 1993.

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

Previous 1...63 64 65 66 67 68 69 Next