Department of Computer Science

Read more
1626 - 1650 out of 1,703Page size: 25
  1. 1998
  2. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

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

    Research output: Contribution to journal › Journal article › Research

  3. Published

    Architectures of Prototypes and Architectural Prototyping

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

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

  4. Published

    Coinductive axiomatization of recursive type equality and subtyping

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

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

  5. Published

    Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

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

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

  6. Published

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

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

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

  7. Published

    Direct Routing on Trees

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

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

  8. Published

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

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

    Research output: Book/Report › Report › Research

  9. Published

    Inherited Limits

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

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

  10. Published

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

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

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

  11. Published

    Partial evaluation Concepts and Applications

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

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

  12. Published

    Quaternions, interpolation and animation

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

    Research output: Working paper › Research

  13. Published

    SIGPLAN and the World Series

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

    Research output: Contribution to journal › Editorial › Research

  14. Published

    The Evaluator Effect in Usability Tests

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

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

  15. Published

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

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

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

  16. Published

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

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

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

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

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

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

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

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

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

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

  25. Published

    Optimal on-line decremental connectivity in trees

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

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

  26. Published

    The Complexity of Subtype Entailment for Simple Types

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

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

  27. Published

    The Managerial Challenges in the Transformation of the Danish Geodata Sector

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

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

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