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

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. https://doi.org/10.1145/3613904.3642607

Kaspersen, M. H. (2023). AI Education that Matters: Designing Computationally Empowering Learning Tools for Machine Learning. [PhD thesis, Aarhus University]. Aarhus Universitet.

Karthik, C. S., Lee, E., Rabani, Y., Schwiegelshohn, C. & Zhou, S. (2025). On Approximability of l²₂Min-Sum Clustering. In O. Aichholzer & H. Wang (Eds.), 41st International Symposium on Computational Geometry, SoCG 2025 Article 62 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.62

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

Karbasi, A. & Larsen, K. G. (2024). The Impossibility of Parallelizing Boosting. In Proceedings of Machine Learning Research (Vol. 237, pp. 635-653)

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

Kaptelinin, V. & Bannon, L. J. (2012). Interaction Design Beyond the Product : Creating Technology-Enhanced Activity Spaces. Human-Computer Interaction, 27(3), 277-309. http://www.tandfonline.com/doi/abs/10.1080/07370024.2011.646930#tabModule

Kaporis, A., Papadopoulos, A., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2010). Efficient processing of 3-sided range queries with probabilistic guarantees. In Proceedings of the 13th International Conference on Database Theory (pp. 34-43). Association for Computing Machinery. https://doi.org/10.1145/1804669.1804676

Kannabiran, G. & Petersen, M. G. (2010). Politics at the interface: a Foucauldian power analysis. In E. T. Hvannberg & M. K. Lárusdóttir (Eds.), Proceedings of the 6th Nordic Conference on Human-Computer Interaction. NordiCHI '10: Extending Boundaries (pp. 695-698). Association for Computing Machinery. https://doi.org/10.1145/1868914.1869007

Kannabiran, G. & Bødker, S. (2020). Prototypes as Objects of Desire. In DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1619-1631). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395487

Kannabiran, G., Hoggan, E. & Hansen, L. K. (2020). Somehow They Are Never Horny! In DIS 2020 Companion - Companion Publication of the 2020 ACM Designing Interactive Systems Conference (pp. 131-137). Association for Computing Machinery. https://doi.org/10.1145/3393914.3395877

Kán, P., Kurtic, A., Radwan, M. & M. Loáiciga Rodríguez, J. (2021). Automatic Interior Design in Augmented Reality Based on Hierarchical Tree of Procedural Rules. Electronics, 10(3), 1-17. Article 245. https://doi.org/10.3390/electronics10030245

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

Kamp, S. H., Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2022). Enig: Player Replaceable Finality Layers with Optimal Validity. Cryptology ePrint Archive. https://eprint.iacr.org/2022/201

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. [PhD thesis, Aarhus University]. Institut for Datalogi, Aarhus Universitet.

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

Kallel, S., Charfi, A., Mezini, M., Jmaiel, M. & Klose, K. (2009). From Formal Access Control Policies to Runtime Enforcement Aspects. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-00199-4_2

Kalkofen, D., Veas, E., Zollmann, S., Steinberger, M. & Schmalstieg, D. (2013). Adaptive ghosted views for Augmented Reality. In 2013 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2013 (pp. 1-9). Article 6671758 https://doi.org/10.1109/ISMAR.2013.6671758

Kalavasis, A., Karbasi, A., Larsen, K. G., Velegkas, G. & Zhou, F. (2024). Replicable Learning of Large-Margin Halfspaces. In Proceedings of the 41 st International Conference on Machine Learning (Vol. 235, pp. 22861-22878). MLResearch Press.

Kafai, Y., Shapiro, R. B., Jetzinger, F., Michaeli, T., Tedre, M., Iversen, O. S., Musaeus, L. H., Ali, S. & Kumar, V. (2025). Youth as Designers of Artificial Intelligence and Machine Learning Technologies: What Do We Know About the Opportunities and Challenges of K-12 Students Creating Their Own Applicat. Paper presented at ISLS annual meeting, Helsinki, Finland. https://doi.org/10.22318/icls2025.362276

Kafai, Y. B., Shapiro, R. B., Jetzinger, F., Michaeli, T., Tedre, M., Vartiainen, H., Iivari, N., Musaeus, L. H., Iversen, O. S. & Ali, S. (2025). Youth as Designers of Artificial Intelligence and Machine Learning Technologies: What Do We Know About the Opportunities and Challenges of K-12 Students Creating Their Own Applications? In Proceedings of the 19th International Conference of the Learning Sciences - ICLS 2025 (pp. 2260-2268). International Society of the Learning Sciences (ISLS). https://doi.org/10.22318/icls2014.487

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

