Publikationer

Søg publikationer fra Institut for Datalogi

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

Arora, A. & Dumbrava, S. (2025). Eighth Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA). I A. Deshpande, A. Aboulnaga, B. Salimi, B. Chandramouli, B. Howe, B. T. Loo, B. Glavic, C. Curino, D. Zhe Wang, D. Suciu, D. Abadi, D. Srivastava, E. Wu, F. Nawab, I. Ilyas, J. Naughton, J. Rogers, J. Patel, J. Arulraj, J. Yang, K. Echihabi, K. Ross, K. Daudjee, L. Lakshmanan, M. Garofalakis, M. Riedewald, M. Mokbel, M. Ouzzani, O. Kennedy, O. Kennedy, P. Papotti, P. Alvaro, P. Bailis, R. Miller, S. B. Roy, S. Melnik, S. Idreos, S. Roy, T. Rekatsinas, V. Leis, W. Zhou, W. Gatterbauer ... Z. Ives (red.), SIGMOD-Companion 2025 - Companion of the 2025 International Conference on Management of Data (s. 864-865). Association for Computing Machinery. https://doi.org/10.1145/3722212.3724484

Quercia, A., Yildiz, E., Cao, Z., Krajsek, K., Morrison, A., Assent, I. & Scharr, H. (2025). Enhancing Monocular Depth Estimation with Multi-Source Auxiliary Tasks. I Proceedings - 2025 IEEE Winter Conference on Applications of Computer Vision, WACV 2025 (s. 6435-6445). IEEE. https://doi.org/10.1109/WACV61041.2025.00627

Endo, A. T. & Møller, A. (2025). Event Race Detection for Node.js Using Delay Injections. I J. Aldrich & A. Silva (red.), 39th European Conference on Object-Oriented Programming, ECOOP 2025 Artikel 9 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2025.9

Jørgensen, M. D., Mølgaard, N. W., Jokumsen, M., Jørgensen, J. B. & Christensen, H. B. (2025). Experiences with Technical Debt and its Root Causes in a Merged Industrial Company.

Lee, H. P., Zhou, Q., Kostakos, V., Tag, B. & Dingler, T. (2025). Exploring Design Parameters for RSVP Reading of Mobile Notifications. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 337-350). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727002

Perera, K. T., Langlotz, T., Pantidi, N. & Regenbrecht, H. (2025). Exploring Eye Visibility and Mutual Gaze in Augmented Reality Glasses. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 752-759). Association for Computing Machinery. https://doi.org/10.1145/3726986.3726999

Frich, J., Grønbæk, J. E. S., Borowski, M. & Dalsgaard, P. (2025). Exploring the impact of AI features on collaborative creativity. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 480-489). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727015

Brodal, G. S., Iacono, J., Meyer, U., Sitchinava, N., Goodrich, M. T., Lo, J., Pagan, V. & Svenning, R. (2025). External-Memory Priority Queues with Optimal Insertions. I A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (red.), 33rd Annual European Symposium on Algorithms, ESA 2025 Artikel 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.5

Wagner, U. (2025). Eye-Hand Input in 3D. [Ph.d.-afhandling, Aarhus Universitet].

Lystbæk, M. N. (2025). Eyes Helping Hands: Gaze-Assisted Hand Interaction in Extended Reality. [Ph.d.-afhandling, Aarhus Universitet].

Krieger, L., Beer, A., Matthews, P., Thiesson, A. M. & Assent, I. (2025). FAIRDEN: FAIR DENSITY-BASED CLUSTERING. I 13th International Conference on Learning Representations, ICLR 2025 (s. 19570-19589). International Conference on Learning Representations, ICLR.

Killmann, K. S. (2025). Fast (Correct) Clustering in Time and Space using the GPU. [Ph.d.-afhandling, 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). Artikel 5 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

Viser resultater 201 til 250 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series