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

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

Sun, G., Karras, P. & Zhang, Q. (2025). Highly Efficient Direct Analytics on Semantic-Aware Time Series Data Compression. In M. Valenti, D. Reed & M. Torres (Eds.), ICC 2025 - IEEE International Conference on Communications (pp. 5945-5950). IEEE. https://doi.org/10.1109/ICC52391.2025.11162086

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (2025). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. In M. Fischlin & V. Moonsamy (Eds.), Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Proceedings (pp. 309-338) https://doi.org/10.1007/978-3-031-95767-3_12

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

Bai, Z., Grønbæk, J. E. S., Irlitti, A., Knibbe, J. & Velloso, E. (2025). I Can't Join, but I Will Send My Agent: Stand-in Enhanced Asynchronous Meetings (SEAM). Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 9(4), Article 158. https://doi.org/10.1145/3770659

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, 571, Article 205865. https://doi.org/10.1016/j.wear.2025.205865

Høgsgaard, M. M. & Larsen, K. G. (2025). Improved Margin Generalization Bounds for Voting Classifiers. In Proceedings of Thirty Eighth Conference on Learning Theory (Vol. 291, pp. 2822-2855). PMLR. https://proceedings.mlr.press/v291/hogsgaard-moller25a.html

Zardbani, F. (2025). Incremental Management of Multi-dimensional Data’. [PhD thesis, Aarhus University].

Xia, Y., de Araujo, P. H. L., Zaporojets, K. & Roth, B. (2025). Influences on LLM Calibration: A Study of Response Agreement, Loss Functions, and Prompt Styles. In W. Che, J. Nabende, E. Shutova & M. T. Pilehvar (Eds.), Long Papers (pp. 3740-3761). Association for Computational Linguistics (ACL).

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ønbæk, 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

Sølvsten, S. C. (2025). I/O-efficient Symbolic Model Checking. [PhD thesis, Aarhus University].

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

Zhong, Z., Barkova, A. & Mottin, D. (2025). Knowledge-augmented Graph Machine Learning for Drug Discovery: A Survey. ACM Computing Surveys, 57(12), Article 302. https://doi.org/10.1145/3744237

Rysgaard, C. M. & Wild, S. (2025). Lazy B-Trees. In P. Gawrychowski, F. Mazowiecki & M. Skrzypczak (Eds.), 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025 Article 87 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2025.87

Ahlgreen, O. A., Hansen, M. W., Baake, J., Hybel, T. E., Rossi, R., Lai, X., Sankaranarayanan, I., Pold, J. A., Lin, L., Reinert, L., Paludan, S. R., Price, T. J., Pallesen, L. T. & Vægter, C. B. (2025). Mapping Satellite Glial Cell Heterogeneity Reveals Distinct Spatial Organization and Implies Functional Diversity in the Dorsal Root Ganglion. Advanced Science, Article e11569. Advance online publication. https://doi.org/10.1002/advs.202511569

Kleinau, J. & Hoggan, E. (2025). Mediating Meeting Dynamics: An Exploration of AI-Based Multimodal Feedback in Hybrid Meetings. In Proceedings of the 23rd EUSSET Conference on Computer Supported Cooperative Work European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.48340/ecscw2025_cp04

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

Li, K. H., Aguirre, A., Gregersen, S. O., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2025). Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(ICFP), 276-305. https://doi.org/10.1145/3747514

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

