ITU

Publications

Advanced search

Advanced search

Reset

    to
    11 - 20 out of 4,344Page size: 10
    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 Journal › Journal article › Communication

    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 Journal › Journal article › Research › peer-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 Journal › Journal article › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 Journal › Contribution to newspaper - Comment/debate › Communication

    8. Published

      Deconstructing Representation

      Lee, R., 8 Nov 2019

      Research output: Non-textual form › 2D/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 journal › Conference abstract for conference › Research

    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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-review

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