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

Shi, Z., Møldrup, L., Mathur, U. & Pavlogiannis, A. (2026). The Complexity of Testing Message-Passing Concurrency. Proceedings of the ACM on Programming Languages , 10, 1-32. https://doi.org/10.1145/3776643

Hansen, R. R., Larsen, A. S. & Askarov, A. (2026). The Downgrading Semantics of Memory Safety. Proceedings of the ACM on Programming Languages , 10, 328-355. https://doi.org/10.1145/3808260

Larsen, K. G. & Simkin, M. (2026). Time/Space Tradeoffs for Generic Attacks on Delay Functions. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (pp. 451-477). Springer. https://doi.org/10.1007/978-3-032-12290-2_15

Acharya, A., Hazay, C., Prabhakaran, M. & Kolesnikov, V. (2026). Towards Building Efficient SCALES Protocols. In G. Hanaoka & B.-Y. Yang (Eds.), Advances in Cryptology - ASIACRYPT 2025 - 31st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V (Vol. 16249, pp. 35-67). Springer LNCS. https://doi.org/10.1007/978-981-95-5116-3_2

Molina León, G., Bach, B., Valentim, M. & Elmqvist, N. (2026). Towards Measuring Interactive Visualization Abilities: Connecting With Existing Literacies and Assessments.

Whiffing, J., Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2026). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction, 33(1), Article 11. https://doi.org/10.1145/3770583

Namakonov, E. S., Birkedal, L. & Timany, A. (2026). Verifying Wait-Freedom for Concurrent Higher-Order Programs. In R. Krebbers & A. Silva (Eds.), 40th European Conference on Object-Oriented Programming, ECOOP 2026 Article 20 https://doi.org/10.4230/LIPIcs.ECOOP.2026.20

Burattin, A., Miksch, S., Sadiq, S., Schulz, H.-J. & Vrotsou, K. (2026). VESPA: Visual Event-Stream Progressive Analytics. 549-556. Paper presented at 2nd Visual Process Analytics Workshop (VIPRA'25), Seville, Spain. https://doi.org/10.1007/978-3-032-13426-4_40

Da, L. & Hirzle, T. (2026). Virtual Perspectives: Effects of Spatial Presence and Agency on Affective and Cognitive Virtual Reality Perspective-Taking. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 632 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791058

Gao, Z., Guo, M., Han, J., Sun, B., Nie, K. & Zhang, Y. (2026). Visual Storytelling Beyond the Human: Co-Creation, Culture, and Futures. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.), CHI 2026 - Extended Abtracts of the 2026 CHI Conference on Human Factors in Computing Systems Article 981 Association for Computing Machinery. https://doi.org/10.1145/3772363.3778686

Eagan, L., Nguyen, N., Chen, A. V., Zhu, T., Johnson, S. M., Dumpa, P. R., Geil, B. J., Ventura, J. & Zollmann, S. (2026). VR Panorama Inpainting: A Feasibility Study of High-Resolution View Synthesis for Virtual Reality. In Proceedings - 2026 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2026 (pp. 137-146). IEEE. https://doi.org/10.1109/AIxVR67263.2026.00024

van de Pol, J. & Bouyer, P. (Eds.) (2025). 36th International Conference on Concurrency Theory, CONCUR 2025. Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 348 https://www.dagstuhl.de/dagpub/978-3-95977-389-8

Manakhov, P. (2025). 3D UI Placement for Interaction on the Go. [PhD dissertation, Aarhus University].

Cohen-Addad, V., Grandoni, F., Lee, E., Schwiegelshohn, C. & Svensson, O. (2025). A (2+ϵ)-Approximation Algorithm for Metric κ-Median. In M. Koucký & N. Bansal (Eds.), STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 615-624). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718299

Argo, S., Venema, M., Riepel, D., Güneysu, T. & Aranha, D. F. (2025). ABE Cubed: Advanced Benchmarking Extensions for ABE Squared. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025(4), 544-587. https://doi.org/10.46586/tches.v2025.i4.544-587

Ozbek, D., AlAlawi, M. & Wessely, M. (2025). AcceloPrint: Fabricating Customizable Accelerometers with Multi-Material 3D Printing. In CHI EA 2025 - Proceedings of the Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Article 59 Association for Computing Machinery. https://doi.org/10.1145/3706599.3720059

Afshani, P. & Sitchinava , N. (2025). A Cell Probe Lower Bound for the Predecessor Search Problem in PRAM. In ACACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (pp. 3998-4008). Association for Computing Machinery. https://doi.org/10.1137/1.9781611978322.136

Årdal, M. A., Basso, A., Feo, L. D., Patranabis, S. & Wesolowski, B. (2025). A Complete Security Proof of SQIsign. In Y. Tauman Kalai & S. F. Kamara (Eds.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (pp. 190-222) https://doi.org/10.1007/978-3-032-01887-8_7

Prummer, F., Weidner, F. & Gellersen, H. (2025). Advancing Eye Dominance Testing: Comparing Traditional Methods with an In-HMD Approach for AR/VR Applications. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 112-116) https://doi.org/10.1109/VRW66409.2025.00030

