Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2017).
Interactive exploration of subspace clusters for high dimensional data. I D. Benslimane, E. Damiani, W. I. Grosky, A. Hameurlain, A. Sheth & R. R. Wagner (red.),
Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Proceedings (Bind 10438 LNCS, s. 327-342). Springer VS.
https://doi.org/10.1007/978-3-319-64468-4_25
Kristensen, E. K. & Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. I M. Huisman & J. Rubin (red.),
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Bind 10202, s. 99-115). Springer VS.
https://doi.org/10.1007/978-3-662-54494-5_6
Krebbers, R., Jung, R.
, Bizjak, A., Jourdan, J.-H., Dreyer, D.
& Birkedal, L. (2017).
The Essence of Higher-Order Concurrent Separation Logic. I H. Yang (red.),
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 (s. 696-723). Springer VS.
https://doi.org/10.1007/978-3-662-54434-1_26
Krebbers, R., Timany, A. & Birkedal, L. (2017).
Interactive proofs in higher-order concurrent separation logic. I A. D. Gordon & G. Castagna (red.),
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (s. 205-217). Association for Computing Machinery.
https://doi.org/10.1145/3009837.3009855
Krauter, H.
, Sherson, J. F., Jensen, K., Fernholz, T., Neergaard-Nielsen, J. S., Nielsen, B. M., Oblak, D., Windpassinger, P.
, Kjærgaard, N., Hilliard, A. J., Olausson, C.
, Müller, J. H. & Polzik, E. S. (2008).
Quantum interface between light and atomic ensembles. I
Proceedings of the 18th International Conference on Laser Spectroscopy, ICOLS 2007 (s. 113-124). World Scientific Publishing Co. Pte Ltd.
Korsgaard, H., Lewkowicz, M., Boden, A.
, Bødker, S. & Avram, G. (2020).
ECSCW Workshop: Studying Technical Mechanisms for Supporting Sharing Communities. Abstract fra The 18th European Virtual Conference on
Computer-Supported Cooperative Work, Siegen, Tyskland.
https://cio.cs.au.dk/ecscw-workshop/pdfs/eCSCW_workshop__Technical_Mechanisms_for_supporting_sharing_communities.pdf
Korsgaard, H., Lyle, P. J., Saad-Sulonen, J.
, Klokmose, C. N., Nouwens, M. & Bødker, S. (2022).
Collectives and Their Artifact Ecologies.
Proceedings of the ACM on Human-Computer Interaction,
6(CSCW2), Artikel 432.
https://doi.org/10.1145/3555533
Korreman, S. S., Behrens, C. P., Hansen, V. N.
, Thygesen, J. & Andersen, T. L. (2023).
New technologies from bench to bedside - report from the Nordic association for clinical physics 2023 symposium.
Acta oncologica (Stockholm, Sweden),
62(10), 1157-1160.
https://doi.org/10.1080/0284186X.2023.2262111
Korpela, M., Allen, J. P.
, Bertelsen, O., Dittrich, Y., Kuutti, K., Lauche, K. & Mursu, A. (2004).
Researching and developing work activities in information systems: Experiences and the way forward. I
Inf. Systems Research: Relevant Theory and Informed Practice - IFIP TC8/WG8.2 20th Year Retrospective: Relevant Theory and Informed Practice-Looking Forward from a 20-Year Perspective on IS Res. (s. 655-656). Springer.
Kondi, Y., Orlandi, C. & Roy, L. (2023).
Two-Round Stateless Deterministic Two-Party Schnorr Signatures from Pseudorandom Correlation Functions. I H. Handschuh & A. Lysyanskaya (red.),
Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part I (s. 646-677). Springer.
https://doi.org/10.1007/978-3-031-38557-5_21
Kolstad, H. A., Stokholm, Z. A., Jensen, C. S., Frederiksen, T. W. & Bonde, J. P. (2011).
Are occupational noise-exposure levels declining? I
10th International Congress on Noise as a Public Health Problem 2011, ICBEN 2011 - Proceedings of the Institute of Acoustics (PART 3 udg., Bind 33 1, s. 148-151)
Kohlweiss , M., Maurer , U., Onete , C., Tackmann , B.
& Venturi, D. (2013).
Anonymity-Preserving Public-Key Encryption: A Constructive Approach. I E. De Cristofaro & M. Wright (red.),
Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings (s. 19-39). Springer VS.
https://doi.org/10.1007/978-3-642-39077-7_2
Kohlweiss, M.
, Pancholi, M. R. & Takahashi, A. (2023).
How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. I G. Rothblum & H. Wee (red.),
Theory of Cryptography: Book Subtitle 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III (s. 486–512). Springer.
https://doi.org/10.1007/978-3-031-48621-0_17
Koester, T., Jakobsen, J., Brøsted, J. E., Bach, K.
, Petersen, O. B., Kyng, M. & Rasch, S. M. (2015).
Mental Models and Deliberate Manipulation of Data. I
Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care 2015 (1 udg., Bind 4, s. 62-69)
https://doi.org/10.1177/2327857915041021
Knudsen, M., Søndergaard, D. A., Tofting-Olesen, C., Hansen, F. T., Brodersen, D. E. & Pedersen, C. S. (2016).
Computational discovery of specificity-conferring sites in non-ribosomal peptide synthetases.
Bioinformatics,
32(3), 325-329.
https://doi.org/10.1093/bioinformatics/btv600