Durkota, K., Lisý, W., Kiekintveld, C.
& Bosansky, B. (2015).
Optimal Network Security Hardening Using Attack Graph Games. In N. Criado, M. Rehak, J. M. Such & L. Vercouter (Eds.),
2nd International Workshop on Agents and Cybersecurity, ACySE 2015: Workshop Notes at AAMAS 2015 (pp. 7-14). Lancaster University.
http://www.lancaster.ac.uk/staff/suchj/acyse2015-proceedings/ACySE2015_proceedings.pdf#page=14
Duckert, M.
, Hoggan, E., Barkhuus, L., Bjørn, P., Boulus-Rodje, N.
, Bødker, S., Møller, N. H. & Shklovski, I. (2022).
Work of the Future. In
Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Article 3 Association for Computing Machinery.
https://doi.org/10.1145/3547522.3547707
Du, X., Ooi, B. C., Özsu, M. T., Cui, B., Chen, L.
, Jensen, C. S. & Shahabi, C. (2017).
Preface.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
10367 LNCS, V-VI.
https://doi.org/10.1007/978-3-319-63564-4
Draganov, A., Jørgensen, J., Scheel, K., Mottin, D., Assent, I., Berry, T.
& Aslay, C. (2023).
ActUp: Analyzing and Consolidating tSNE & UMAP. In
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3651-3658). International Joint Conferences on Artificial Intelligence.
https://www.ijcai.org/proceedings/2023/0406.pdf
Doughty, C. E., Wolf, A.
, Holme, N. M., Jørgensen, P. M.
, Sandel, B. S., Violle, C., Boyle, B., Kraft, N. J. B., Peet, R. K., Enquist, B. J.
, Svenning, J.-C., Blake, S. & Galetti, M. (2016).
Megafauna extinction, tree species range reduction, and carbon storage in Amazonian forests.
Ecography,
39(2), 194-203.
https://doi.org/10.1111/ecog.01587
Döttling, N., Kraschewski, D., Müller-Quade, J. & Nilges, T. (2015).
General statistically secure computation with bounded-resettable hardware tokens. In Y. Dodis & J. Buus Nielsen (Eds.),
Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I (pp. 319-344). Springer VS.
https://doi.org/10.1007/978-3-662-46494-6_14
Döttling, N. M. & Schröder, D. (2015).
Efficient Pseudorandom Functions via On-the-Fly Adaptation. In R. Gennaro & M. Robshaw (Eds.),
Advances in Cryptology – CRYPTO 2015: 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I (pp. 329-350). Springer VS.
https://doi.org/10.1007/978-3-662-47989-6_16
Donnez, J., Dolmans, M.-M., Pellicer, A., Diaz-Garcia, C.
, Ernst, E., Macklon, K. T.
& Andersen, C. Y. (2015).
Fertility preservation for age-related fertility decline.
Lancet,
385(9967), 506-7.
https://doi.org/10.1016/S0140-6736(15)60198-2
Dodds, M., Jagannathan, S., Parkinson, M. J.
, Svendsen, K. & Birkedal, L. (2016).
Verifying custom synchronisation constructs using higher-order separation logic.
ACM Transactions on Programming Languages and Systems,
38/2(2), 4:1 - 4:72. Article 4.
https://doi.org/10.1145/2818638
Dittrich, Y. (Ed.), Strand, D. L. (Ed.), Nørbjerg, J. (Ed.)
, Bertelsen, O. W. (Ed.) & Bleek, W.-G. (2006).
IRIS 29 Paradigms Politics Paradoxes: Proceedings of 29th Information Systems Research Seminar in Scandinavia, Elsinore, Denmark, August 12-15, 2006 CD ROM. AIS.
Dithmer, M., Rasmussen, J. O., Grönvall, E.
, Spindler, H., Hansen, J., Nielsen, G., Sørensen, S. B. & Dinesen, B. (2016).
"The Heart Game": Using Gamification as Part of a Telerehabilitation Program for Heart Patients.
Games for Health,
5(1), 27-33.
https://doi.org/10.1089/g4h.2015.0001
Dinsdale-Young, T., da Rocha Pinto, P.
, Andersen, K. J. A. & Birkedal, L. (2017).
Caper: Automatic Verification for Fine-Grained Concurrency. In H. Yang (Ed.),
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, Proceedings: 26th European Symposium on Programming, ESOP 2017 (Vol. 10201, pp. 420-447). Springer VS.
https://doi.org/10.1007/978-3-662-54434-1_16
Dindler, C., Krogh, P. G., Beck, S., Stenfeldt, L.
, Nielsen, K. R. & Grønbæk, K. (2007).
Peephole Experiences - Field Experiments with Mixed Reality Hydroscopes in a Marine Center: Article No. 20. In N. Kothary (Ed.),
Proceedings of the 2007 conference on Designing for User eXperiences (pp. 20. artikel). Association for Computing Machinery.
https://doi.org/10.1145/1389908.1389934