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

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.

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

Burkhardt, J., Keller, H. J., Orlandi, C. & Schwiegelshohn, C. (2025). Distributed Differentially Private Data Analytics via Secure Sketching. In Forty-second International Conference on Machine Learning: ICML 2025 (Vol. 267, pp. 5913-5942). Article 10733 https://openreview.net/forum?id=2Snksn3U47

Mikkelsen, T., Zhou, Q., Lystbæk, M. N., Liu, Y., Gellersen, H. & Pfeuffer, K. (2025). DOF-Separation for 3D Manipulation in XR: Understanding Finger-Wrist Separation to Simultaneously Translate and Rotate Objects. In U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (Eds.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (pp. 1246-1256). IEEE. https://doi.org/10.1109/ISMAR67309.2025.00130

Perera, K., Regenbrecht, H., Pantidi, N. & Langlotz, T. (2025). Don't Look at Me Like That: How AR Face Recognition Changes Our Social Behaviour. In U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (Eds.), 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (pp. 465-475). IEEE. https://doi.org/10.1109/ISMAR67309.2025.00057

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2025). "Double vaccinated, 5G boosted!": Learning Attitudes towards COVID-19 Vaccination from Social Media. ACM Transactions on the Web, 19(1), Article 8. https://doi.org/10.1145/3702654

Behrang, F., Zhang, Z., Saioc, G. V., Liu, P. & Chabbi, M. (2025). DR.FIX: Automatically Fixing Data Races at Industry Scale. Proceedings of the ACM on Programming Languages , 9, 475 - 502. Article 166. https://doi.org/10.1145/3729265

Shin, S., Na, I. & Elmqvist, N. (2025). Drillboards: Adaptive Visualization Dashboards for Dynamic Personalization of Visualization Experiences. IEEE Transactions on Visualization and Computer Graphics, 31(10), 7196-7210. https://doi.org/10.1109/TVCG.2025.3542606

Dhanoa, V., Hinterreiter, A., Fediuk, V., Elmqvist, N., Gröller, E. & Streit, M. (2025). D-Tour: Semi-Automatic Generation of Interactive Guided Tours for Visualization Dashboard Onboarding. IEEE Transactions on Visualization and Computer Graphics, 31(1), 721-731. https://doi.org/10.1109/TVCG.2024.3456347

Brewer, B., Brodal, G. S. & Wang, H. (2025). Dynamic Convex Hulls for Simple Paths. Discrete & Computational Geometry. Advance online publication. https://doi.org/10.1007/s00454-024-00715-0

Saioc, G.-V., Lee, I.-T. A., Møller, A. & Chabbi, M. (2025). Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. In ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 244-259). Association for Computing Machinery. https://doi.org/10.1145/3676641.3715990

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

Tunç, H. C. (2025). Efficient Data Structures and Algorithms for Dynamic Analysis of Concurrent Programs. [PhD dissertation, Aarhus University].

Tunç, H. C., Dong, Y., Deshmukh, A. P., Cirisci, B., Enea, C. & Pavlogiannis, A. (2025). Efficient Dynamic Concurrency Analysis with Collective Sparse Segment Trees. ACM transactions on computer systems. Advance online publication. https://doi.org/10.1145/3773085

Høgsgaard, M. M. (2025). Efficient Optimal PAC Learning. In Proceedings of The 36th International Conference on Algorithmic Learning Theory (pp. 578-580). PMLR.

Damgård, I. B., Ravi, D., Roy, L. D., Tschudi, D. & Yakoubov, S. (2025). Efficient Secure Communication Over Dynamic Incomplete Networks With Minimal Connectivity. In E. Boyle, E. Boyle & M. Mahmoody (Eds.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (pp. 266–292). Springer. https://doi.org/10.1007/978-3-031-78023-3_9

Arora, A. & Dumbrava, S. (2025). Eighth Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA). In A. Deshpande, A. Aboulnaga, B. Salimi, B. Chandramouli, B. Howe, B. T. Loo, B. Glavic, C. Curino, D. Zhe Wang, D. Suciu, D. Abadi, D. Srivastava, E. Wu, F. Nawab, I. Ilyas, J. Naughton, J. Rogers, J. Patel, J. Arulraj, J. Yang, K. Echihabi, K. Ross, K. Daudjee, L. Lakshmanan, M. Garofalakis, M. Riedewald, M. Mokbel, M. Ouzzani, O. Kennedy, O. Kennedy, P. Papotti, P. Alvaro, P. Bailis, R. Miller, S. B. Roy, S. Melnik, S. Idreos, S. Roy, T. Rekatsinas, V. Leis, W. Zhou, W. Gatterbauer ... Z. Ives (Eds.), SIGMOD-Companion 2025 - Companion of the 2025 International Conference on Management of Data (pp. 864-865). Association for Computing Machinery. https://doi.org/10.1145/3722212.3724484

Quercia, A., Yildiz, E., Cao, Z., Krajsek, K., Morrison, A., Assent, I. & Scharr, H. (2025). Enhancing Monocular Depth Estimation with Multi-Source Auxiliary Tasks. In Proceedings - 2025 IEEE Winter Conference on Applications of Computer Vision, WACV 2025 (pp. 6435-6445). IEEE. https://doi.org/10.1109/WACV61041.2025.00627

Endo, A. T. & Møller, A. (2025). Event Race Detection for Node.js Using Delay Injections. In J. Aldrich & A. Silva (Eds.), 39th European Conference on Object-Oriented Programming, ECOOP 2025 Article 9 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2025.9

