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), Artikel 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. I P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (red.),
Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (s. 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. I E. Jul (red.),
ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings (s. 13-40). Springer.
https://doi.org/10.1007/BFb0054085
Krink, T., Løvbjerg, M., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas Martin, J.-L. (red.) & Schwefel, H.-P. (red.) (2002).
The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. I
Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Bind 2439, s. 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. I A. Timany, D. Traytel, B. Pientka & S. Blazy (red.),
CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 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. Billeder, Video- og Lydoptagelser (digital)
Hansen, K. M., MacIntyre, B., Mynatt, E. D., Voida, S. & Tullio, J. (2001).
The Kimura System. Billeder, Video- og Lydoptagelser (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 præsenteret på Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Danmark.
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. I
EuroVis 2019 - Short Papers (s. 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. I Y. Bertot & V. Vafeiadis (red.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (s. 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