Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

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. I 2024 10th International Conference on Virtual Reality, ICVR 2024 (s. 91-99) https://doi.org/10.1109/ICVR62393.2024.10868891

Brodal, G. S. & Rysgaard, C. M. (2025). Pure Binary Finger Search Trees. I I.-O. Bercea & R. Pagh (red.), 8th SIAM Symposium on Simplicity of Algorithms, SOSA 2025 (s. 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. I IDC '25: Interaction Design and Children Conference (s. 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, Artikel 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. I T. Neele & A. Wijs (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (s. 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. I Proceedings of the 42nd International Conference on Machine Learning (Bind 267, s. 18363-18385)

Jiang, Z. (2025). Randomness in Structures and Computation. [Ph.d.-afhandling, Aarhus Universitet].

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Rate-1 Arithmetic Garbling From Homomorphic Secret Sharing. I E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 71-97). Artikel 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. I 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. I 2025 IEEE Conference on Human Factors in Immersive Analytics (HFIA) (s. 29-33) 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), Artikel 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. I M. Blanton, W. Enck & C. Nita-Rotaru (red.), 2025 IEEE Symposium on Security and Privacy (SP) (s. 2491-2508). IEEE. https://doi.org/10.1109/SP61157.2025.00176

Starup, J. L. (2025). Safety in Types and Effects. [Ph.d.-afhandling, Aarhus Universitet].

Svenning, R. (2025). Scalable Algorithms and Persistent Data Structures using Geometric Techniques. [Ph.d.-afhandling, Aarhus Universitet].

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. I CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 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. I 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR) (s. 318-328). IEEE. https://doi.org/10.1109/VR59515.2025.00056

Liu, Z. (2025). Separation Logic for Low-level and Realistic Programs. [Ph.d.-afhandling, Aarhus Universitet].

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. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 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. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 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. I M. Fernandez (red.), 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025 Artikel 33 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2025.33

Østerby, O. (2025). Solving Parabolic Equations in 2 and 3 Space Dimensions. I DAIMI Report Series (1 udg., Bind 601, s. 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. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 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. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2025 (s. 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. I A. Bianchi, E. L. Glassman, W. E. Mackay, S. Zhao, I. Oakley & J. Kim (red.), 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 Artikel 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), Artikel 15. https://doi.org/10.1145/3707692

Kolby, S. (2025). Studies on Scalable Security. [Ph.d.-afhandling, Aarhus Universitet].

Klokmose, C. N. (2025). Substrates: From Webstrates and Beyond. I 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. I M. Koucky & N. Bansal (red.), STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing (s. 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. I M. Zaharia, G. Joshi & Y. Lin (red.), Proceedings of Machine Learning and Systems (Bind 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. I S. Chiba, C. N. Klokmose & C. Gordon (red.), 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 (s. 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

Kappel, S. L., Jørgensen, A. N. & Kidmose, P. (2025). Temporal Synchronization of Multimodal Hyperscanning Recordings: Challenges, Methodologies, and Best Practices. I 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2025 - Proceedings IEEE. https://doi.org/10.1109/EMBC58623.2025.11252759

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

Laursen, C. C. W., Lunn, T. H., Hägi-Pedersen, D., Olsen, M. H., Kappel, A., Jakobsen, T., Pedersen, N. A., Thougaard, T., Graungaard, B. K., Bjerno, T., Hollænder, P. B., Runge, C., Yilmaz, M., Eljaja, S. B., Therkelsen, A. S. N., Steiness, J., Gasbjerg, K. S., Thybo, K., Lange, K. H. W. ... Jakobsen, J. C. (2025). The Adverse Effects Associated With Ibuprofen Use After Major Orthopaedic Surgeries—A Detailed Statistical Analysis Plan for the PERISAFE Randomized Clinical Trial. Acta Anaesthesiologica Scandinavica, 69(6), Artikel e70062. https://doi.org/10.1111/aas.70062

Goldberg, P. W., Høgh, K. & Hollender, A. (2025). The frontier of intractability for EFX with two agents. Theoretical Computer Science, 1052, Artikel 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. I N. J. Nunes, V. Nisi, I. Oakley, Q. Yang & C. Zheng (red.), DIS 2025 - Proceedings of the 2025 ACM Designing Interactive Systems Conference (s. 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. I K. Stark, A. Timany, S. Blazy & N. Tabareau (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (s. 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), Artikel 116. https://doi.org/10.1145/3720472

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

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

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

Viser resultater 251 til 300 ud af 6073

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series