Jørgensen, M. D., Mølgaard, N. W., Jokumsen, M., Jørgensen, J. B. & Christensen, H. B. (2025). Experiences with Technical Debt and its Root Causes in a Merged Industrial Company.

Lee, H. P., Zhou, Q., Kostakos, V., Tag, B. & Dingler, T. (2025). Exploring Design Parameters for RSVP Reading of Mobile Notifications. In S. Viller, J. Paay, J. Fredericks & J. Turner (Eds.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (pp. 337-350). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727002

Perera, K. T., Langlotz, T., Pantidi, N. & Regenbrecht, H. (2025). Exploring Eye Visibility and Mutual Gaze in Augmented Reality Glasses. In S. Viller, J. Paay, J. Fredericks & J. Turner (Eds.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (pp. 752-759). Association for Computing Machinery. https://doi.org/10.1145/3726986.3726999

Frich, J., Grønbæk, J. E. S., Borowski, M. & Dalsgaard, P. (2025). Exploring the impact of AI features on collaborative creativity. In S. Viller, J. Paay, J. Fredericks & J. Turner (Eds.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (pp. 480-489). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727015

Brodal, G. S., Iacono, J., Meyer, U., Sitchinava, N., Goodrich, M. T., Lo, J., Pagan, V. & Svenning, R. (2025). External-Memory Priority Queues with Optimal Insertions. In A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (Eds.), 33rd Annual European Symposium on Algorithms, ESA 2025 Article 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.5

Wagner, U. (2025). Eye-Hand Input in 3D. [PhD dissertation, Aarhus University].

Lystbæk, M. N. (2025). Eyes Helping Hands: Gaze-Assisted Hand Interaction in Extended Reality. [PhD dissertation, Aarhus University].

Krieger, L., Beer, A., Matthews, P., Thiesson, A. M. & Assent, I. (2025). FAIRDEN: FAIR DENSITY-BASED CLUSTERING. In 13th International Conference on Learning Representations, ICLR 2025 (pp. 19570-19589). International Conference on Learning Representations, ICLR.

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

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2025). Fiat-Shamir Bulletproofs are Non-Malleable (in the Random Oracle Model). Journal of Cryptology, 38(1), Article 11. https://doi.org/10.1007/s00145-024-09525-2

Madsen, M. & Lhoták, O. (2025). Flix: A Design for Language-Integrated Datalog. Proceedings of the ACM on Programming Languages , 9(OOPSLA2), 2115-2143. https://doi.org/10.1145/3763126

Quercia, A., Nader, F., Morrison, A., Scharr, H. & Assent, I. (2025). Focal Sampling: SGD biased towards early important samples for efficient image classification with augmentation selection. Knowledge and Information Systems, 67(11), 11161-11191. https://doi.org/10.1007/s10115-025-02563-7

Klokmose, C. N., Hansen, L. K. & Kyng, M. (2025). Foreword. In AAR Adjunct '25: Adjunct Proceedings of the Sixth Decennial Aarhus Conference: Computing X Crisis (pp. iii-iv). Association for Computing Machinery. https://doi.org/10.1145/3737609

Schulz, H.-J. & Angelini, M. (2025). Foreword to special section: Highlights from EuroVA 2024. Computers & Graphics, 133, Article 104450. https://doi.org/10.1016/j.cag.2025.104450

Legoupil, M. R. S. (2025). Formal Reasoning about WebAssembly and Extensions. [PhD dissertation, Aarhus University].

Stepanenko, S. (2025). Formal Reasoning for Modern Programming Languages’. [PhD dissertation, Aarhus University].

Bhargavan, K., Hansen, L. L., Kiefer, F., Schneider-Bensch, J. & Spitters, B. (2025). Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. In CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 2729-2743). Association for Computing Machinery. https://doi.org/10.1145/3719027.3765213

Musaeus, L. H. (2025). Fostering Students’ Comprehension of Generative AI in Informatics Education in High School. 1. Poster session presented at ISLS annual meeting, Helsinki, Finland. https://sites.google.com/view/isls2025nms#h.9j0gw0lhuegi

Bilstrup, K. E. K., Connelly, L., Musaeus, L. H., Kaspersen, M. H. & Petersen, M. G. (2025). From Automation to Integration: Designing Opportunities for Students and Teachers to Act Skillfully Around AI in Existing K-12 Subjects. In Proceedings - 24th Annual ACM Interaction Design and Children Conference, IDC 2025 (pp. 221-235). Association for Computing Machinery. https://doi.org/10.1145/3713043.3728857

DiPalma, J., Frank, D.-A., Salnikova, E. & Pfeuffer, K. (2025). From Virtual Touch to Real Impact: Understanding Consumer Behavior in Digital Commerce through Interaction Modalities. Abstract from European Marketing Academy Conference (EMAC) 2025, Pozuela (Madrid), Spain. https://www.emac2025conference.org/UserFiles/EMAC%20ebook.pdf

Mikkelsen, T., Jiang, Y., Coskun, B. F., Wessely, M. & Pfeuffer, K. (2025). Gaze+Mouth: Gaze-Directed Tongue Input with Intraoral Device for Selection in XR. In U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (Eds.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2025 (pp. 54-58) https://doi.org/10.1109/ISMAR-Adjunct68609.2025.00017

Displaying results 101 to 150 out of 5919

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University