Birkedal, L., Dinsdale-Young, T., Guéneau, A., Jaber, G., Svendsen, K. & Tzevelekos, N. (2021).
Theorems for free from separation logic specifications.
Proceedings of the ACM on Programming Languages ,
5(ICFP), Article 81.
https://doi.org/10.1145/3473586
Assadi Soumeh, E., Van Milgen, J., Sloth, N. M., Corrent, E.
, Poulsen, H. D. & Norgaard, J. V. (2015).
The optimum ratio of standardized ileal digestible leucine to lysine for 8 to 12 kg female pigs.
Journal of Animal Science,
93(5), 2218-2224.
https://doi.org/10.2527/jas.2014-8699
Klokmose, C. N. & Bertelsen, O. W. (2013).
The Mysterious Whiteboard. In P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (Eds.),
Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (pp. 37-54 ). Springer VS.
https://doi.org/10.1007/978-3-642-40480-1_3
Brian, G., Faonio, A., Obremski, M., Ribeiro, J., Simkin, M., Skorski, M. & Venturi, D. (2022).
The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free.
IEEE Transactions on Information Theory,
68(12), 8197-8227.
https://doi.org/10.1109/TIT.2022.3193848
Christensen, M., Crabtree, A., Damm, C. H., Hansen, K. M.
, Madsen, O. L., Marqvardsen, P., Mogensen, P. H., Sandvad, E., Sloth, L. & Thomsen, M. (1998).
The M.A.D Experience: Multiperspective Application Development in Evolutionary Prototyping. In E. Jul (Ed.),
ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings (pp. 13-40). Springer.
https://doi.org/10.1007/BFb0054085
Krink, T., Løvbjerg, M., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas Martin, J.-L. (Ed.) & Schwefel, H.-P. (Ed.) (2002).
The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. In
Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Vol. 2439, pp. 621-630). Springer.
Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C.
& Spitters, B. (2024).
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. In A. Timany, D. Traytel, B. Pientka & S. Blazy (Eds.),
CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 30-44). Association for Computing Machinery.
https://doi.org/10.1145/3636501.3636961
Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000).
The Knight Project: Tool Support for Collaborative Object-Oriented Modeling. Pictures, Video and sound recordings (digital)
Hansen, K. M., MacIntyre, B., Mynatt, E. D., Voida, S. & Tullio, J. (2001).
The Kimura System. Pictures, Video and sound recordings (digital)
Sandel, B. S., Arge, L. A., Dalsgaard, B., Davies, R., Gaston, K., Sutherland, B.
& Svenning, J.-C. (2011).
The influence of Late Quaternary climate-change velocity on species endemism.
Science,
334, 660-664.
Moeslund, J. E., Arge, L. A., Bøcher, P. K.
, Nygaard, B. & Svenning, J.-C. (2009).
The impacts of coastal squeezing on salt-meadow plant communities in Denmark. Poster session presented at Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Denmark.
Micallef, L.
, Schulz, H.-J., Angelini, M., Aupetit, M., Chang, R., Kohlhammer, J., Perer, A. & Santucci, G. (2019).
The Human User in Progressive Visual Analytics. In
EuroVis 2019 - Short Papers (pp. 19-23). Eurographics Association.
https://doi.org/10.2312/evs.20191164
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2017).
The HoTT Library: A Formalization of Homotopy Type Theory in Coq. In Y. Bertot & V. Vafeiadis (Eds.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (pp. 164-172). Association for Computing Machinery.
https://doi.org/10.1145/3018610.3018615
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2016).
The HoTT Library: A formalization of homotopy type theory in Coq.
http://arxiv.org/abs/1610.04591
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
Ernst, E. (2005).
The Hardship of Software. In
Proceedings of the workshop 'Software Engineering Properties of Languages and Aspect Technologies 2005' The Aspect-Oriented Software Association.