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

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 and Francis Group. https://doi.org/10.4324/9781003334330-16

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

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

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

Á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

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

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

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. https://doi.org/10.1109/HRI61500.2025.10974111

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, Inc..

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

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.

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, Article 106135. Advance online publication. https://doi.org/10.1007/s10009-025-00787-0

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

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

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. Advance online publication. https://doi.org/10.1109/TVCG.2025.3537679

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

Jiang, Y., Jin, J., Song, Y., Xu, H. & Wessely, M. (2025). Demonstration of BIOral: Fabricating Intraoral pH Sensor for Continuous Health Monitoring. In Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (CHI EA ’25) 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, Inc.. https://doi.org/10.1145/3706599.3719717

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

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

Shin, S., Na, I. & Elmqvist, N. (2025). Drillboards: Adaptive Visualization Dashboards for Dynamic Personalization of Visualization Experiences. IEEE Transactions on Visualization and Computer Graphics. Advance online publication. 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 and 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

Høgsgaard, M. M. (2025). Efficient Optimal PAC Learning. Proceedings of Machine Learning Research, 272, 578-580.

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

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

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.

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

Patel, K., Phadnis, V., Gonzalez, E. J., Gellersen, H., Pfeuffer, K. & Gonzalez-Franco, M. (2025). H2E: Hand, Head, Eye a Multimodal Cascade of Natural Inputs. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 84-89) https://doi.org/10.1109/VRW66409.2025.00026

Bhargavan, K., Buyse, M., Franceschino, L., Hansen, L. L., Kiefer, F., Schneider-Bensch, J. & Spitters, B. (2025). hax: Verifying Security-Critical Rust Software Using Multiple Provers. In J. Protzenko & A. Raad (Eds.), Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Revised Selected Papers (pp. 96-119). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-86695-1_7

Wang, H., Sidenmark, L., Weidner, F., Newn, J. & Gellersen, H. (2025). HeadShift: Head Pointing with Dynamic Control-Display Gain. ACM Transactions on Computer-Human Interaction, 32(1), Article 2. https://doi.org/10.1145/3689434

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2025). HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. 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 (Vol. V, pp. 302-334). Springer. https://doi.org/10.1007/978-981-96-0935-2_10

Agarwal, A., Bienstock, A., Damgård, I. & Escudero, D. (2025). Honest Majority GOD MPC with O(depth(C)) Rounds and Low Online Communication. 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. 234-265). Springer Nature. https://doi.org/10.1007/978-981-96-0938-3_8

Gratzer, D., Møller, M. A. & Birkedal, L. (2025). Idempotent Resources in Separation Logic: The Heart of core in Iris. In P. A. Abdulla & D. Kesner (Eds.), Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software: ETAPS 2025, Proceedings (pp. 45-66). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-90897-2_3

Truong, T. T., Airao, J., Fattahi, S., Azarhoushang, B., Karras, P. & Aghababaei, R. (2025). Image-based machine learning model for tool wear estimation in milling Inconel 718. Wear, Article 205865. Advance online publication. https://doi.org/10.1016/j.wear.2025.205865

Tran, H. V., Zhang, Z., Pham, T. D., Doan, N. P., Hoang, A.-T., Li, P., Vandierendonck, H., Assent, I. & Mai, T. S. (2025). InteDisUX: intepretation-guided discriminative user-centric explanation for time series. Proceedings of the AAAI Conference on Artificial Intelligence, 39(20), 20921-20928. https://doi.org/10.1609/aaai.v39i20.35387

Lunding, R. S., Feuchtner, T. & Grønbaek, K. (2025). Investigating AR Assistance for Human-Robot Collaboration in Mould Assembly 'in the Wild'. In HRI 2025 - Proceedings of the 2025 ACM/IEEE International Conference on Human-Robot Interaction (pp. 540-549). IEEE. https://doi.org/10.1109/HRI61500.2025.10973920

Prummer, F., Shereef Abdelwahab, M., Weidner, F., Abdrabou, Y. & Gellersen, H. (2025). It’s Not Always the Same Eye That Dominates: Effects of Viewing Angle, Handedness and Eye Movement in 3D. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 748 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3706598.3713992

Constantin-Sukul, L. R. J., Ø. Gammelgaard, R., Henriksen, A. & Aranha, D. F. (2025). Key recovery on static Kyber based on transient execution attacks. In Proceedings of the 1st Microarchitecture Security Conference https://doi.org/10.46586/uasc.2025.006

Huang, C., Mathiasen, A., Dean, J., Langguth, J., Mottin, D. & Assent, I. (2025). Linear Assignment on Tile-Centric Accelerators: Redesigning Hungarian Algorithm on IPUs. In SIAM Symposium on Algorithm Engineering and Experiments, ALENEX 2025 (pp. 107-119). Society for Industrial and Applied Mathematics Publications.

Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L. (2025). Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages , 9(POPL), 1417-1445. Article 48. https://doi.org/10.1145/3704884

Boudgoust, K. & Keller, H. (2025). Module Learning with Errors with Truncated Matrices. In R. Niederhagen & M.-J. O. Saarinen (Eds.), Post-Quantum Cryptography - 16th International Workshop, PQCrypto 2025, Proceedings (Vol. Part 1, pp. 255-277). Springer. https://doi.org/10.1007/978-3-031-86599-2_9

Florea, F. C., Grebla, H., Gillich, G. R., Bindea, B. N. & Rusu, C. V. (2025). Multiple Crack Detection in Beam-Like Structures Using a Novel Particle Swarm Optimization Approach. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence (pp. 334-342). SciTePress. https://doi.org/10.5220/0013131400003890

Displaying results 1 to 50 out of 5702

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University