ITU

Publications

  1. 2019
  2. Published

    Hvordan styrker vi museets digitale arbejdskultur?

    Olesen, A. R., Mortensen, C. H. & Thorek, J., Dec 2019, In : Danske Museer.

    Research output: Journal Article or Conference Article in JournalJournal articleCommunication

  3. Published

    Modal dependent type theory and dependent right adjoints

    Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., Dec 2019, In : Mathematical Structures in Computer Science. 21 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  4. Published

    The Temporal Politics of Anthropogenic Earthquakes: Acceleration, Anticipation, and Energy Extraction in Iceland

    Maguire, J., 27 Nov 2019, In : Time & Society.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  5. Published

    Efficient UC Commitment Extension with Homomorphism for Free (and Applications)

    Cascudo, I., Damgård, I., David, B., Dowsley, R., Döttling, N. & Giacomelli, I., 22 Nov 2019, Advances in Cryptology – ASIACRYPT 2019: 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II. Galbraith, S. & Moriai, S. (eds.). Springer, p. 606-635 (Lecture Notes in Computer Science, Vol. 11922).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. Published

    Careful Devices: A design manifesto for humane domestic healthcare technology

    Jenkins, T., Vallgårda, A., Boer, L., Homewood, S. & Almeida, T., 19 Nov 2019, Proceedings of the Halfway to the Future Symposium 2019. Nottingham, United Kingdom: Association for Computing Machinery, 30

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. Published

    Det er tid til at afvikle den danske produktion af fossil energi

    Buch-Hansen, H., Bundgaard, L., Burø, T., Carstensen, M. B., Delventhal, J., Feuls, M., Foverskov, L., Frandsen, S. L., Geraldi, J., Hasselbalch, J., Henriksen, L. F., Holck, L., Hulgård, N., Jacobsen, S. G., Jensen, M., Jeppesen, S., Jespersen, K., Knudsen, M., Lund, J., Morsing, M., Nielsen, C. Y., Ougaard, M., Papazu, I., Plesner, U., Pogner, K-H., Richey, L. A., Rutherford, C., Stjerne, I. S., Teilmann-Lock, S., Thomsen, L., Tsingou, E. & Westenholz, A., 14 Nov 2019, In : Berlingske Tidende. p. 28-29 2 p.

    Research output: Journal Article or Conference Article in JournalContribution to newspaper - Comment/debateCommunication

  8. Published

    Deconstructing Representation

    Lee, R., 8 Nov 2019

    Research output: Non-textual form2D/3D (psysical products)Research

  9. Published

    Modes of political problematisations in environmental STS: quantitative and qualitative patterns in the implication and explication of normative premises in conference contributions

    Lippert, I., Nadim, T. & Simons, A., 8 Nov 2019.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearch

  10. Published

    Design Research Themes for Mindful Interaction

    Kühn, L., Hermann, C. & Boer, L., 7 Nov 2019, Proceedings of the 17th Scandinavian Conference on Health Informatics. Linköping : Linköping University Electronic Press, p. 24-29 6 p. 5

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  11. Published

    Transforming Byzantine Faults using a Trusted Execution Environment

    Madsen, M. F., Gaub, M., Kirkbro, M. E. & Debois, S., 7 Nov 2019, 2019 15th European Dependable Computing Conference (EDCC). IEEE, p. 63-70 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...435 Next