Datalogisk Institut

  1. Udgivet

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (red.). Springer, s. 60-71 12 s.

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

  2. Udgivet

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 14 feb. 2008, I: Acta Informatica. 45, 3, s. 193-210 17 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, s. 1-18.

    Publikation: Working paperForskning

  4. Udgivet

    Two-tier relaxed heaps: Lecture Notes in Computer Science

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Bind 4288. s. 308-317 (Lecture notes in computer science, Bind 4288).

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

  5. Udgivet

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, s. 2 (CPH STL Report; Nr. 2006-8).

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

  6. Udgivet

    Type families with class, type classes with family

    Serrano, A., Hage, J. & Bahr, P., 2015, I: ACM SIGPLAN Notices. 50, 12, s. 129-140 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  8. Udgivet

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (red.). Springer, s. 184-199 16 s. (Lecture notes in computer science, Bind 8324).

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

  9. Udgivet

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

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

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

  10. Udgivet

    U-Time: A Fully Convolutional Network for Time Series Segmentation Applied to Sleep Staging

    Perslev, Mathias, Hejselbak Jensen, M., Darkner, Sune, Jørgen Jennum, P. & Igel, Christian, 1 okt. 2019, Advances in Neural Information Processing Systems 32 (NIPS 2019). NIPS Proceedings, Bind 32. s. 4415-4426

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