Bødker, S. & Ehn, P. (2025). Afterthoughts for an Emergent Future. In Routledge International Handbook of Contemporary Participatory Design (pp. 291-293). Taylor & Francis. https://doi.org/10.4324/9781003334330-16

Dhanoa, V., Wolter, A. S., Molina León, G., Schulz, H.-J. & Elmqvist, N. (2025). Agentic Visualization: Extracting Agent-based Design Patterns from Visualization Systems. IEEE Computer Graphics and Applications, 45(6), 89-100. https://doi.org/10.1109/MCG.2025.3607741

Seghier Ben, M. E. A., Truong, T. T., Feiler, C. & Höche, D. (2025). A hybrid deep learning model for predicting atmospheric corrosion in steel energy structures under maritime conditions based on time-series data. Results in Engineering, 25, Article 104417. https://doi.org/10.1016/j.rineng.2025.104417

Rysgaard, C. M. (2025). A Journey through Persistence, External Memory, Trees, and other Unrelated Problems. [PhD dissertation, Aarhus University].

Schou, J. K. R. (2025). Algorithmic Innovation through Persistence, Topology, and Geometry. [PhD dissertation, Aarhus University].

Prummer, F., Weidner, F. & Gellersen, H. (2025). All But Static: Exploring Dynamic Eye Dominance for Foveated Rendering. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 376-380) https://doi.org/10.1109/VRW66409.2025.00087

Cohen-Addad, V., Lattanzi, S. & Schwiegelshohn, C. (2025). Almost Optimal PAC Learning for k-Means. In M. Koucky & N. Bansal (Eds.), STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 2019-2030). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718180

Petsinis, P., Skitsas, K., Ranu, S., Mottin, D. & Karras, P. (2025). Alpine: Partial Unlabeled Graph Alignment. In KDD 2025 - Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 2315-2325). Association for Computing Machinery. https://doi.org/10.1145/3711896.3736839

Gratzer, D. (2025). A Modal Deconstruction of Löb Induction. Proceedings of the ACM on Programming Languages , 9, Article 30. https://doi.org/10.1145/3704866

Schaefer, Z., Thomsen, T. R., Schulz, H.-J., Thayssen, F. M., Christensen, M., Lindholdt, L., Svendsen, K., Mathisen, A. & Grønbæk, K. (2025). An Analysis of COVID-19 Recovery Duration: Smartwatch Activity and Self-Report. In 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Copenhagen, Denmark (Vol. 2025, pp. 1-7). IEEE. https://doi.org/10.1109/EMBC58623.2025.11251653

Ágústsson, S. Ý., Haque, M. A., Truong, T. T., Bianchi, M., Klyuchnikov, N., Mottin, D., Karras, P. & Hofmann, P. (2025). An autoencoder for compressing angle-resolved photoemission spectroscopy data. Machine Learning: Science and Technology, 6(1), Article 015019. https://doi.org/10.1088/2632-2153/ada8f2

Zhang, C., Zhang, Z., Zhang, W., Zeng, T., Sun, B. & An, P. (2025). Anger Speaks Louder? Exploring the Effects of AI Nonverbal Emotional Cues on Human Decision Certainty in Moral Dilemmas. In M. Beigl, G. Jacucci, S. Sigg, Y. Xiao, J. E. Bardram, E. E. Tsiropoulou & C. Xu (Eds.), UbiComp Companion 2025 - Companion of the 2025 ACM International Joint Conference on Pervasive and Ubiquitous Computing (pp. 40-44). Association for Computing Machinery. https://doi.org/10.1145/3714394.3754387

Braun, L., Castagnos, G., Damgård, I., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2025). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. Cryptography and Communications, 17(5), 1367-1406. https://doi.org/10.1007/S12095-025-00826-2

