Datalogisk Institut

  1. 1997
  2. Udgivet

    Optimal on-line decremental connectivity in trees

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    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, s. 352-361

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  4. Udgivet

    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, s. 288-305

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  5. 1998
  6. Udgivet

    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). s. 652-654

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    A note on differential corner measures

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  8. Udgivet

    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; Nr. 16, Bind 98).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  9. Udgivet

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  10. Udgivet

    Architectures of Prototypes and Architectural Prototyping

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

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  11. Udgivet

    Coinductive axiomatization of recursive type equality and subtyping

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  12. Udgivet

    Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1...3 4 5 6 7 8 9 10 ...170 Næste