- Published
The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming
Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The power of two choices with simple tabulation
Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (ed.). Society for Industrial and Applied Mathematics, p. 1631-1642 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The semantics of hybrid process models
Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The structure and flexibility of Steiner trees in uniform orientation metrics
Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The structure of the serotonin system: a PET imaging study
Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, p. 614-615 2 p.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
The structure of the serotonin system: A PET imaging study
Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2020, In: NeuroImage. 205, 116240.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The unadorned desk: exploiting the physical space around a display as an input canvas
Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The uniform orientation Steiner tree problem is NP-hard
Brazil, M. & Zachariasen, M., 2014, In: International Journal of Computational Geometry and Applications. 24, 2, p. 87-105 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Thematic series on software engineering from a social network perspective
Gerosa, M. A., Redmiles, D., Bjorn, Pernille & Sama, A., 2015, In: Journal of Internet Services and Applications. 6, 5 p., 23.Research output: Contribution to journal › Editorial › Research › peer-review
- Published
Theory transfers? : social theory & CSCW research
Wagenknecht, S., Erickson, I., Østerlund, C., Mazmanian, M. & Bjorn, Pernille, 2017, Companion of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 371-376 6 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
Most downloads
-
6948
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6259
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review