Department of Computer Science

Research output

Research output per year 1986 2013 2014 2015 2016 2017 2024

• 720 Article in proceedings
• 459 Journal article
• 82 Book chapter
• 57 Report
• 403 More
  • 52 Ph.D. thesis
  • 38 Paper
  • 37 Book
  • 36 Conference abstract for conference
  • 36 Conference abstract in journal
  • 35 Working paper
  • 24 Editorial
  • 18 Conference article
  • 17 Anthology
  • 17 Conference abstract in proceedings
  • 13 Report chapter
  • 13 Poster
  • 13 Review
  • 13 Patent
  • 7 Comment
  • 6 Comment/debate
  • 5 Encyclopedia chapter
  • 5 Preprint
  • 3 Preface/postscript
  • 3 Letter
  • 2 Contribution to newspaper - Comment/debate
  • 2 Computer programme
  • 2 Other contribution
  • 1 Compendium/lecture notes
  • 1 Doctoral thesis
  • 1 Contribution to newspaper - Feature article
  • 1 Dataset
  • 1 Sound/Visual production (digital)
  • 1 Net publication - Internet publication

Research output per year

Research output per year

Search results

• 2018

  Concrete Semantics with Coq and CoqHammer

  Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 Jul 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (eds.). Springer, p. 53-59 5. (Lecture Notes in Computer Science, Vol. 11006).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  1 Citation (Scopus)

• Consistent Hashing with bounded loads

  Mirrokni, V., Thorup, M. & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  27 Citations (Scopus)

• CoreFun: A typed functional reversible core language

  Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  14 Citations (Scopus)

• Data structures and dynamic memory management in reversible languages

  Cservenka, M. H., Glück, R., Haulund, T. & Mogensen, T. Æ., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  8 Citations (Scopus)

• Deep Learning from Label Proportions for Emphysema Quantification

  Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, M., 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  22 Citations (Scopus)

• Designing eTextiles for the Body: Shape, Volume Motion

  Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  11 Citations (Scopus)

• Discourse-aware rumour stance classification in social media using sequential classifiers

  Zubiaga, A., Kochkina, E., Liakata, M., Procter, R., Lukasik, M., Bontcheva, K., Cohn, T. & Augenstein, I., Mar 2018, In: Information Processing & Management. 54, 2, p. 273-290

  Research output: Contribution to journal › Journal article › Research › peer-review
  111 Citations (Scopus)

• Driving Structural Transitions in Molecular Simulations Using the Nonequilibrium Candidate Monte Carlo

  Kurut, A., Fonseca, R. & Boomsma, W., 25 Jan 2018, In: Journal of Physical Chemistry Part B: Condensed Matter, Materials, Surfaces, Interfaces & Biophysical. 122, 3, p. 1195-1204

  Research output: Contribution to journal › Journal article › Research › peer-review
  6 Citations (Scopus)

• Dynamic bridge-finding in Õ(log² n) amortized time

  Holm, J., Rotenberg, E. & Thorup, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 35-52 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  17 Citations (Scopus)

• Eight Aspects of Actions in Improvement Plans

  Carstensen, P. H. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 147-158 (Communications in Computer and Information Science, Vol. 896).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  1 Citation (Scopus)

• Encryption and reversible computations: Work-in-progress paper

  Táborský, D., Larsen, K. F. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 331-338 (Lecture notes in computer science, Vol. 11106).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  5 Citations (Scopus)

• Ensemble support vector machine classification of dementia using structural MRI and mini-mental state examination

  Sørensen, L. & Nielsen, M., 2018, In: Journal of Neuroscience Methods. 302, SI, p. 66-74

  Research output: Contribution to journal › Journal article › Research › peer-review
  66 Citations (Scopus)

• Fast fencing

  Abrahamsen, M., Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, M., 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 564-573

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  4 Citations (Scopus)

• Foreword to the Special Section on VRIPHYS 2018

  Andrews, S., Erleben, K., Jaillet, F. & Zachmann, G., 2018, In: Computers and Graphics (Pergamon). 76, p. A3-A4

  Research output: Contribution to journal › Journal article › Research › peer-review

