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

Brodal, G. S. & Rysgaard, C. M. (2025). Pure Binary Finger Search Trees. In I.-O. Bercea & R. Pagh (Eds.), 8th SIAM Symposium on Simplicity of Algorithms, SOSA 2025 (pp. 172-195). Society for Industrial and Applied Mathematics.

Iivari, N., Iversen, O. S., Kafai, Y., Antle, A. N., Petersen, M. G., Kinnula, M., Dindler, C., Kayali, F., Bonsignore, E., Monga, C., Schaper, M. M. & Sharma, S. (2025). Pushing the Boundaries of Computational Empowerment of Children. In IDC '25: Interaction Design and Children Conference (pp. 1231-1234). Association for Computing Machinery. https://doi.org/10.1145/3713043.3734470

Li, G., Weidner, F., Hu, J. & Gellersen, H. (2025). Quantifying neck muscle activity during head fixation in VR. Frontiers in Virtual Reality, 6, Article 1682866. https://doi.org/10.3389/frvir.2025.1682866

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025). Random Access on Narrow Decision Diagrams in External Memory. In T. Neele & A. Wijs (Eds.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Gao, J., Jayaram, R., Kolbe, B., Sapir, S., Schwiegelshohn, C., Silwal, S. & Waingarten, E. (2025). Randomized Dimensionality Reduction for Euclidean Maximization and Diversity Measures. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 18363-18385)

Jiang, Z. (2025). Randomness in Structures and Computation. [PhD thesis, Aarhus University].

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Rate-1 Arithmetic Garbling From Homomorphic Secret Sharing. In E. Boyle & M. Mahmoody (Eds.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (pp. 71-97). Article 323579 Springer Nature. https://doi.org/10.1007/978-3-031-78023-3_3

Mathiasen, A. A., Gondelman, L., Ducruet, L., Timany, A. & Birkedal, L. (2025). Reasoning about Weak Isolation Levels in Separation Logic. Proceedings of the ACM on Programming Languages , 9(ICFP), 306-340. https://doi.org/10.1145/3747515

Maity, A., Potamitis, N. & Arora, A. (2025). Reconciling Divergent Views Through a Critical Analysis of Iterative Self-Improvement in LLMs.

Gündoğar, Z., Ho̷jlund, M. G., Larsen, K. G. & Christiansen, O. (2025). Recursive Linear Tensor Expansion with Natural Occupation Analysis. Journal of Chemical Theory and Computation, 21(19), 9270-9289. https://doi.org/10.1021/acs.jctc.5c01101

Paudice, A., Høgsgaard, M. M., da Cunha, A. & Sun, Y. (2025). Revisiting Agnostic Boosting. In The Thirty-Ninth Annual Conference on Neural Information Processing Systems

Hubenschmid, S., Zagermann, J., Elmqvist, N., Feuchtner, T., Grubert, J., Tatzgern, M., Schmalstieg, D. & Reiterer, H. (2025). Revisiting Hybrid Input Devices for Immersive Analytics. In 2025 IEEE Conference on Human Factors in Immersive Analytics (HFIA) https://doi.org/10.1109/HFIA68651.2025.00011

Huang, P., Li, Y., Gong, H. & Koara, H. (2025). Robust and Interpretable Machine Learning for Network Quality Prediction with Noisy and Incomplete Data. Photonics, 12(10), Article 965. https://doi.org/10.3390/photonics12100965

Egger, M. K., Mottin, D. & Karras, P. (2025). Robust Knowledge Graph Cleaning. CEUR Workshop Proceedings, 3946. https://ceur-ws.org/Vol-3946/PhD-Workshop-1.pdf

Kyster, A., Nielsen, F. H., Oechsner, S. & Scholl, P. (2025). Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations. In M. Blanton, W. Enck & C. Nita-Rotaru (Eds.), 2025 IEEE Symposium on Security and Privacy (SP) (pp. 2491-2508). IEEE. https://doi.org/10.1109/SP61157.2025.00176

Starup, J. L. (2025). Safety in Types and Effects. [PhD thesis, Aarhus University].

Svenning, R. (2025). Scalable Algorithms and Persistent Data Structures using Geometric Techniques. [PhD thesis, Aarhus University].

Genay, A., Syiem, B. V., Wong, E., Feuchtner, T., Knibbe, J., Grønbæk, J. E. S. & Velloso, E. (2025). Scaling Distributed Collaboration in Mixed Reality. In CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Article 798 Association for Computing Machinery. https://doi.org/10.1145/3706599.3706722

Aranha, D. F., Guimaraes, A., Hoffman, C. & Méaux, P. (2025). Secure and efficient transciphering for FHE-based MPC. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2025(3), 745-780. https://doi.org/10.46586/tches.v2025.i3.745-780

Emsenhuber, G., Langlotz, T., Kalkofen, D. & Tatzgern, M. (2025). See what I Mean? Mobile Eye-Perspective Rendering for Optical See-Through Head-Mounted Displays. IEEE Transactions on Visualization and Computer Graphics, 31(11), 9603-9613. https://doi.org/10.1109/TVCG.2025.3616739

Schieber, H., Young, J., Langlotz, T., Zollmann, S. & Roth, D. (2025). Semantics-Controlled Gaussian Splatting for Outdoor Scene Reconstruction and Rendering in Virtual Reality. In 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR) (pp. 318-328). IEEE. https://doi.org/10.1109/VR59515.2025.00056

