Publikationer

Søg publikationer fra Institut for Datalogi

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

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2025). Fiat-Shamir Bulletproofs are Non-Malleable (in the Random Oracle Model). Journal of Cryptology, 38(1), Artikel 11. https://doi.org/10.1007/s00145-024-09525-2

Madsen, M. & Lhoták, O. (2025). Flix: A Design for Language-Integrated Datalog. Proceedings of the ACM on Programming Languages , 9(OOPSLA2), 2115-2143. https://doi.org/10.1145/3763126

Quercia, A., Nader, F., Morrison, A., Scharr, H. & Assent, I. (2025). Focal Sampling: SGD biased towards early important samples for efficient image classification with augmentation selection. Knowledge and Information Systems, 67(11), 11161-11191. https://doi.org/10.1007/s10115-025-02563-7

Klokmose, C. N., Hansen, L. K. & Kyng, M. (2025). Foreword. I AAR Adjunct '25: Adjunct Proceedings of the Sixth Decennial Aarhus Conference: Computing X Crisis (s. iii-iv). Association for Computing Machinery. https://doi.org/10.1145/3737609

Schulz, H.-J. & Angelini, M. (2025). Foreword to special section: Highlights from EuroVA 2024. Computers & Graphics, 133, Artikel 104450. https://doi.org/10.1016/j.cag.2025.104450

Legoupil, M. R. S. (2025). Formal Reasoning about WebAssembly and Extensions. [Ph.d.-afhandling, Aarhus Universitet].

Stepanenko, S. (2025). Formal Reasoning for Modern Programming Languages’. [Ph.d.-afhandling, Aarhus Universitet].

Bhargavan, K., Hansen, L. L., Kiefer, F., Schneider-Bensch, J. & Spitters, B. (2025). Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. I CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (s. 2729-2743). Association for Computing Machinery. https://doi.org/10.1145/3719027.3765213

Musaeus, L. H. (2025). Fostering Students’ Comprehension of Generative AI in Informatics Education in High School. 1. Poster-session præsenteret på ISLS annual meeting, Helsinki, Finland. https://sites.google.com/view/isls2025nms#h.9j0gw0lhuegi

Musaeus, L. H. (2025). Fostering Students’ Comprehension of Generative AI in Informatics Education in High School. 1-2. Poster-session præsenteret på ISLS annual meeting, Helsinki, Finland.

Bilstrup, K. E. K., Connelly, L., Musaeus, L. H., Kaspersen, M. H. & Petersen, M. G. (2025). From Automation to Integration: Designing Opportunities for Students and Teachers to Act Skillfully Around AI in Existing K-12 Subjects. I Proceedings - 24th Annual ACM Interaction Design and Children Conference, IDC 2025 (s. 221-235). Association for Computing Machinery. https://doi.org/10.1145/3713043.3728857

DiPalma, J., Frank, D.-A., Salnikova, E. & Pfeuffer, K. (2025). From Virtual Touch to Real Impact: Understanding Consumer Behavior in Digital Commerce through Interaction Modalities. Abstract fra European Marketing Academy Conference (EMAC) 2025, Pozuela (Madrid), Spanien. https://www.emac2025conference.org/UserFiles/EMAC%20ebook.pdf

Mikkelsen, T., Jiang, Y., Coskun, B. F., Wessely, M. & Pfeuffer, K. (2025). Gaze+Mouth: Gaze-Directed Tongue Input with Intraoral Device for Selection 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. 54-58) https://doi.org/10.1109/ISMAR-Adjunct68609.2025.00017

Chakraborty, S., Krishna, S., Pavlogiannis, A. & Tuppe, O. (2025). GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. I R. Piskac & Z. Rakamaric (red.), Computer Aided Verification - 37th International Conference, CAV 2025, Proceedings (s. 321-346). Springer. https://doi.org/10.1007/978-3-031-98682-6_17

Høgsgaard, M. M. (2025). Guarantees and Insights in Ensemble Learning. [Ph.d.-afhandling, Aarhus Universitet].

Patel, K., Phadnis, V., Gonzalez, E. J., Gellersen, H., Pfeuffer, K. & Gonzalez-Franco, M. (2025). H2E: Hand, Head, Eye a Multimodal Cascade of Natural Inputs. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 84-89) https://doi.org/10.1109/VRW66409.2025.00026

Bhargavan, K., Buyse, M., Franceschino, L., Hansen, L. L., Kiefer, F., Schneider-Bensch, J. & Spitters, B. (2025). hax: Verifying Security-Critical Rust Software Using Multiple Provers. I J. Protzenko & A. Raad (red.), Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Revised Selected Papers (s. 96-119). Springer. https://doi.org/10.1007/978-3-031-86695-1_7