• Formal proof of polynomial-time complexity with quasi-interpretations

  Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, p. 146-157

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  2 Citations (Scopus)

• From image acquisition with unmanned aerial vehicles (UAV) to patch spraying in farmer's fields

  Rasmussen, J., Nielsen, J., Olsen, S. I., Pedersen, K. S., Jensen, J. E. & Horfarter, R., 2018, 18^th European Weed Research Society Symposium: book of abstracts. European Weed Research Society, p. 75 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  File

• From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

  Bjerva, J. & Augenstein, I., 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 907-916 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
  26 Citations (Scopus)

  112 Downloads (Pure)

• From Quantified Self to Quality of Life

  Wac, K., 2018, Digital Health: Scaling Healthcare to the World. Rivas, H. & Wac, K. (eds.). Springer, p. 83-108 (Health Informatics Series).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

• Function Point Analysis FPA on A Team Planning Website Based on PHP and MYSQL

  Lassen, A., 18 May 2018, In: Journal of Information Technology and Software Engineering. 8, 3, 5 p., 237.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  391 Downloads (Pure)

• Generating graphs packed with paths: Estimation of linear approximations and differentials

  Hall-Andersen, M. & Vejre, P. S., 2018, In: IACR Transactions on Symmetric Cryptology. 2018, 3, p. 265-289 25 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  9 Citations (Scopus)

  92 Downloads (Pure)

• Graph Processing on GPUs: A Survey

  Shi, X., Zheng, Z., Zhou, Y., Jin, H., He, L., Liu, B. & Hua, Q-S., Jan 2018, In: A C M Computing Surveys. 50, 6, 35 p., 81.

  Research output: Contribution to journal › Review › Research › peer-review

  Open Access

  File
  99 Citations (Scopus)

  628 Downloads (Pure)

• Hierarchical Clustering: Objective Functions and Algorithms

  Cohen-addad, V., Kanade, V., Mallmann-trenn, F. & Mathieu, C., 2 Jan 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 378-397

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
  51 Citations (Scopus)

• Improving the Choice of Organizational Change Strategy

  Pries-Heje, J., Carstensen, P. H., Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 83-94 (Communications in Computer and Information Science, Vol. 896).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  1 Citation (Scopus)

• Infrastructures for healthcare: from synergy to reverse synergy

  Langhoff, T. O., Amstrup, M. H., Mørck, P. & Bjørn, P., 2018, In: Health Informatics Journal. 24, 1, p. 43-53

  Research output: Contribution to journal › Journal article › Research › peer-review
  16 Citations (Scopus)

• Interactive Instruction in Bayesian Inference

  Khan, A., Breslav, S. & Hornbæk, K., 2018, In: Human-Computer Interaction. 33, p. 207–233

  Research output: Contribution to journal › Journal article › Research › peer-review
  9 Citations (Scopus)

• I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction

  Bergstrom-Lehtovirta, J., Coyle, D., Knibbe, J. & Hornbæk, K., 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 378

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
  32 Citations (Scopus)

  227 Downloads (Pure)

• It’s a Wrap: Mapping On-Skin Input to Off-Skin Displays

  Bergstrom-Lehtovirta, J., Hornbæk, K. & Boring, S., 20 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 564

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
  9 Citations (Scopus)

  242 Downloads (Pure)

• Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl

  Hansen, V. P. B. & Søgaard, A., 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, p. 427-434

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• LED-based Photometric Stereo: Modeling, Calibration and Numerical Solutions

  Quéau, Y., Durix, B., Wu, T., Cremers, D., Lauze, F. B. & Durou, J-D., 2018, In: Journal of Mathematical Imaging and Vision. 60, 3, p. 313-340

  Research output: Contribution to journal › Journal article › Research › peer-review
  60 Citations (Scopus)

• Local Models for Data Driven Inverse Kinematics of Soft Robots

  Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, K., 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (ed.). The Eurographics Association, 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  1 Citation (Scopus)

• Mean Field Network Based Graph Refinement with Application to Airway Tree Extraction

  Raghavendra, S., Welling, M., Pedersen, J. J. H., Petersen, J. & de Bruijne, M., 2018, Medical Image Computingand Computer AssistedIntervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16–20, 2018, Proceedings, Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 750-758 (Lecture notes in computer science, Vol. 11071).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  6 Citations (Scopus)