Liu, Z. (2025). Separation Logic for Low-level and Realistic Programs. [PhD thesis, Aarhus University].

Baum, C., Beullens, W., Braun, L., Delpech de Saint Guilhem, C., Klooß, M., Majenz, C., Mukherjee, S., Orsini, E., Ramacher, S., Rechberger, C., Roy, L. & Scholl, P. (2025). Shorter, Tighter, FAESTer: Optimizations and Improved (QROM) Analysis for VOLE-in-the-Head Signatures. In Y. Tauman Kalai & S. F. Kamara (Eds.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (pp. 124-156). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-032-01887-8_5

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Silent Circuit Relinearisation: Sublinear-Size (Boolean and Arithmetic) Garbled Circuits from DCR. In Y. Tauman Kalai & S. F. Kamara (Eds.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (pp. 426-458). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-032-01884-7_14

Tozawa, K., Morita, H. & Mizuki, T. (2025). Single-shuffle card-based protocol with eight cards per gate and its extensions. Natural Computing, 24(1), 131-147. https://doi.org/10.1007/s11047-024-10006-5

Stepanenko, S. & Timany, A. (2025). Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. In M. Fernandez (Ed.), 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025 Article 33 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2025.33

Østerby, O. (2025). Solving Parabolic Equations in 2 and 3 Space Dimensions. In DAIMI Report Series (1 ed., Vol. 601, pp. 1-40) https://doi.org/10.7146/dpb.v601i1.157733

Wong, E., Genay, A., Grønbæk, J. E. & Velloso, E. (2025). Spatial Heterogeneity in Distributed Mixed Reality Collaboration. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 980 Association for Computing Machinery. https://doi.org/10.1145/3706598.3714033

Sánchez Esquivel, J., Zerbin, L., Zhou, Q., Pfeuffer, K. & Gellersen, H. (2025). SpatialPad – Air-taps for interaction in XR. In IEEE ISMAR https://doi.org/10.1109/ISMAR-Adjunct68609.2025.00015

Borowski, M., Grønbæk, J. E., Butcher, P. W. S., Ritsos, P. D., Klokmose, C. N. & Elmqvist, N. (2025). Spatialstrates: Cross-Reality Collaboration through Spatial Hypermedia. 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: Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology Article 187 Association for Computing Machinery. https://doi.org/10.1145/3746059.3747708

Aardal, M. A., Adj, G., F. Aranha, D., Basso, A., Canales Martínez, I. A., Chávez-Saab, J., Corte-Real Santos, M., Dartois, P., De Feo, L., Duparc, M., Komada Eriksen, J., Fouotsa, T. B., Filho, D. L. G., Hess, B., Kohel, D., Leroux, A., Longa, P., Maino, L., Meyer, M. ... Wesolowski, B. (2025). SQIsign 2.0: Algorithm specifications and supporting documentation. https://sqisign.org/spec/sqisign-20250205.pdf

Brodal, G. S., Lagogiannis, G. & Tarjan, R. E. (2025). Strict Fibonacci Heaps. ACM Transactions on Algorithms, 21(2), Article 15. https://doi.org/10.1145/3707692

Kolby, S. (2025). Studies on Scalable Security. [PhD thesis, Aarhus University].

Klokmose, C. N. (2025). Substrates: From Webstrates and Beyond. In Proceedings of Substrates 2025 workshop https://software-substrates.github.io/proceedings/2025/statements/Paper%205%20-%20Clemens%20Klokmose%20-%20Substrates,%20From%20Webstrates%20and%20Beyond.pdf

Abram, D., Malavolta, G. & Roy, L. (2025). Succinct Oblivious Tensor Evaluation and Applications: Adaptively-Secure Laconic Function Evaluation and Trapdoor Hashing for All Circuits. In M. Koucky & N. Bansal (Eds.), STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 1875-1886). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718164

Mortensen, K. O., Skitsas, K., Christensen, E. M., Talebi, M. S., Pavlogiannis, A., Mottin, D. & Karras, P. (2025). SwiftVI: Time-Efficient Planning and Learning with MDPs. In M. Zaharia, G. Joshi & Y. Lin (Eds.), Proceedings of Machine Learning and Systems (Vol. 7). MLSys. https://proceedings.mlsys.org/paper_files/paper/2025/file/0f8426558905746fc38da5e335700aec-Paper-Conference.pdf

Sølvsten, S. & van de Pol, J. (2025). Symbolic Model Checking in External Memory. ArXiv. https://doi.org/10.48550/arXiv.2505.11229

Pichon-Pharabod, J. (2025). Synchronous Programming for Kids: A Manifesto. In S. Chiba, C. N. Klokmose & C. Gordon (Eds.), Onward! 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2025 (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/3759429.3762617

Christensen, H. B., Kirkeby, M. H., Thomsen, B. & Thomsen, L. L. (2025). Teaching Energy-Efficient Software - An Experience Report. ArXiv. https://arxiv.org/abs/2504.19707

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (2025). That's AmorE: Amortized Efficiency for Pairing Delegation. In Y. Tauman Kalai & S. F. Kamara (Eds.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (pp. 211-246) https://doi.org/10.1007/978-3-032-01913-4_7

Goldberg, P. W., Høgh, K. & Hollender, A. (2025). The frontier of intractability for EFX with two agents. Theoretical Computer Science, 1052, Article 115367. https://doi.org/10.1016/j.tcs.2025.115367

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2025). The ML-Machine Toolkit: Empowering Teachers and Education Professionals to Explore Embodied Approaches to Teaching Machine Learning. In N. J. Nunes, V. Nisi, I. Oakley, Q. Yang & C. Zheng (Eds.), DIS 2025 - Proceedings of the 2025 ACM Designing Interactive Systems Conference (pp. 535-551). Association for Computing Machinery. https://doi.org/10.1145/3715336.3735737

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. In K. Stark, A. Timany, S. Blazy & N. Tabareau (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (pp. 83-97). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705876

Lutze, M., Schuster, P. & Brachthäuser, J. I. (2025). The Simple Essence of Monomorphization. Proceedings of the ACM on Programming Languages , 9(OOPSLA1), Article 116. https://doi.org/10.1145/3720472

Gratzer, D., Weinberger, J. & Buchholtz, U. (2025). The Yoneda embedding in simplicial type theory. In Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025 (pp. 127-142). IEEE. https://doi.org/10.1109/LICS65433.2025.00017

Larsen, K. G. & Schalburg, N. (2025). Tight Generalization Bounds for Large-Margin Halfspaces. In The Thirty-ninth Annual Conference on Neural Information Processing Systems https://openreview.net/forum?id=wAq0ZLxrGq

Larsen, K. G. & Simkin, M. (2025). Time/Space Tradeoffs for Generic Attacks on Delay Functions. In Theory of Cryptography: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (pp. 451-477). Springer. https://doi.org/10.1007/978-3-032-12290-2_15

Dipalma, J., Frank, D.-A., Salnikova, E., Steinmann, S. & Pfeuffer, K. (2025). Touching the Retail Metaverse: Consumer Insights from a Virtual Experience. Poster session presented at 2025 AMA Winter Academic Conference.

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2025). Towards Personalized Similarity Search for Vector Databases. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Amer-Yahia, S., Bogojeska, J., Facchinetti, R., Franceschi, V., Gionis, A., Hose, K., Koutrika, G., Kouyos, R., Lissandrini, M., Maniu, S., Mirylenka, K., Mottin, D., Palpanas, T., Rigotti, M. & Velegrakis, Y. (2025). Towards Reliable Conversational Data Analytics. In roceedings of the 28th International Conference on Extending Database Technology (3 ed., pp. 962-969). openproceedings.org. https://doi.org/10.48786/edbt.2025.78

Displaying results 201 to 250 out of 5897

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University