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

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

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

Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A. (2025). Program Analysis via Multiple Context Free Language Reachability. Proceedings of the ACM on Programming Languages , 9, Article 18. https://doi.org/10.1145/3704854

Afshani, P., Buchin, M., Driemel, A., Richter, M. & Wong, S. (2025). Property Testing of Curve Similarity. In A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (Eds.), 33rd Annual European Symposium on Algorithms, ESA 2025 Article 84 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.84

Hwang, C., Feuchtner, T. & Grønbæk, K. (2025). Pseudo-Haptics for Weight Perception in VR: Controller vs. Bare Hand Interactions with Tracking Delay and Vertical Offset. In 2024 10th International Conference on Virtual Reality, ICVR 2024 (pp. 91-99) https://doi.org/10.1109/ICVR62393.2024.10868891

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

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

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

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). Advance online publication. https://doi.org/10.1021/acs.jctc.5c01101

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

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

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

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

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

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

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

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

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

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

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

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. [PhD thesis, Aarhus University]. Institut for Datalogi, Aarhus Universitet.

Taylor, K., Wang, H., Weidner, F. & Gellersen, H. (2025). Towards the Fusion of Gaze and Micro-Gestures. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 1474-1475). IEEE. https://doi.org/10.1109/VRW66409.2025.00383

Busboom, J., Boulus-Rødje, N. & Bødker, S. (2025). Tracing Transformations of the Modern Workplace and Imagining its Future. In CHIWORK 2025 - Proceedings of the 4th Annual Symposium on Human-Computer Interaction for Work Article 27 Association for Computing Machinery. https://doi.org/10.1145/3729176.3729186

Asilis, J., Høgsgaard, M. M. & Velegkas, G. (2025). Understanding Aggregations of Proper Learners in Multiclass Classification. In Proceedings of The 36th International Conference on Algorithmic Learning Theory (pp. 89-111). PMLR.

Strauss, D. J., Francis, A. L., Schäfer, Z., Latzel, M., Corona–Strauss, F. I. & Launer, S. (2025). Understanding speech in “noise” or free energy minimization in the soundscapes of the anthropocene. Frontiers in Neuroscience, 19, Article 1534425. https://doi.org/10.3389/fnins.2025.1534425

Januzelli, J., Roy, L. & Xu, J. (2025). Under What Conditions Is Encrypted Key Exchange Actually Secure? In S. Fehr & P.-A. Fouque (Eds.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques: Proceedings (pp. 451-481). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-91124-8_16

Moradan, A., Sorkhpar, M., Miyauchi, A., Mottin, D. & Assent, I. (2025). Untapping the Power of Indirect Relationships in Entity Summarization. In WSDM 2025 : Proceedings of the 18th ACM International Conference on Web Search and Data Mining (pp. 820-828). Association for Computing Machinery. https://doi.org/10.1145/3701551.3703566

Eagan, L. M., Young, J., Bering, J. & Langlotz, T. (2025). Virtual Voyages: Evaluating the Role of Real-Time and Narrated Virtual Tours in Shaping User Experience and Memories. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 373 Association for Computing Machinery. https://doi.org/10.1145/3706598.3714182

Shin, S., Hong, S. & Elmqvist, N. (2025). Visualizationary: Automating Design Feedback for Visualization Designers Using Large Language Models. IEEE Transactions on Visualization and Computer Graphics, 31(10), 8796-8813. https://doi.org/10.1109/TVCG.2025.3579700

Blazy, S., Tabareau, N., Stark, K. & Timany, A. (2025). Welcome from the Chairs. In CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. iii-iv). Association for Computing Machinery. https://doi.org/10.1145/3703595

Caragiannis, I., Mehlhorn, K. & Rathi, N. (2025). Welfare-Optimal Serial Dictatorships Have Polynomial Query Complexity. Proceedings of the AAAI Conference on Artificial Intelligence, 39(13), 13675-13682. https://doi.org/10.1609/aaai.v39i13.33494

Amores-Sesar, I. & Cachin, C. (2025). We Will DAG You. In J. Garcia-Alfaro, K. Barker, G. Navarro-Arribas, C. Pérez-Solà, S. Delgado-Segura, S. Katsikas, F. Cuppens, C. Lambrinoudakis, N. Cuppens-Boulahia, M. Pawlicki & M. Choraś (Eds.), Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, 2024, Revised Selected Papers (pp. 276-291). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-82349-7_19

Displaying results 101 to 150 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