• Modular Acceleration: Tricky Cases of Functional High-performance Computing

  Henriksen, T., Elsman, M. & Oancea, C. E., 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  8 Citations (Scopus)

• Multitask and Multilingual Modelling for Lexical Analysis

  Bjerva, J., 2018, In: KI - Künstliche Intelligenz. 32, 4, p. 287-290

  Research output: Contribution to journal › Journal article › Research › peer-review

• Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces

  Augenstein, I., Ruder, S. & Søgaard, A., 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 1896–1906 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
  49 Citations (Scopus)

  378 Downloads (Pure)

• Power of d choices with simple tabulation

  Aamand, A., Knudsen, M. B. T. & Thorup, M., 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
  8 Citations (Scopus)

  55 Downloads (Pure)

• Pre-intervention test-retest reliability of EEG and ERP over four recording intervals

  Ip, C-T., Ganz, M., Ozenne, B., Sluth, L. B., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Knudsen, G. M. & Christensen, S. R., 1 Dec 2018, In: International Journal of Psychophysiology. 134, p. 30-43

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  33 Citations (Scopus)

  297 Downloads (Pure)

• Reactors: A Case for Predictable, Virtualized Actor Database Systems

  Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 259-274

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
  14 Citations (Scopus)

• Return of the features: efficient feature selection and interpretation for photometric redshifts

  D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, In: Astronomy & Astrophysics. 616, 21 p., A97.

  Research output: Contribution to journal › Journal article › Research › peer-review
  28 Citations (Scopus)

• Reversible computing: foundations and software: Preface of Special Issue

  Glück, R. & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144

  Research output: Contribution to journal › Editorial › Research

• Robust Active Label Correction

  Kremer, J., Sha, F. & Igel, C., 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Vol. 84. p. 308-316 9 p. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Vol. 84).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  35 Citations (Scopus)

• Robust training of recurrent neural networks to handle missing data for disease progression modeling

  Mehdipour Ghazi, M., Nielsen, M., Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2018. 9 p.

  Research output: Contribution to conference › Paper › Research

  Open Access

  File
  77 Downloads (Pure)

• Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)

  Grønhøj, C., Jensen, D. H., Vester-Glowinski, P., Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, L., Thomsen, C., Darkner, S., Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, C., 1 Jul 2018, In: International Journal of Radiation Oncology, Biology, Physics. 101, 3, p. 581-592 12 p.

  Research output: Contribution to journal › Journal article › Research › peer-review
  80 Citations (Scopus)

• Segmentation of Brains and Rocks from Tomographic Reconstructions

  Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• Simultaneous synthesis of FLAIR and segmentation of white matter hypointensities from T1 MRIs

  Orbes-Arteaga, M., Cardoso, M. J., Sørensen, L., Modat, M., Ourselin, S., Nielsen, M. & Pai, A. S. U., 2018. 8 p.

  Research output: Contribution to conference › Paper › Research

• Sluice resolution without hand-crafted features over brittle syntax trees

  Rønning, O., Hardt, D. & Søgaard, A., 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 236–241

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9 Citations (Scopus)

• Sparse incomplete LU-decomposition for wave farm designs under realistic conditions

  Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, O., Igel, C. & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  5 Citations (Scopus)

• Special Topic: Taking Action in a Changing World

  Light, A., Frauenberger, C., Preece, J., Strohmeier, P. & Ferrario, M. A., 2018, In: interactions. 25, 1, p. 34-45 12 p.

  Research output: Contribution to journal › Journal article › Communication
  12 Citations (Scopus)

• State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation

  Golovchenko, Y., Hartmann, M. & Adler-Nissen, R., 2018, In: International Affairs. 95, 5, p. 975-994

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  94 Citations (Scopus)

  700 Downloads (Pure)

• Stateful load balancing for parallel stream processing

  Guo, Q. & Zhou, Y., 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  1 Citation (Scopus)

• Stochastic Modelling on Manifolds

  Kühnel, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

  Research output: Book/Report › Ph.D. thesis › Research

  File