Charbit, P., Couteau, G., Meyer, P. & Naserasr, R. (2025). A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-Reduction. In E. Boyle, E. Boyle & M. Mahmoody (Eds.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (pp. 167-199). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-78023-3_6

Haselwarter, P. G., Li, K. H., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Approximate Relational Reasoning for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(POPL), 1196-1226. Article 41. https://doi.org/10.1145/3704877

Bringmann, K., Larsen, K. G., Nusser, A., Rotenberg, E. & Wang, Y. (2025). Approximating Klee's Measure Problem and a Lower Bound for Union Volume Estimation. In O. Aichholzer & H. Wang (Eds.), 41st International Symposium on Computational Geometry (SoCG 2025) (Vol. 332, pp. 25:1-25:16). Article 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.25

Lunding, R., Hubenschmid, S., Feuchtner, T. & Grønbæk, K. (2025). ARTHUR: authoring human–robot collaboration processes with augmented reality using hybrid user interfaces. Virtual Reality, 29(2), Article 73. https://doi.org/10.1007/s10055-025-01149-6

Brodal, G. S. (2025). A Simple Integer Successor-Delete Data Structure. In P. Mutzel & N. Prezza (Eds.), 23rd International Symposium on Experimental Algorithms, SEA 2025 Article 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SEA.2025.8

Zhou, Q., Chacon, A., Pan, J. & Johal, W. (2025). Assisting MoCap-Based Teleoperation of Robot Arm Using Augmented Reality Visualisations. In HRI 2025 - Proceedings of the 2025 ACM/IEEE International Conference on Human-Robot Interaction (pp. 1765-1769). IEEE Computer Society Press. https://doi.org/10.1109/HRI61500.2025.10974111

Wagner, U., Kim, J., Wu, Z., Zhou, Q., Romero, M., Iop, A., Feuchtner, T. & Pfeuffer, K. (2025). A Study of Multimodal Pen + Gaze Interaction Techniques for Shape Point Translation in Extended Reality. In U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (Eds.), 2025 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) (pp. 454-464) https://doi.org/10.1109/ISMAR67309.2025.00056

Abraham, I., Chouatt, E., Gilad, Y., Stern, G. & Yakoubov, S. (2025). Asynchronous Algorand: Reaching Agreement with Near Linear Communication and Constant Expected Time. In ACM Symposium on Principles of Distributed Computing (PODC 2025) (pp. 28-38) https://doi.org/10.1145/3732772.3733533

Liu, Y., Mikkelsen, T., Liu, Z., Tian, G., Mardanbegi, D., Zhou, Q., Gellersen, H. & Pfeuffer, K. (2025). At a Glance to Your Fingertips: Enabling Direct Manipulation of Distant Objects Through SightWarp. In A. Bianchi, E. L. Glassman, W. E. Mackay, S. Zhao, I. Oakley & J. Kim (Eds.), UIST 2025 - Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology Article 26 Association for Computing Machinery. https://doi.org/10.1145/3746059.3747653

Cohen-Addad, V., Draganov, A., Russo, M., Saulpic, D. & Schwiegelshohn, C. (2025). A Tight VC-Dimension Analysis of Clustering Coresets with Applications. In Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (pp. 4783-4808). Association for Computing Machinery.

Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2025). Attention-Aware Visualization: Tracking and Responding to User Perception Over Time. IEEE Transactions on Visualization and Computer Graphics, 31(1), 1017-1027. https://doi.org/10.1109/TVCG.2024.3456300

Lunding, R. S. (2025). Augmented Reality assisted Human-Robot Collaboration. [PhD dissertation, Aarhus University].

Zollmann, S., Gong, U. & Langlotz, T. (2025). Augmented Reality for Supporting Accessible Sports Spectating and Training. 1. Paper presented at The Third Workshop on Building an Inclusive and Accessible Metaverse for All, Yokohama, Japan.

Johnson, J. G., Rick, S. R., Grønbæk, J. E., Wong, E., Yin, M., Nebeling, M., Klein, M., Ackerman, M. S. & Malone, T. (2025). Augmenting Collaborative Problem-Solving: Exploring the Design and Use of GenAI for Groupwork. In A. F. Pinatti de Carvalho, J. Vitak, X. Ma, X. Page, C. Rossitto, N. M. Su, L. Barkhuus, L. Barkhuus, M. Divitini, A. L. Hughes, J. Huh-Yoo, C. Ignat, R. Kelly, K. Luther, S. McCrickard, D. McDonald, J. Pater, H. Tellioglu, A. Vivacqua, H.-C. Wang, J. Cai, M. Jacobs ... S. K. Stigberg (Eds.), CSCW Companion 2025 - Companion of the Computer-Supported Cooperative Work and Social Computing (pp. 168-173). Association for Computing Machinery. https://doi.org/10.1145/3715070.3748297

Zhong, Z., Larsen, S. S.-Y., Guo, H., Tang, T., Zhou, K. & Mottin, D. (2025). Automatic Annotation Augmentation Boosts Translation between Molecules and Natural Language.

Zhong, Z., Larsen, S. S.-Y., Guo, H., Tang, T., Zhou, K. & Mottin, D. (2025). Automatic Annotation Augmentation Boosts Translation between Molecules and Natural Language. In L. Chiruzzo, A. Ritter & L. Wang (Eds.), 2025 Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Proceedings of the Conference Findings, NAACL 2025 (pp. 6192-6209). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.findings-naacl.345

Elmqvist, N. & Klokmose, C. N. (2025). Automating the Path: An R&D Agenda for Human-Centered AI and Visualization. IEEE Computer Graphics and Applications, 45(3), 73-81. https://doi.org/10.1109/MCG.2025.3559374

Møldrup, L. & Pavlogiannis, A. (2025). AWDIT: An Optimal Weak Database Isolation Tester. Proceedings of the ACM on Programming Languages , 9, 1540-1564. Article 209. https://doi.org/10.1145/3742465

Displaying results 101 to 150 out of 5993

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University