Datalogisk Institut

  1. Udgivet

    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, s. 1910-1915 6 s.

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

  2. Udgivet

    Truncation error for simplex propagation

    Sporring, Jon, 2013, Datalogisk Institut. 8 s. (Koebenhavns Universitet. Datalogisk Institut. Rapport; Nr. 01/2013).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  3. Udgivet

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (red.). Springer, s. 124-141 18 s. (Lecture notes in computer science, Bind 7789).

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

  4. Udgivet

    Twisted tabulation hashing

    Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (red.). Association for Computing Machinery, s. 209-228 20 s.

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

  5. Udgivet

    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 nr. G06T-007/00, Patentnr. WO2010142595-A1, 16 dec. 2010, Prioritetsdato 11 jun. 2009, Prioritetsnr. US268370

    Publikation: Patent

  6. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    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, s. 1-14.

    Publikation: Working paperForskning

  8. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Two-Connected Steiner Networks: Structual Properties

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  10. Udgivet

    Two-connected Steiner networks: structural properties

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt