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

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

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.

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 thesis, 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 thesis, 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. Advance online publication. https://doi.org/10.1007/s10115-025-02563-7

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

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

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

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

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

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

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

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

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

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

Displaying results 51 to 100 out of 5770

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University