Aarhus University Seal

Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Kristensen, L. M. (2007). The ASCoVeCo State Space Analysis Platform: Next Generation Tool Support for State Space Analysis (Invited Tutorial). In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 1-6)
Kristensen, M. D. & Bouvin, N. O. (2008). Developing Cyber Foraging Applications for Portable Devices. In Proceedings from the 2nd IEEE International Interdisciplinary Conference on Portable Information Devices: 2nd IEEE International Interdisciplinary Conference on Portable Information Devices, 2008 and the 2007 7th IEEE Conference on Polymers and Adhesives in Microelectronics and Photonics. PORTABLE-POLYTRONIC 2008. (pp. 1-6). IEEE Press. https://doi.org/10.1109/PORTABLE-POLYTRONIC.2008.4681270
Kristensen, M. D. (2008). Execution Plans for Cyber Foraging. In O. Riva & L. Veiga (Eds.), Middleware Conference: Proceedings of the 1st workshop on Mobile middleware: embracing the personal communication device (pp. Article 2). Association for Computing Machinery.
Kristensen, M. D. (2008). Scavenger - Mobile Remote Execution. Department of Computer Science, University of Aarhus. DAIMI PB No. PB-587
Kristensen, T. G. (2009). Recombining Angles in Differential Evolution. In IEEE Congress on Evolutionary Computation, CEC 2009 (pp. 3353 - 3356). IEEE Press. https://doi.org/10.1109/CEC.2009.4983370
Kristensen, T. G. & Pedersen, C. S. (2009). Optimal Overlay of Ligands with Flexible Bonds Using Differential Evolution. In J. Zhang, G.-Z. Li & J. Y. Yang (Eds.),  Proceedings of the 2009 International Joint conferences on Bioinformatics, System biology and Intelligent Computing (IJCBS2009) (pp. 331-334). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.36
Kristensen, T. G., Pedersen, C. S., Thomsen, R. & Christensen, M. H. (2009). Largest Common Chemical Feature Subtree as a Virtual Screening Method. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C
Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The  Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021
Kristensen, M. D. (2010). Scavenger: Transparent Development of Efficient Cyber Foraging Applications. In IEEE International Conference on Pervasive Computing and Communications (PerCom 2010). Proceedings (pp. 217-226). IEEE. https://doi.org/10.1109/PERCOM.2010.5466972
Kristensen, M. D. & Bouvin, N. O. (2010). Using Wi-Fi to Save Energy via P2P Remote Execution. In 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2010). Proceedings (pp. 123-128). IEEE. https://doi.org/10.1109/PERCOMW.2010.5470614
Kristensen, T. G. & Pedersen, C. N. S. (2010). Data Structures for Accelerating Tanimoto Queries on Real Valued Vectors. In V. Moulton & M. Singh (Eds.), Algorithms in Bioinformatics: 10th International Workshop (WABI 2010) (Vol. 6293, pp. 28-39). Springer.
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1983). Abstraction Mechanisms in the BETA Programming Language. In Tenth ACM Symposium on Principles of Programming Languages (pp. 285-298). Association for Computing Machinery. https://doi.org/10.1145/567067.567094
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). Classification of Actions or Inheritance also for Methods. In ECOOP'87, European Conference on Object-Oriented Programming (pp. 98-107). Springer. https://doi.org/10.1007/3-540-47891-4_10
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1988). Coroutine Sequencing in BETA. Paper presented at Hawaii International Conference on System Sciences , United States. https://doi.org/10.1109/HICSS.1988.11830
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1982). Syntax Directed Program Modularization. In P. Degano & E. Sandewall (Eds.), Integrated interactive computing systems: European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 North-Holland.
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). An Algebra for Program Fragments. In SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments (pp. 161-170). Association for Computing Machinery. https://doi.org/10.1145/800225.806837
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). The BETA Programming Language. In B. D. Shriver & P. Wegner (Eds.), Research Directions in Object Oriented Programming (pp. 7-48). MIT Press.
Kristensen, M. D., Kjærgaard, M. B., Toftkjær, T., Bhattacharya, S. & Nurmi, P. (2011). Improving Pervasive Positioning through Three-tier Cyber Foraging. In 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) (pp. 135-140) https://doi.org/10.1109/PERCOMW.2011.5766855
Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2017). Interactive exploration of subspace clusters for high dimensional data. In D. Benslimane, E. Damiani, W. I. Grosky, A. Hameurlain, A. Sheth & R. R. Wagner (Eds.), Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Proceedings (Vol. 10438 LNCS, pp. 327-342). Springer VS. https://doi.org/10.1007/978-3-319-64468-4_25
Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. Article 90. https://doi.org/10.1145/3133914
Kristensen, E. K. & Møller, A. (2017). Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.), 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 (Vol. 10202, pp. 99-115). Springer VS. https://doi.org/10.1007/978-3-662-54494-5_6
Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.
Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O. (2024). On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 8(POPL), 1239-1268. https://doi.org/10.1145/3632884
Krink, T., van Kooten Niekerk, K. (Ed.) & Buhl, H. (Ed.) (2004). Complexity and the Computing Age: Can Computers Really Help to Understand Complex Phenomena in Nature? In The Significance of Complexity (pp. 47-73). Ashgate publishing.
Krink, T., Filipic, B., Fogel, G. B. & Thomsen, R. (2004). Noisy Optimization Problems - A Particular Challenge for Differential Evolution? In Ikke angivet (pp. 332-339). IEEE Press.
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. & Paterlini, S. (2006). Differential Evolution and Particle Swarm Optimization for Partitional Clustering. Computational Statistics & Data Analysis, 50/5(446), 27.
Krink, T. & Thomsen, R. (2001). Self-Organized Criticality and Mass Extinction in Evolutionary Algorithms. In Proceedings of the Third Congress on Evolutionary Computation (CEC 2001).: Vol. 2 (Vol. 2, pp. 1155-1161). IEEE.
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.
Krieger, L., Beer, A., Matthews, P., Thiesson, A. M. & Assent, I. (2025). FAIRDEN: FAIR DENSITY-BASED CLUSTERING. In 13th International Conference on Learning Representations, ICLR 2025 (pp. 19570-19589). International Conference on Learning Representations, ICLR.
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_9