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

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Paper presented at PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, United States.

Kirkegaard, K. K., Fredsted, P. V., Jensen, J. M., Hindkjær, J. J., Kølvraa, S., Ingerslev, H. J. & Lykke-Hartmann, K. (2015). Distinct differences in global gene expression profiles in non-implanted blastocysts and blastocysts resulting in live birth. Gene, 571(2), 212-220. https://doi.org/10.1016/j.gene.2015.06.057

Kirkegaard, C. (2006). Programming with XML.

Kirchner, H. & Mosses, P. D. (2001). Algebraic Specifications, Higher-order Types and Set-theoretic Models. Journal of Logic and Computation, 11(3), 453-481.

Kingo Mogensen, T. & Aranha, D. F. (2022). Security analysis of the passwordless MitID digital identity system. Abstract from 27th Nordic Conference on Secure IT Systems (NordSec 2022), Reykjavik, Iceland.

Kingo, T. & Aranha, D. F. (2023). User-centric security analysis of MitID: the Danish passwordless digital identity solution. Computers & Security, 132, Article 103376. https://doi.org/10.1016/j.cose.2023.103376

King, T. & Kjærgaard, M. B. (2008). ComPoScan: Adaptive Scanning for Efficient Concurrent Communications and Positioning with 802.11. In D. Grunwald, R. Han, E. de Lara & C. Schlatter Ellis (Eds.), Proceedings of the 6th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys 2008): SESSION: Stretching WiFi (Vol. Session 2, pp. 67-80). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378609

King, T., Knierim, M., Lepold, P., Clarke, C., Gellersen, H., Beigl, M. & Röddiger, T. (2025). earEOG via periauricular electrodes to facilitate eye tracking in a natural headphone form factor. Scientific Reports, 15(1), Article 32437. https://doi.org/10.1038/s41598-025-16839-z

Kinch, S., Grönvall, E., Petersen, M. G. & Rasmussen, M. K. (2014). Encounters on a Shape-changing Bench: Exploring atmospheres and social behaviour in situ. In A. Butz & S. Greenberg (Eds.), Proceedings of the 8th International Conference on Tangible, Embedded and Embodied Interaction, TEI '14 (pp. 233-240 ). Association for Computing Machinery. https://doi.org/10.1145/2540930.2540947

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. BRICS Report Series, (RS-98-15).

Kim, J. M., Jacobsen, R. H. & Brewer, R. S. (2016). CoFELS: Conceptual Framework for Electricity Load Shifting System Design. In Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016: (DSD 2016) (Vol. 2016, pp. 268-275). Article 7723563 IEEE. https://doi.org/10.1109/DSD.2016.48

Kim, J., Lee, H., Nguyen, D. M., Shin, M., Kwon, B. C., Ko, S. & Elmqvist, N. (2025). DG Comics: Semi-Automatically Authoring Graph Comics for Dynamic Graphs. IEEE Transactions on Visualization and Computer Graphics, 31(1), 973-983. https://doi.org/10.1109/TVCG.2024.3456340

Kim, J., Park, S., Zhou, Q., Gonzalez-Franco, M., Lee, J. & Pfeuffer, K. (2025). PinchCatcher: Enabling Multi-selection for Gaze+Pinch. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 853 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713530

Killmann, K. S. (2025). Fast (Correct) Clustering in Time and Space using the GPU. [PhD thesis, Aarhus University].

Khurana, A., Logins, A. & Karras, P. (2020). Selecting Influential Features by a Learnable Content-Aware Linear Threshold Model. In CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management (pp. 635-644). Association for Computing Machinery. https://doi.org/10.1145/3340531.3411886

Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021). An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation. Frontiers in Bioengineering and Biotechnology, 9, Article 732917. https://doi.org/10.3389/fbioe.2021.732917

Khoshakhlagh, H. (2022). (Commit-and-Prove) Predictable Arguments with Privacy. In G. Ateniese & D. Venturi (Eds.), Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Proceedings (pp. 542-561). Springer. https://doi.org/10.1007/978-3-031-09234-3_27