Justesen, P. & Ursem, R. K. (2010). Preference-Based Multi-Objective Distinct Candidates Optimization. In B. Filipic & J. Silc (Eds.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (pp. 117-130). Ljublana: Jozef Stefan Institute.

Justesen, P. & Ursem, R. K. (2010). Many-Objective Distinct Candidates Optimization using Differential Evolution. In Proceedings of the 2010 Congress on Evolutionary Computation (CEC 2010) (pp. 1-8). IEEE Press. https://doi.org/10.1109/CEC.2010.5586039

Jurik, B. A. & Nielsen, J. A. S. (2012). Audio Quality Assurance : An Application of Cross Correlation. In Proceedings of the 9th International Conference on Preservation of Digital Objects, iPRES (pp. 144-149). Digital Curation Institute, University of Toronto. http://www.scape-project.eu/publication/audio-quality-assurance

Jurdzinski, M., Nielsen, M. & Srba, J. (2003). Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation, 184(2), 343-368. https://doi.org/10.1016/S0890-5401(03)00064-6

Jurdzinski, M. & Nielsen, M. (2000). Hereditary History Preserving Bisimilarity Is Undecidable. In H. Reichel & S. Tison (Eds.), STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings (pp. 358-369). Springer. https://doi.org/10.1007/3-540-46541-3_30

Jurdzinski, M. & Nielsen, M. (1999). Hereditary History Preserving Bisimilarity Is Undecidable. BRICS Report Series, (RS-99-19).

Jurdzinski, M. & Nielsen, M. (1999). Hereditary history preserving simulation is undecidable. BRICS Report Series, (RS-99-1).

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

Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2016). Higher-order ghost state. In E. Sumii (Ed.), ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (pp. 256-269). Association for Computing Machinery. https://doi.org/10.1145/2951913.2951943

Jühne, J., Jensen, A. T. & Grønbæk, K. (1998). Ariadne: A Java-based guided tour system for the World Wide Web. Computer Networks, 30(1-7), 131-139. https://doi.org/10.1016/S0169-7552(98)00124-X

Joyal, A., Nielsen, M. & Winskel, G. (1996). Bisimulation from Open Maps. Information and Computation, 127(2), 164-185. https://doi.org/10.1006/inco.1996.0057

Joyal, A., Nielsen, M. & Winskel, G. (1993). Bisimulation and open maps. In Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93., (pp. 418-427). IEEE Computer Society Press. https://doi.org/10.1109/LICS.1993.287566

Jowhari, H. (2012). Efficient Communication Protocols for Deciding Edit Distance. Lecture Notes in Computer Science, 7501, 648-658 . https://doi.org/10.1007/978-3-642-33090-2_56

Jørgensen, J. B. & Moldt, D. (Ed.) (2004). CPN Models as Enhancements to a Traditional Software Specification for an Elevator Controller. In Ikke angivet (PB-571 of Daimi Reports ed., pp. 99-116). Aarhus University.

Jørgensen, J. B., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). Coloured Petri Nets in Development of a Pervasive Health Care System. In Ikke angivet (2679 of Lecture Notes in Computer Science ed., Vol. 2679/2003, pp. 256-275). Springer.

Jørgensen, J. B. & Jensen, K. (Ed.) (2002). Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. In Ikke angivet (DAIMI PB-560 ed., pp. 61-80). Department of Computer Science, University of Aarhus.

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. & Bossen, C. (2004). Executable Use Cases: Requirements for a Pervasive Health Care System. I E E E Software, 21(2), 34-41.

Jørgensen, J. B., Bossen, C., Giese, H. (Ed.) & Kruger, I. (Ed.) (2004). Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications. In Proceedings of the 26th International Conference on Software Engineering: 3rd Workshop on Scenarios and State Machines: Models, Algorithms, and Tools IEEE.

Jørgensen, J. B., Bossen, C. & Wieringa, R. (Ed.) (2003). Requirements Engineering for a Pervasive Health Care System. In Ikke angivet (pp. 55-64). IEEE.

Jørgensen, J. B., Christensen, S., Jezequel, J.-M. (Ed.), Hussmann, H. (Ed.) & Cook, S. (Ed.) (2002). Executable Design Models for a Pervasive Healthcare Middleware System. In Lecture Notes In Computer Science: 5th International Conference on The Unified Modeling Language (Vol. 2460, pp. 140-149). Springer.

Jørgensen, J. B., Christensen, S., Desel, J. (Ed.), Reisig, W. (Ed.) & Rozenberg, G. (Ed.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. In Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science ed., pp. 402-412). Springer.

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.

Jørgensen, J. B. & Kristensen, L. M. (2003). Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. LINCOM Studies in Computer Science, (1), 17-34.

Jørgensen, J. B. & Lassen, K. B. (2006). Aligning Work Processes and the Adviser Portal Bank System. In Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems: RENBITA 2005 (pp. 259 - 268). IEEE Computer Society Press.

Displaying results 2251 to 2300 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University