Department of Computer Science

  1. Published

    An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage

    Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, In: NeuroImage. 11, 5 PART II

    Research output: Contribution to journalJournal articleResearchpeer-review

  2. Published

    An extended truth about heaps

    Jensen, C., Katajainen, J. & Vitale, F., 2003, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  3. Published

    An exploration of the relation between expectations and user experience

    Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Interaction. 31, 9, p. 603-617 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    An experimental investigation of the normality of irrational algebraic numbers

    Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, In: Mathematics of Computation. 82, p. 1837-1858 22 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    An experimental evaluation of navigation piles

    Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, 16 p.

    Research output: Working paperResearch

  6. Published

    An experimental analysis of iterated spatial joins in main memory

    Sowell, B., Vaz Salles, M. A., Cao, T., Demers, A. & Gehrke, J., 2013, In: Proceedings of the VLDB Endowment. 6, 14, p. 1882-1893 12 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  7. Published

    An evaluation of shape changes for conveying emotions

    Strohmeier, P., Carrascal, J. P., Cheng, B., Meban, M. & Vertegaal, R., 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3781-3792 12 p.

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

  8. Published

    An evaluation of dynamic labeling schemes for tree networks

    Rotbart, N. G., Vaz Salles, M. A. & Zotos, I., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings. Gudmundsson, J. & Katajainen, J. (eds.). Springer, p. 199-210 12 p. (Lecture notes in computer science, Vol. 8504).

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

  9. Published

    An automatic system for segmentation, matching, anatomical labeling and measurement of airways from CT images

    Petersen, Jens, Feragen, A., Owen, M., Lo, P., Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 2013. 1 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  10. Published

    An automated approach for generating and checking control logic for reversible hardware description language-based designs

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., Dec 2017, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.

    Research output: Contribution to journalConference articleResearchpeer-review