Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021).
Towards a model of progression in computational empowerment in education.
International Journal of Child - Computer Interaction,
29, Article 100302.
https://doi.org/10.1016/j.ijcci.2021.100302
Kaspersen, M. H., Bilstrup, K.-E. K., Van Mechelen, M., Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021).
VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. In
Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Article 3466728 Association for Computing Machinery.
https://doi.org/10.1145/3466725.3466728
Kaspersen, M. H., Bilstrup, K. E. K., Van Mechelen, M., Hjort, A.
, Bouvin, N. O. & Petersen, M. G. (2022).
High school students exploring machine learning and its societal implications: Opportunities and challenges.
International Journal of Child-Computer Interaction,
34, Article 100539.
https://doi.org/10.1016/j.ijcci.2022.100539
Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024).
From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (Eds.),
CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 268 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3613904.3642607
Karstoft, K., Lødrup, A. B.
, Dissing, T. H., Sørensen, T. S., Nyengaard, J. R. & Pedersen, M. (2007).
Different strategies for MRI measurements of renal cortical volume.
Journal of Magnetic Resonance Imaging,
26(6), 1564-71.
https://doi.org/10.1002/jmri.21121
Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S. (2017).
Property-directed inference of universal invariants or proving their absence.
Journal of the ACM,
64(1), 7:1-7:33. Article 7.
https://doi.org/10.1145/3022187
Karbyshev, A., Svendsen, K., Askarov, A. & Birkedal, L. (2018).
Compositional Non-interference for Concurrent Programs via Separation and Framing. In L. Bauer & R. Küsters (Eds.),
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Vol. 10804, pp. 53-78). Springer VS.
https://doi.org/10.1007/978-3-319-89722-6_3
Kaptelinin, V., Nardi, B.
, Bødker, S., Carroll, J., Hollan, J., Hutchins, E. & Winograd, T. (2003).
Post-cognitivist HCI: second-wave theories. In G. Cockton & P. Korhonen (Eds.),
Ikke angivet (pp. 692-693). Association for Computing Machinery.
https://doi.org/10.1145/765891.765933
Kamp, S. H., Magri, B., Matt, C.
, Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2021).
Weight-Based Nakamoto-Style Blockchains. In P. Longa & C. Ràfols (Eds.),
Progress in Cryptology – LATINCRYPT 2021: 7th International Conference on Cryptology and Information Security in Latin America Bogotá, Colombia, October 6–8, 2021, Proceedings (pp. 299-319). Springer International Publishing.
https://doi.org/10.1007/978-3-030-88238-9_15
Kalvisa, A.
, Tsirogiannis, C., Silamikelis, I., Skenders, G., Broka, L., Zirnitis, A., Jansone, I. & Ranka, R. (2016).
MIRU-VNTR genotype diversity and indications of homoplasy in M. avium strains isolated from humans and slaughter pigs in Latvia.
Infection, Genetics and Evolution,
43(September), 15-21.
https://doi.org/10.1016/j.meegid.2016.05.013
Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M.
& Pedersen, J. S. (2019).
ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation.
Bioinformatics,
35(2), 189-199.
https://doi.org/10.1093/bioinformatics/bty511
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. Article e20.
https://doi.org/10.1017/S0956796818000151
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. In S. Rajamani (Ed.),
Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 637-650). Association for Computing Machinery.
https://doi.org/10.1145/2676726.2676980
Jørgensen, J. B., Bossen, C., Benyon, D. (Ed.), Moody, P. (Ed.), Gruen, D. (Ed.) & McAra-McWilliam, I. (Ed.) (2004).
Context-descriptive Prototypes and Their Application to Medicine Administration. In
Ikke angivet (pp. 297-306). Society for Industrial and Applied Mathematics.
Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (Ed.) & Margaria, T. (Ed.) (2004).
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper presented at 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus.