Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2005).
Knight. Softwareprogram
Hansen, K. M. (2001).
Kimura. Softwareprogram
Petersen, L. K., Vaesel, H., Brønsgaard, P. H., Kolby, P. & Madsen, K. G. (2009).
Kendskab til humant papillomvirus-relateret sygdom blandt kvinder i almen praksis.
Ugeskrift for Læger,
171(14), 1173-7.
Christensen, H. B., Blunck, H., Bouvin, N. O., Brewer, R. S. & Wüstenberg, M. (2014).
Karibu: A Flexible, Highly-Available, and Scalable Architecture for Urban Data Collection. I F. Kawsar, U. Blanke & A. Mashhadi (red.),
Proceedings of the First International Conference on IoT in Urban Space, URB-IOT '14 (s. 96-98 ). Association for Computing Machinery.
https://doi.org/10.4108/icst.urb-iot.2014.257253
Georgiev, I., Křivánek, J.
, Hachisuka, T., Nowrouzezahrai , D. & Jarosz, W. (2013).
Joint importance sampling of low-order volumetric scattering.
A C M Transactions on Graphics, (6), Artikel 164 .
https://doi.org/10.1145/2508363.2508411
Brandt, M. S., Larsen, S. B., Grönvall, E., Læssøe, U.
& Damsgaard, E. M. S. (2010).
IT-support in home rehabilitation of geriatric patients with vestibular dysfunction. Abstract fra EUGMS, Dublin, Irland.
Kyng, M. (2002).
IT, samfund og dannelse. I C. Bach-Nielsen (red.),
Dannelse, Uddannelse, Universiteter: Festskrift til Henning Lehmann den 31. januar 2002 (s. 77-94). Aarhus Universitetsforlag.
Rasmussen, M. K., Grönvall, E., Kinch, S. & Petersen, M. G. (2013).
It’s alive, it’s magic, it’s in love with you: Opportunities, Challenges and Open Questions for Actuated Interfaces. I H. Shen, R. Smith, J. Paay, P. Calder & T. Wyeld (red.),
Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration. OzCHI '13 (s. 63-72). Association for Computing Machinery.
https://doi.org/10.1145/2541016.2541033
Bødker, S. (2007).
It is still a STAR. I T. Erickson & D. McDonald (red.),
HCI Remixed. Reflections on Works That Have Influenced the HCI Community (s. 49-55). MIT Press.
André, É., Arias, J., Petrucci, L.
& Pol, J. V. D. (2021).
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. I J. F. Groote & K. G. Larsen (red.),
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I (s. 311-329). Springer.
https://doi.org/10.1007/978-3-030-72016-2_17
Sammler, M., Hammond, A., Lepigre, R., Campbell, B.
, Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022).
Islaris: verification of machine code against authoritative ISA semantics. I R. Jhala & I. Dillig (red.),
PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery.
https://doi.org/10.1145/3519939.3523434
Rao, X.
, Georges, A. L., Legoupil, M., Watt, C.
, Pichon-Pharabod, J., Gardner, P.
& Birkedal, L. (2023).
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proceedings of the ACM on Programming Languages ,
7, Artikel 151.
https://doi.org/10.1145/3591265
JUNG, RALF.
, KREBBERS, ROBBERT., JOURDAN, JACQUES.-HENRI.
, BIZJAK, ALEŠ., BIRKEDAL, LARS. & DREYER, DEREK. (2018).
Iris from the ground up: A modular foundation for higher-order concurrent separation logic.
Journal of Functional Programming,
28, 1-73. Artikel e20.
https://doi.org/10.1017/S0956796818000151
Dittrich, Y. (red.), Strand, D. L. (red.), Nørbjerg, J. (red.)
, Bertelsen, O. W. (red.) & 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.
Jung, R., Swasey, D.
, Sieczkowski, F., Svendsen, K., Turon, A.
, Birkedal, L. & Dreyer, D. (2015).
Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning. I S. Rajamani (red.),
Conference Record of the Annual ACM Symposium on Principles of Programming Languages (s. 637-650). Association for Computing Machinery.
https://doi.org/10.1145/2676726.2676980