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

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

Papanikolaou, N. M. (2025). Better, Faster, Stronger - Improving Security, Efficiency, and Primitives for MPC. [PhD dissertation, Aarhus University].

Connelly, L., Bilstrup, K. E. K. & Petersen, M. G. (2025). Beyond LLMs as Black Boxes: Activities and an Educational Tool Supporting Unplugged and Digital AI Learning Activities for K-12 Classrooms. In Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Article 11 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747112

Dybboe, M., Kaspersen, M. H., Bjerrum, J. B. & Petersen, M. G. (2025). Bit:sort: Bringing Tangible Computing to Computer Science Unplugged to Support Children's Algorithmic Explorations. In Proceedings - 24th Annual ACM Interaction Design and Children Conference, IDC 2025 (pp. 429-443). Association for Computing Machinery. https://doi.org/10.1145/3713043.3728854

da Cunha, A., Larsen, K. G. & Ritzert, M. (2025). Boosting, Voting Classifiers and Randomized Sample Compression Schemes. In G. Kamath & P. L. Loh (Eds.), Proceedings of Machine Learning Research (Vol. 272, pp. 390-404). MLResearch Press.

Brodal, G. S. (2025). Bottom-up rebalancing binary search trees by flipping a coin. Theoretical Computer Science, 1055, Article 115543. https://doi.org/10.1016/j.tcs.2025.115543

Zhang, Z., Sun, B. & An, P. (2025). Breaking Barriers or Building Dependency? Exploring Team-LLM Collaboration in AI-infused Classroom Debate. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 137 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713853

Brodal, G. S., Rysgaard, C. M. & Svenning, R. (2025). Buffered Partially-Persistent External-Memory Search Trees. In A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (Eds.), 33rd Annual European Symposium on Algorithms, ESA 2025 Article 82 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.82

Ettenhuber, P., Hansen, M. B., Poier, P. P., Shaik, I., Rasmussen, S. E., Madsen, N. K., Majland, M., Jensen, F., Olsen, L. & Zinner, N. T. (2025). Calculating the Energy Profile of an Enzymatic Reaction on a Quantum Computer. Journal of Chemical Theory and Computation, 21(7), 3493-3503. https://doi.org/10.1021/acs.jctc.5c00022

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

Meier, W., Jensen, M., Pichon-Pharabod, J. & Spitters, B. (2025). CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. In Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 127-139). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705879

Conrado, G. K. & Pavlogiannis, A. (2025). CFL-based methods for approximating interleaved Dyck reachability. International Journal on Software Tools for Technology Transfer, 27(2), 255-266. Article 106135. https://doi.org/10.1007/s10009-025-00787-0

Afshani, P., Storandt, S. & Bosch, Y. (2025). Circle-Segment Intersection Queries in Connected Geometric Graphs. In H.-L. Chen, W.-K. Hon & M.-T. Tsai (Eds.), 36th International Symposium on Algorithms and Computation (ISAAC 2025) (pp. 3:1-3:16). Article 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2025.3

Shaik, I. & van de Pol, J. (2025). CNOT-Optimal Clifford Synthesis as SAT. In J. Berg, J. Nordstrom & J. Nordstrom (Eds.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Article 28 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.28

Kleinau, J., Grønbæk, J. E. & Hoggan, E. (2025). Co-Designing Multimodal Tools for Radically Mobile Hybrid Meetings. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 706 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713993

Besana, N., Petersen, M. G., Krogh, P. G. & Spallazzo, D. (2025). Co-designing with the archive: a new way of interacting with fashion design heritage. European Journal of Cultural Management and Policy, 15, Article 14013. https://doi.org/10.3389/ejcmp.2025.14013

Petsinis, P. (2025). Combinatorial Optimization for Diffusion and Search in Graphs. [PhD dissertation, Aarhus University].

Dallant, J. & Iacono, J. (2025). Conditional Lower Bounds for Dynamic Geometric Measure Problems. ACM Transactions on Algorithms, 21(2), Article 23. https://doi.org/10.1145/3727878

Stepanenko, S., Nardino, E., Frumin, D., Timany, A. & Birkedal, L. (2025). Context-Dependent Effects in Guarded Interaction Trees. In V. Vafeiadis (Ed.), Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (Vol. Part II, pp. 286-313). Springer. https://doi.org/10.1007/978-3-031-91121-7_12

Skoulakis, S., Feng, Y., Fujii, K., Cevher, V. & Wang, X. (2025). Continuous-Time Analysis of Heavy Ball Momentum in Min-Max Games. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 16670-16710)

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & van de Pol, J. (2025). Controller Synthesis for Parametric Timed Games. In P. Prabhakar & A. Vandin (Eds.), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings (pp. 314-332). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-05792-1_17

Gratzer, D., Sterling, J., Angiuli, C., Coquand, T. & Birkedal, L. (2025). Controlling unfolding in type theory. Mathematical Structures in Computer Science, 35, Article e38. https://doi.org/10.1017/S0960129525100327

Afshani, P., Nekrich, Y. & Staals, F. (2025). Convexity Helps Iterated Search in 3D. In O. Aichholzer & H. Wang (Eds.), 41st International Symposium on Computational Geometry, SoCG 2025 Article 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.3

Busboom, J., Dunn, K., Bjørn, P., Kleinau, J., Mu, Q., Duckert, M., Hoggan, E., Bødker, S. & Boulus-Rodje, N. (2025). Crisis (and Hope) Set in Stone. Collaboratively Materializing Post Pandemic Work Realities. In Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Article 4 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747104

Kyng, M. (2025). Cross Discipline Collaboration Creating New Insights and Future Potentials ... 128-130. Abstract from AAATE 2025
Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, Nicosia, Cyprus.

Sun, B. & Hu, D. (2025). CTG-Insight: A Multi-Agent Interpretable LLM Framework for Cardiotocography Analysis and Classification. 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. 1590-1596). Association for Computing Machinery. https://doi.org/10.1145/3714394.3756343

Amores Sesar, I., Cachin, C., Villacis, J. & Zanolini, L. (2025). DAG-based Consensus with Asymmetric Trust. In PODC '25: Proceedings of the ACM Symposium on Principles of Distributed Computing (pp. 151-161) https://doi.org/10.1145/3732772.3733527

Amores Sesar, I., Grøndal, V. H., Holmgård, A. & Ottendal, M. (2025). DAG It Off: Latency Prefers No Common Coins. In D. R. Kowalski (Ed.), 39th International Symposium on Distributed Computing (DISC 2025) Article 5 https://doi.org/10.4230/LIPIcs.DISC.2025.5

Laursen, L. N., Markussen, T., Knutz, E., Vallgårda, A., Krogh, P. G., Olander, S., Krogh Petersen, M., Brandt, E., Christensen, B., Vangkilde, K. T. & Waltorp, K. (2025). Danmark står i en designkrise. Sådan løser vi den. Politiken, 5-6.

Displaying results 51 to 100 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University