ITU
ITU

Publications

  1. 2017
  2. Published
  3. Published

    Automatic Margin Computation for Risk-Limiting Audits

    Beckert, B., Kirsten, M., Klebanov, V. & Schürmann, C. 2017 First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 18-35 (Lecture Notes in Computer Science, Vol. 10141).

    Publication: Research - peer-reviewArticle in proceedings

  4. Published
  5. Published

    Effective Bug Finding in C Programs with Shape and Effect Abstractions

    Abal, I., Brabrand, C. & Wasowski, A. 2017 Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).

    Publication: Research - peer-reviewArticle in proceedings

  6. Published

    IoT Based Human-Building Interaction

    Fürst, J. 2017 IT-Universitetet i København. 106 p. (ITU-DS; No. 129).

    Publication: ResearchPh.D. thesis

  7. Published

    The Impact of Content, Context, and Creator on User Engagement in Social Media Marketing

    Jaakonmäki, R., Müller, O. & vom Brocke, J. 5 Jan 2017 In : Annual Hawaii International Conference on System Sciences. Proceedings. 50, p. 1152-1160 9 p.

    Publication: Research - peer-reviewJournal article

  8. Published

    Using Fourier-Motzkin-Elimination to Derive Capacity Models of Container Vessels

    Ajspur, M. L. & Jensen, R. M. Jan 2017 46 p. (ITU Technical Report Series; No. TR-2017-197).

    Publication: ResearchReport

  9. 2016
  10. Published

    "Click like if you remember this. Social Memory and Technonostalgia on Facebook

    Klastrup, L. 11 Nov 2016

    Publication: Research - peer-reviewConference abstract for conference

  11. Published

    "The Heart Game": using gamification as part of a telerehabilitation programme for heart patients

    Dithmer, M., Ord Rasmussen, J., Gronvall, E., Spindler, H., Hansen, J., Nielsen, G., Bæk Sørensen, S. & Dinesen, B. I. 2016 In : Games for Health. 5, 1, p. 27-33 7 p.

    Publication: Research - peer-reviewJournal article

  12. Published
Previous 1 2 3 4 5 6 7 8 ...307 Next