Department of Computer Science

  1. 2016
  2. Published

    Off-limits: interacting beyond the boundaries of large displays

    Markussen, A., Boring, S., Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5862-5873 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    On infectious intestinal disease surveillance using social media content

    Zou, B., Lampos, V., Gorton, R. & Cox, Ingemar Johansson, 2016, DH '16: Proceedings of the 2016 Digital Health Conference. Association for Computing Machinery, p. 157-161 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    On reversible Turing machines and their function universality

    Axelsen, H. B. & Glück, Robert, 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    On the k-independence required by linear probing and minwise independence

    Pǎtraşcu, M. & Thorup, Mikkel, 2016, In: ACM Transactions on Algorithms. 12, 1, 27 p., 8.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    On the Estimation and Use of Statistical Modelling in Information Retrieval

    Petersen, C., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  7. Published

    On the computational meaning of axioms

    Naibo, A., Petrolo, M. & Seiller, T., 2016, Epistemology, knowledge and the impact of interaction. Redmond, J., Pombo Martins, O. & Nepomuceno Fernández, Á. (eds.). Springer, p. 141-184 44 p. (Logic, Epistemology, and the Unity of Science, Vol. 38).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  8. Published

    On the hardness of partially dynamic graph problems and connections to diameter

    Dahlgaard, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 48. (Leibniz International Proceedings in Informatics, Vol. 55).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Published

    On the impact of medical device regulations on software architecture

    Hansen, K. M. & Manikas, K., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF. SCITEPRESS Digital Library, Vol. 5. p. 389-394 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    On the intriguing number 1001

    Krarup, J., 2016, In: Central European Journal of Operations Research. 24, 3, p. 787-795 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  11. Published

    On the need for and provision of an 'IDEAL' scholarly information retrieval test collection

    Larsen, B. & Lioma, Christina, 2016, Proceedings of the Third Workshop on Bibliometric-enhanced Information Retrieval (BIR 2016), Padova, Italy, March 20, 2016. Mayr, P., Frommholz, I. & Cabanac, G. (eds.). CEUR-WS.org, p. 73-81 9 p. (CEUR Workshop Proceedings, Vol. 1567).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review