Krink, T., Løvbjerg, M., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas Martin, J.-L. (Ed.) & Schwefel, H.-P. (Ed.) (2002).
The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. In
Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Vol. 2439, pp. 621-630). Springer.
Krink, T., Ursem, R. K., Filipic, B., Spector, L. (Ed.), Goodman, E. D. (Ed.), Wu, A. (Ed.), Langdon, W. B. (Ed.), Voigt, H. (Ed.), Gen, M. (Ed.), Sen, S. (Ed.), Dorio, M. (Ed.), Pezeshk, S. (Ed.), Garzon, M. H. (Ed.) & Burke, E. (Ed.) (2001).
Evolutionary Algorithms in Control Optimization: The Greenhouse Problem. In
GECCO 2001: Proceedings of the Genetic and Evolutionary Computation Conference (pp. 440-447). Morgan Kaufmann.
Krink, T., Vesterstrøm, J. S., Riget, J., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002).
Particle Swarm Optimisation with Spatial Particle Extension. In
Proceedings of the Evolutionary Computation on 2002. CEC '02.: Proceedings of the 2002 Congress (Vol. 02, pp. 1474-1479). IEEE.
Krieg-Brückner, B.
, Mosses, P. D. & Mosses, P. D. (Ed.) (2004).
Casl Summary. In
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science ed., pp. 1-69). Springer.
Krieg-Brückner, B.
, Mosses, P. D. & Mosses, P. D. (Ed.) (2004).
Casl Syntax. In
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science ed., pp. 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_9Krebbers, R., Jung, R.
, Bizjak, A., Jourdan, J.-H., Dreyer, D.
& Birkedal, L. (2017).
The Essence of Higher-Order Concurrent Separation Logic. In H. Yang (Ed.),
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 (pp. 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. In A. D. Gordon & G. Castagna (Eds.),
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (pp. 205-217). Association for Computing Machinery.
https://doi.org/10.1145/3009837.3009855
Korsgaard, H., Lewkowicz, M., Boden, A.
, Bødker, S. & Avram, G. (2020).
ECSCW Workshop: Studying Technical Mechanisms for Supporting Sharing Communities. Abstract from The 18th European Virtual Conference on
Computer-Supported Cooperative Work, Siegen, Germany.
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), Article 432.
https://doi.org/10.1145/3555533