Wang, H., Weidner, F., Abdrabou, Y., Pfeuffer, K. & Gellersen, H. (2025). HeadDepth: Gaze Raycasting with Head Pitch for Depth Control. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (s. 370-380). IEEE. https://doi.org/10.1109/ISMAR67309.2025.00048

Wang, H., Sidenmark, L., Weidner, F., Newn, J. & Gellersen, H. (2025). HeadShift: Head Pointing with Dynamic Control-Display Gain. ACM Transactions on Computer-Human Interaction, 32(1), Artikel 2. https://doi.org/10.1145/3689434

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2025). HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. I K.-M. Chung & Y. Sasaki (red.), Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Bind V, s. 302-334). Springer. https://doi.org/10.1007/978-981-96-0935-2_10

Hansen, L. L. (2025). High Assurance Cryptographic Software using Rust and Rocq. [Ph.d.-afhandling, Aarhus Universitet].

Sun, G., Karras, P. & Zhang, Q. (2025). Highly Efficient Direct Analytics on Semantic-Aware Time Series Data Compression. I M. Valenti, D. Reed & M. Torres (red.), ICC 2025 - IEEE International Conference on Communications (s. 5945-5950). IEEE. https://doi.org/10.1109/ICC52391.2025.11162086

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (2025). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. I M. Fischlin & V. Moonsamy (red.), Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Proceedings (s. 309-338) https://doi.org/10.1007/978-3-031-95767-3_12

Agarwal, A., Bienstock, A., Damgård, I. & Escudero, D. (2025). Honest Majority GOD MPC with O(depth(C)) Rounds and Low Online Communication. I K.-M. Chung & Y. Sasaki (red.), Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (s. 234-265). Springer Nature. https://doi.org/10.1007/978-981-96-0938-3_8

Bai, Z., Grønbæk, J. E. S., Irlitti, A., Knibbe, J. & Velloso, E. (2025). I Can't Join, but I Will Send My Agent: Stand-in Enhanced Asynchronous Meetings (SEAM). Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 9(4), Artikel 158. https://doi.org/10.1145/3770659

Gratzer, D., Møller, M. A. & Birkedal, L. (2025). Idempotent Resources in Separation Logic: The Heart of core in Iris. I P. A. Abdulla & D. Kesner (red.), Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software: ETAPS 2025, Proceedings (s. 45-66). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-90897-2_3

Truong, T. T., Airao, J., Fattahi, S., Azarhoushang, B., Karras, P. & Aghababaei, R. (2025). Image-based machine learning model for tool wear estimation in milling Inconel 718. Wear, 571, Artikel 205865. https://doi.org/10.1016/j.wear.2025.205865

Høgsgaard, M. M. & Larsen, K. G. (2025). Improved Margin Generalization Bounds for Voting Classifiers. I Proceedings of Thirty Eighth Conference on Learning Theory (Bind 291, s. 2822-2855). PMLR. https://proceedings.mlr.press/v291/hogsgaard-moller25a.html

Zardbani, F. (2025). Incremental Management of Multi-dimensional Data’. [Ph.d.-afhandling, Aarhus Universitet].

Xia, Y., de Araujo, P. H. L., Zaporojets, K. & Roth, B. (2025). Influences on LLM Calibration: A Study of Response Agreement, Loss Functions, and Prompt Styles. I W. Che, J. Nabende, E. Shutova & M. T. Pilehvar (red.), Long Papers (s. 3740-3761). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/2025.acl-long.188

Kolby, S., Roy, L. D., Sternad, J. & Yakoubov, S. (2025). Information-Theoretic Random-Index PIR. I N. Gilboa (red.), 6th Conference on Information-Theoretic Cryptography (ITC 2025) (s. 5:1-5:15). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2025.5

Tran, H. V., Zhang, Z., Pham, T. D., Doan, N. P., Hoang, A.-T., Li, P., Vandierendonck, H., Assent, I. & Mai, T. S. (2025). InteDisUX: intepretation-guided discriminative user-centric explanation for time series. Proceedings of the AAAI Conference on Artificial Intelligence, 39(20), 20921-20928. https://doi.org/10.1609/aaai.v39i20.35387

Lunding, R. S., Feuchtner, T. & Grønbæk, K. (2025). Investigating AR Assistance for Human-Robot Collaboration in Mould Assembly 'in the Wild'. I HRI 2025 - Proceedings of the 2025 ACM/IEEE International Conference on Human-Robot Interaction (s. 540-549). IEEE. https://doi.org/10.1109/HRI61500.2025.10973920

Sølvsten, S. C. (2025). I/O-efficient Symbolic Model Checking. [Ph.d.-afhandling, Aarhus Universitet].