Khoshakhlagh, H. (2022). Cryptography for Scalability and Identity in Blockchain Applications. [PhD thesis, Aarhus University]. Aarhus Universitet.

Khani, P., Moeinaddini, E., Abnavi, N. D. & Shahraki, A. (2024). Explainable artificial intelligence for feature selection in network traffic classification: A comparative study. Transactions on Emerging Telecommunications Technologies, 35(4), Article e4970. https://doi.org/10.1002/ett.4970

Khani, P. & Assent, I. (2025). Causal Banzhaf Value for Aggregate Query Explanations. CEUR Workshop Proceedings, 3931, 54-58.

Khaled, E. & Katriel, I. (2006). Multiconsistency and Robustness with Global Constraints. Constraints, 11(4), 335-352.

Keller, H., Orlandi, C., Paskin-Cherniavsky, A. & Ravi, D. (2023). MPC with Low Bottleneck-Complexity: Information-Theoretic Security and More. In K.-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (pp. 11:1-11:22). Article 11 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.11

Keller, H., Möllering, H., Schneider, T., Tkachenko, O. & Zhao, L. (2024). Secure Noise Sampling for DP in MPC with Finite Precision. In ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security Article 25 Association for Computing Machinery. https://doi.org/10.1145/3664476.3664490

Keller, M. (2012). Theory and practice of cryptographic protocols -or- cryptography: will it blend? Department of Computer Science, Aarhus University.

Kejser, T. & Grønbæk, K. (2003). The Gaia Framework: Version Support In Web Based Open Hypermedia. In P. Isaías & N. Karmakar (Eds.), Proceedings of the IADIS International Conference on WWW/Internet 2003 (pp. 314-325). International Association for Development, IADIS.

Kejlberg-Rasmussen, C. & Brodal, G. S. (2012). Cache-Oblivious Implicit Predecessor Dictionaries with the Working-Set Property. Leibniz International Proceedings in Informatics, 14, 112--123. https://doi.org/10.4230/LIPIcs.STACS.2012.112

Kejlberg-Rasmussen, C., Tsakalidis, K. & Tsichlas, K. (2012). I/O-Efficient Dynamic Planar Range Skyline Queries. arxiv.org. http://arxiv.org/abs/1207.2341

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2013). I/O-Efficient Planar Range Skyline and Attrition Priority Queues. In R. Hull & W. Fan (Eds.), Proceedings of the 32nd symposium on Principles of database systems , PODS '13 (pp. 103-114 ). Association for Computing Machinery. https://doi.org/10.1145/2463664.2465225

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 ed.) arxiv.org. http://arxiv.org/abs/1407.6755v1

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2021). I/O-efficient 2-d orthogonal range skyline and attrition priority queues. Computational Geometry: Theory and Applications, 93, Article 101689. https://doi.org/10.1016/j.comgeo.2020.101689

Kejlberg-Rasmussen, C. (2013). Dynamic Data Structures: The Interplay of Invariants and Algorithm Design. Department of Computer Science, Aarhus University.

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (2025). That's AmorE: Amortized Efficiency for Pairing Delegation. In Y. Tauman Kalai & S. F. Kamara (Eds.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (pp. 211-246) https://doi.org/10.1007/978-3-032-01913-4_7

Kavvos, G. A. (2020). Dual-context calculi for modal logic. Logical Methods in Computer Science, 16(3), 10:1-10:66. https://doi.org/10.23638/LMCS-16(3:10)2020

Kavvos, G. A. & Gratzer, D. (2023). Under Lock and Key: A Proof System for a Multimodal Logic. Bulletin of Symbolic Logic, 29(2), 264-293. https://doi.org/10.1017/bsl.2023.14

Kautz, S. M. & Miltersen, P. B. (1996). Relative to a Random Oracle, NP is not small. Journal of Computer and System Sciences, 235-250. https://doi.org/10.1006/jcss.1996.0065

