Department of Computer Science

  1. Published

    Airports and railways: facility location meets network design

    Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  2. Published

    After Rigid Interfaces: Investigating Interaction with Deformable Interfaces and the Design of Shape-Changing Interfaces

    Troiano, G. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  3. Published

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  4. Published

    Advances in Quantitative Ethnography: First International Conference, ICQE 2019, Madison, WI, USA, October 20–22, 2019, Proceedings

    Eagan, B. (ed.), Misfeldt, Morten (ed.) & Siebert-Evenstone, A. (ed.), 2019, Springer. 360 p. (Communications in Computer and Information Science).

    Research output: Book/ReportAnthologyResearchpeer-review

  5. Published

    Adjustable chain trees for proteins

    Winter, Pawel & Fonseca, R., 2012, In: Journal of Computational Biology. 19, 1, p. 83-99 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Adjacency labeling schemes and induced-universal graphs

    Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.

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

  7. Published

    Addressing the path-length-dependency confound in white matter tract segmentation

    Liptrot, M. G., Sidaros, K. & Dyrby, T. B., 2014, In: PLoS ONE. 9, 5, 11 p., e96247.

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    Additive spanners: a simple construction

    Knudsen, M. B. T., 2014, Algorithm theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 277-281 5 p. (Lecture notes in computer science, Vol. 8503).

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

  9. Published

    Adaptive time-stepping in diffeomorphic image registration with bounded inverse consistency error

    Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Sørensen, L. E. B. L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, The 18th International Conference on Medical Image Computing and Computer Assisted Intervention: proceedings. Technische Universität München , p. 35-47 13 p.

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

  10. Published

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, Jun 2017, In: Journal of Real-Time Image Processing. 13, 2, p. 345–361 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review