Department of Computer Science

Read more
51 - 60 out of 1,697Page size: 10
  1. 1996
  2. 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

  3. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  4. Published

    Structure of casein micelles studied by small-angle neutron scattering

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

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

  5. 1997
  6. Published

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

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

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

  7. Published

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

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

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

  8. Published

    Coinductive axiomatization of recursive type equality and subtyping

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

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

  9. Published

    Euclidean Steiner Minimum Trees: An Improved Exact Algorithm

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

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

  10. Published

    Finding cores of limited length

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

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

  11. Published

    Image Point Motion when Zooming and Focusing

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

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

  12. Published

    Minimizing diameters of dynamic trees

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

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

Previous 12 3 4 5 6 7 8 9 ...170 Next