Kautz, S. M. & Miltersen, P. B. (1994). Relative to a Random Oracle, NP is not small. In Proceedings of the Ninth Annual Structure in Complexity Theory Conference, 1994. (pp. 162-174). IEEE Computer Society Press.

Kaul, M., Khosla, R. & Mitsukura, Y. (2003). Intelligent Packet Shaper to Avoid Network Congestion for Improved Streaming Video Quality at Clients. In Proceedings 2003 IEEE International Symposium on Computational Intelligence in Robotics and Automation (pp. 988-993). IEEE Computer Society Press. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=1222051&contentType=Conference+Publications&searchField%3DSearch_All%26queryText%3DProceedings+of+IEEE+International+Symposium+on+Computational+Intelligence+in+Robotics+and+Automation

Kaul, M., Wong, R. C.-W., Yang, B. & Jensen, C. S. (2013). Finding Shortest Paths on Terrains by Killing Two Birds with One Stone. Proceedings of the VLDB Endowment, 7(1), 73-84. http://www.vldb.org/pvldb/vol7/p73-kaul.pdf

Kaul, M., Yang, B. & Jensen, C. S. (2013). Building Accurate 3D Spatial Networks to Enable Next Generation Intelligent Transportation Systems. In IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (pp. 137 - 146 ). IEEE. https://doi.org/10.1109/MDM.2013.24

Kaul, M. (2014). Enabling Advanced Path-Finding on Terrains and in Spatial Networks. Department of Computer Science, Aarhus University.

Katriel, I. & van Hentenryck, P. (2005). Maintaining Longest Paths in Cyclic Graphs. In CP 2005 (pp. 358-372). Springer LNCS.

Katriel, I. & Bodlaender, H. L. (2006). Online Topological Ordering. A C M Transactions on Algorithms, 2(3), 364-379.

Katriel, I. (2006). Expected-Case Analysis for Delayed Filtering. In Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (LNCS 3990 ed., pp. 119-125). Springer.

Katriel, I. & Van Hentenryck, P. (2008). Randomized Filtering Algorithms. Psychopharmacology Update, CS-06-09.

Kaspersen, M. H., Hines, S., Moore, M., Rasmussen, M. K. & Dias, M. A. (2019). Lifting Kirigami Actuators Up Where They Belong: Possibilities for SCI. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 935-947). Association for Computing Machinery. https://doi.org/10.1145/3322276.3323688

Kaspersen, M. H. & Bilstrup, K.-E. K. (2020). VotestratesML: Social Studies as a Vehicle for Teaching Machine Learning. In B. Tangney, J. R. Byrne & C. Girvan (Eds.), Proceedings of the 2020 Constructionism Conference (pp. 44-45)

Kaspersen, M. H., Bilstrup, K.-E. K. & Petersen, M. G. (2021). The Machine Learning Machine: A Tangible User Interface for Teaching Machine Learning. In TEI 2021 - Proceedings of the 15th International Conference on Tangible, Embedded, and Embodied Interaction (pp. 1-12). Article 19 Association for Computing Machinery. https://doi.org/10.1145/3430524.3440638

Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021). Towards a model of progression in computational empowerment in education. International Journal of Child - Computer Interaction, 29, Article 100302. https://doi.org/10.1016/j.ijcci.2021.100302

Kaspersen, M. H., Bilstrup, K.-E. K., Van Mechelen, M., Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021). VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. In Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Article 3466728 Association for Computing Machinery. https://doi.org/10.1145/3466725.3466728

Kaspersen, M. H., Bilstrup, K. E. K., Van Mechelen, M., Hjort, A., Bouvin, N. O. & Petersen, M. G. (2022). High school students exploring machine learning and its societal implications: Opportunities and challenges. International Journal of Child-Computer Interaction, 34, Article 100539. https://doi.org/10.1016/j.ijcci.2022.100539

Displaying results 2201 to 2250 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