Chen, J., Chacon, D. A., Bilal, M., Zhou, Q. & Johal, W. (2025). Mr.LfD: A Mixed Reality Interface for Robot Learning from Demonstration. In S. Viller, J. Paay, J. Fredericks & J. Turner (Eds.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (pp. 275-285). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727004

Leiva, G., Frau, V., Radhakrishnan, U. & Lunding, M. S. (2025). Mucho: A Timeline-Based Immersive Tool for Prototyping Interactive Multimodal XR Experiences. Proceedings of the ACM on Human-Computer Interaction, 9(4), Article EICS008. https://doi.org/10.1145/3734185

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

Böhm, J. N., Keute, M., Guzmán, A., Damrich, S., Draganov, A. & Kobak, D. (2025). Node Embeddings via Neighbor Embeddings. Transactions on Machine Learning Research, 2025-November.

Hansen, A. B., Nielsen, J. B. & Simkin, M. (2025). OCash: Fully Anonymous Payments Between Blockchain Light Clients. In T. Jager & J. Pan (Eds.), Public-Key Cryptography – PKC 2025 - 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (pp. 169-202). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-91832-2_6

Adolf, J., Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (2025). Offistretch: camera-based real-time feedback for daily stretching exercises. Visual Computer, 41(3), 1555-1571. Article e19608. https://doi.org/10.1007/s00371-024-03450-y

Karthik, C. S., Lee, E., Rabani, Y., Schwiegelshohn, C. & Zhou, S. (2025). On Approximability of l²₂Min-Sum Clustering. In O. Aichholzer & H. Wang (Eds.), 41st International Symposium on Computational Geometry, SoCG 2025 Article 62 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.62

Tsimbalistaia, U., Berger, C. P., Gellersen, H. & Manakhov, P. (2025). On-body Icons: Designing a 3D Interface for Launching Apps in Augmented Reality. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (pp. 1-15). Article 629 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713954

Baum, C., Beullens, W., Mukherjee, S., Orsini, E., Ramacher, S., Rechberger, C., Roy, L. & Scholl, P. (2025). One Tree to Rule Them All: Optimizing GGM Trees and OWFs for Post-Quantum Signatures. In K.-M. Chung & Y. Sasaki (Eds.), Advances in Cryptology - ASIACRYPT 2024 (pp. 463-493). Springer Nature. https://doi.org/10.1007/978-981-96-0875-1_15

Caragiannis, I., Kanellopoulos, P. & Kyropoulou, M. (2025). On Interim Envy-Free Allocation Lotteries. Mathematics of Operations Research, 50(4), 3257-3282. https://doi.org/10.1287/moor.2023.0203

Hou, B. J., Abramyan, L., Gurumurthy, P., Adams, H., Tosic Rodgers, I., Gonzalez, E. J., Patel, K., Colaço, A., Pfeuffer, K., Gellersen, H., Ahuja, K. & Gonzalez-Franco, M. (2025). Online-EYE: Multimodal Implicit Eye Tracking Calibration for XR. In N. Yamashita, V. Evers & K. Yatani (Eds.), CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 550 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713461

Draganov, A., Vadgama, S., Damrich, S., Böhm, J. N., Maes, L., Kobak, D. & Bekkers, E. (2025). On the Importance of Embedding Norms in Self-Supervised Learning. Proceedings of Machine Learning Research, 267, 14417-14438.

Caragiannis, I., Gravin, N. & Jiang, Z. (2025). On the Satisfiability of Random 3-SAT Formulas with k-Wise Independent Clauses. In A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (Eds.), 33rd Annual European Symposium on Algorithms, ESA 2025 Article 103 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.103

Fehrs, K. A. F. (2025). Optimization and Learning in Voting’. [PhD thesis, Aarhus University].

Yu, H., Larsen, K. G. & Christiansen, O. (2025). Optimization methods for tensor decomposition: A comparison of new algorithms for fitting the CP(CANDECOMP/PARAFAC) model. Chemometrics and Intelligent Laboratory Systems, 257, Article 105290. https://doi.org/10.1016/j.chemolab.2024.105290

Årdal, M. A., Adj, G., Alblooshi, A., Aranha, D. F., A. Canales-Martínez, I., Chavez-Saab, J., Gazzoni Filho, D. L., Reijnders, K. & Rodriguez-Henriquez, F. (2025). Optimized One-Dimensional SQIsign Verification on Intel and Cortex-M4. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2025(1), 497-522. https://doi.org/10.46586/tches.v2025.i1.497-522

Tan, J. & Madsen, M. (2025). Overloading the Dot. In D. Kluss, S. Achour & J. Palsberg (Eds.), CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (pp. 60-69). Association for Computing Machinery. https://doi.org/10.1145/3708493.3712684

S. Tellez, E., Aumüller, M. & Mic, V. (2025). Overview of the SISAP 2024 Indexing Challenge. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 255–265). Springer. https://doi.org/10.1007/978-3-031-75823-2_21

Kim, J., Park, S., Zhou, Q., Gonzalez-Franco, M., Lee, J. & Pfeuffer, K. (2025). PinchCatcher: Enabling Multi-selection for Gaze+Pinch. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 853 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713530

Biniaz, A., Maheshwari, A., Merrild, M. C. R., Mitchell, J. S. B., Odak, S., Polishchuk, V., Robson, E. W., Rysgaard, C. M., Schou, J. K. R., Shermer, T., Spalding-Jamieson, J., Svenning, R. & Zheng, D. W. (2025). Polynomial-Time Algorithms for Contiguous Art Gallery and Related Problems. In O. Aichholzer & H. Wang (Eds.), 41st International Symposium on Computational Geometry, SoCG 2025 (pp. 20:1-20:21). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.20

Chiang, J. H. Y., Damgård, I., Duro, W. R., Engan, S., Kolby, S. & Scholl, P. (2025). Post-Quantum Threshold Ring Signature Applications from VOLE-in-the-Head. In CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 4664-4678). Association for Computing Machinery. https://doi.org/10.1145/3719027.3744854

Michael-Grigoriou, D., Zachmann, G., Kopper, R., Yoon, S. H., Zollmann, S. & Bourdot, P. (2025). Preface. In Virtual Reality and Mixed Reality: 22nd EuroXR International Conference, EuroXR 2025, Winterthur, Switzerland, September 3–5, 2025, Proceedings (Vol. 16101 LNCS, pp. v-vi)

Fischer, F., Yu, Z., Johns, C. A., Kristensson, P. O. & Dudley, J. J. (2025). Probabilistic In-Plane Detection for Mid-Air Virtual Surface Interactions. In A. U. Batmaz, R. J. Teather, D. Reilly, H. Nguyen, M. PerusquuUa-HernuAndez & A. Quevedo (Eds.), Proceedings - SUI 2025: ACM Symposium on Spatial User Interaction Article 9 Association for Computing Machinery. https://doi.org/10.1145/3694907.3765937

Iversen, O. S., Caspersen, M. E. & Petersen, M. G. (2025). Professorer: Fire spørgsmål er afgørende i fagudviklingen af teknologiforståelse. Skolemonitor. https://skolemonitor.dk/debat/art10264270/Fire-spørgsmål-er-afgørende-i-fagudviklingen-af-teknologiforståelse

Saioc, G.-V. (2025). Program Analysis Techniques for Detecting and Preventing Partial Deadlocks. [PhD thesis, Aarhus University]. Aarhus Universitet.

Displaying results 101 to 150 out of 5829

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University