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

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

Skitsas, K., Mottin, D. & Karras, P. (2025). Pilos: Scalable Large-Subgraph Matching by Online Spectral Filtering. In Proceedings - 2025 IEEE 41st International Conference on Data Engineering, ICDE 2025 (pp. 1180-1193). IEEE. https://doi.org/10.1109/ICDE65448.2025.00093

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

Simner, B., Armstrong, A., Bauereiss, T., Campbell, B., Kammar, O., Pichon-Pharabod, J. & Sewell, P. (2025). Precise exceptions in relaxed architectures. In ISCA 2025 - Proceedings of the 52nd Annual International Symposium on Computer Architecture: Proceedings of the 52nd Annual International Symposium on Computer Architecture (pp. 211–224) https://doi.org/10.1145/3695053.3731102

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 dissertation, Aarhus University]. Aarhus Universitet.

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

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 dissertation, 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 dissertation, Aarhus University].

Svenning, R. (2025). Scalable Algorithms and Persistent Data Structures using Geometric Techniques. [PhD dissertation, 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 dissertation, 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+Business Media. 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+Business Media. 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 U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (Eds.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2025 (pp. 40-45) 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 dissertation, Aarhus University].

Displaying results 201 to 250 out of 5913

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University