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
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.
Krink, T., Ursem, R. K., Filipic, B., Spector, L. (red.), Goodman, E. D. (red.), Wu, A. (red.), Langdon, W. B. (red.), Voigt, H. (red.), Gen, M. (red.), Sen, S. (red.), Dorio, M. (red.), Pezeshk, S. (red.), Garzon, M. H. (red.) & Burke, E. (red.) (2001).
Evolutionary Algorithms in Control Optimization: The Greenhouse Problem. I
GECCO 2001: Proceedings of the Genetic and Evolutionary Computation Conference (s. 440-447). Morgan Kaufmann.
Krink, T., Vesterstrøm, J. S., Riget, J., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002).
Particle Swarm Optimisation with Spatial Particle Extension. I
Proceedings of the Evolutionary Computation on 2002. CEC '02.: Proceedings of the 2002 Congress (Bind 02, s. 1474-1479). IEEE.
Krieg-Brückner, B.
, Mosses, P. D. & Mosses, P. D. (red.) (2004).
Casl Summary. I
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 1-69). Springer.
Krieg-Brückner, B.
, Mosses, P. D. & Mosses, P. D. (red.) (2004).
Casl Syntax. I
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 71-112). Springer.
Kremer, H., Günnemann, S., Ivanescu, A.-M.
, Assent, I. & Seidl, T. (2011).
Efficient Processing of Multiple DTW Queries in Time Series Databases.
Lecture Notes in Computer Science,
6809, 150-167.
https://doi.org/10.1007/978-3-642-22351-8_9
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
Kostitsyna, I., Löffler, M., Polishchuk, V.
& Staals, F. (2016).
On the complexity of minimum-link path problems. I S. Fekete & A. Lubiw (red.),
32nd International Symposium on Computational Geometry, SoCG 2016 (Bind 51, s. 49.1-49.16). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.SoCG.2016.49
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