Publikationer

Søg publikationer fra Institut for Datalogi

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

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.

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2025). Towards Personalized Similarity Search for Vector Databases. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (s. 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. I roceedings of the 28th International Conference on Extending Database Technology (3 udg., s. 962-969). openproceedings.org. https://doi.org/10.48786/edbt.2025.78

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. [Ph.d.-afhandling, Aarhus Universitet]. Institut for Datalogi, Aarhus Universitet.

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

Larsen-Ledet, I., Lewkowicz, M., Klokmose, C. N., Linehan, C. & Colfi, L. (2025). Traces, Breadcrumbs, and Patina: Exploring and Designing with Traces of Activity. 116-119. Abstract fra 28th ACM Conference on Computer-Supported Cooperative Work and Social Computing, Bergen, Norge.

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

Draganov, A. A., Weber, P., Jørgensen, R. S. M., Beer, A., Plant, C. & Assent, I. (2025). Ultrametric Cluster Hierarchies: I Want ‘em All!. https://neurips.cc/media/PosterPDFs/NeurIPS%202025/119173.png?t=1762960797.979475

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

Whiffing, J., Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2025). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction. Advance online publication. https://doi.org/10.1145/3770583

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, Artikel 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? I S. Fehr & P.-A. Fouque (red.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques: Proceedings (s. 451-481). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-91124-8_16

Høgsgaard, M. M. & Paudice, A. (2025). Uniform Mean Estimation for Heavy-Tailed Distributions via Median-of-Means. I Proceedings of the 42nd International Conference on Machine Learning (Bind 267, s. 23357-23381)

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

Pfaehler, E., Krieger, L., Assent, I., Nebelung, S., Zwanenburg, A. & Truhn, D. (2025). Using ensemble radiomic models to identify uncertainty in lung nodule classifications. European Journal of Radiology Artificial Intelligence, 4, Artikel 100047. https://doi.org/10.1016/j.ejrai.2025.100047

Lee, C., Gong, U., Lin, T., Zollmann, S., Epsley, S. A., Petway, A. & Pfister, H. (2025). VAIR: Visual Analytics for Injury Risk Exploration in Sports. I 2025 IEEE 16th Workshop on Visual Analytics in Healthcare (VAHC) (s. 22-28). IEEE. https://doi.org/10.1109/VAHC69430.2025.00008

Viser resultater 251 til 300 ud af 6058

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series