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

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) 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 Companion Publication of the 2025 Conference on 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.), Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29 - May 4, 2025 (pp. 6177-6194). 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 36th International Symposium on Algorithms and Computation (ISAAC 2025) (pp. 3:1-3:16). 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 (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 and Business Media Deutschland GmbH. 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

Amores Sesar, I., Grøndal, V. H., Holmgård, A. & Ottendal, M. (2025). DAG It Off: Latency Prefers No Common Coins. In 39th International Symposium on Distributed Computing (DISC 2025)

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.

Borowski, M., Butcher, P. W. S., Kristensen, J. B., Petersen, J. O., Ritsos, P. D., Klokmose, C. N. & Elmqvist, N. (2025). DashSpace: A Live Collaborative Platform for Immersive and Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 31(10), 7034-7047. https://doi.org/10.1109/TVCG.2025.3537679

Andersen, J. & Kyng, M. (2025). Data-Based Eco-Systems for Health and Care At Home – How May Assistive Technology Contribute?. 137-139. Abstract from AAATE 2025
Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, Nicosia, Cyprus. https://aaate2025.eu/wp-content/uploads/sites/33/2025/09/Short_Papers_Collection_Volume_final.pdf

Patnaik, B., Borowski, M., Peng, H., Klokmose, C. N. & Elmqvist, N. (2025). Datamancer: Bimanual Gesture Interaction in Multi-Display Ubiquitous Analytics Environments. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 281 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713123

Ciampi, M., Sternad, J. & Xia, Y. (2025). Delayed-Input Multi-party Computation. In M. Fischlin & V. Moonsamy (Eds.), Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Proceedings (pp. 339–368) https://doi.org/10.1007/978-3-031-95761-1_12

Jiang, Y., Jin, J., Song, Y., Xu, H. & Wessely, M. (2025). Demonstration of BIOral: Fabricating Intraoral pH Sensor for Continuous Health Monitoring. In CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Article 721 Association for Computing Machinery. https://doi.org/10.1145/3706599.3721178

Bashar, M. R., Amini, M., Stuerzlinger, W., Sarac, M., Pfeuffer, K., Machuca, M. D. B. & Batmaz, A. U. (2025). Depth3DSketch: Freehand Sketching Out of Arm’s Reach in Virtual Reality. In CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Article 175 Association for Computing Machinery. https://doi.org/10.1145/3706599.3719717

Jakobsen, A. B., Clausen, A. B., van de Pol, J. & Shaik, I. (2025). Depth-Optimal Quantum Layout Synthesis as SAT. In J. Berg & J. Nordstrom (Eds.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Article 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.16

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

Boyle, E., Kohl, L., Li, Z. & Scholl, P. (2025). Direct FSS Constructions for Branching Programs and More from PRGs with Encoded-Output Homomorphism. In K.-M. Chung & Y. Sasaki (Eds.), Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (pp. 266-298). Springer Nature. https://doi.org/10.1007/978-981-96-0938-3_9

Displaying results 51 to 100 out of 5910

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University