Prummer, F., Shereef Abdelwahab, M., Weidner, F., Abdrabou, Y. & Gellersen, H. (2025). It’s Not Always the Same Eye That Dominates: Effects of Viewing Angle, Handedness and Eye Movement in 3D. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 748 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713992

Abram, D., Malavolta, G. & Roy, L. (2025). Key-Homomorphic Computations for RAM: Fully Succinct Randomised Encodings and More. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 236-268). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-01881-6_8

Constantin-Sukul, L. R. J., Ø. Gammelgaard, R., Henriksen, A. & Aranha, D. F. (2025). Key recovery on static Kyber based on transient execution attacks. I Proceedings of the 1st Microarchitecture Security Conference https://doi.org/10.46586/uasc.2025.006

Zhong, Z., Barkova, A. & Mottin, D. (2025). Knowledge-augmented Graph Machine Learning for Drug Discovery: A Survey. ACM Computing Surveys, 57(12), Artikel 302. https://doi.org/10.1145/3744237

Namakonov, E. S., Fasse, J., Jacobs, B., Birkedal, L. & Timany, A. (2025). Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic. Afhandling præsenteret på Object-Oriented Programming, Systems, Languages & Applications 2026, Oakland, USA. Advance online publication.

Rysgaard, C. M. & Wild, S. (2025). Lazy B-Trees. I P. Gawrychowski, F. Mazowiecki & M. Skrzypczak (red.), 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025 Artikel 87 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2025.87

Cao, Z., Zhao, X., Krieger, L., Scharr, H. & Assent, I. (2025). LeapFactual: Reliable Visual Counterfactual Explanation Using Conditional Flow Matching. Poster-session præsenteret på The Thirty-ninth Annual Conference on Neural Information Processing Systems, San Diego, California, USA.

Agarwal, A., Baum, C., Braun, L. & Scholl, P. (2025). Low-Bandwidth Mixed Arithmetic in VOLE-Based ZK from Low-Degree PRGs. I S. Fehr & P.-A. Fouque (red.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2025, Proceedings: EUROCRYPT 2025 (Bind 4, s. 396-426). Springer. https://doi.org/10.1007/978-3-031-91134-7_14

Januzelli, J., Rosulek, M. & Roy, L. (2025). Lower Bounds for Garbled Circuits from Shannon-Type Information Inequalities. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 589-618). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-01884-7_19

Morita, H., Pohle, E., Sadakane, K., Scholl, P., Tozawa, K. & Tschudi, D. (2025). MAESTRO: Multi-Party AES Using Lookup Tables. I Proceedings of the 34th USENIX Security Symposium (s. 1965-1984). USENIX - The Advanced Computing Systems Association. https://doi.org/10.5555/3766078.3766180

Pauli, A. B., Augenstein, I. & Assent, I. (2025). Measuring and Benchmarking Large Language Models’ Capabilities to Generate Persuasive Language. I L. Chiruzzo, A. Ritter & L. Wang (red.), Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) (s. 10056-10075). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.naacl-long.506

Kleinau, J. & Hoggan, E. (2025). Mediating Meeting Dynamics: An Exploration of AI-Based Multimodal Feedback in Hybrid Meetings. I Proceedings of the 23rd EUSSET Conference on Computer Supported Cooperative Work European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.48340/ecscw2025_cp04

Pauli, A. B., Augenstein, I. & Assent, I. (2025). Mind the Style Gap: Meta-Evaluation of Style and Attribute Transfer Metrics. I C. Christodoulopoulos, T. Chakraborty, C. Rose & V. Peng (red.), EMNLP 2025 - 2025 Conference on Empirical Methods in Natural Language Processing, Findings of EMNLP 2025: EMNLP 2025 (s. 21550-21564). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.findings-emnlp.1175

Tran, H. V., Doan, N. P., Zhang, Z., Pham, T. D., Nguyen, P. H., Nguyen, X. H., Vandierendonck, H., Assent, I. & Mai, T. S. (2025). MIX: A Multi-view Time-Frequency Interactive Explanation Framework for Time Series Classification. Poster-session præsenteret på The Thirty-ninth Annual Conference on Neural Information Processing Systems, San Diego, California, USA. https://neurips.cc/virtual/2025/loc/san-diego/poster/117533

Johns, C. A. (2025). Model-Based User Interface Optimization Under Contextual Uncertainty. [Ph.d.-afhandling, Aarhus Universitet].

Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L. (2025). Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages , 9(POPL), 1417-1445. Artikel 48. https://doi.org/10.1145/3704884

Viser resultater 151 til 200 ud af 6060

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series