Publikationer

Søg publikationer fra Institut for Datalogi

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

Argo, S., Venema, M., Riepel, D., Aranha, D. F. & Güneysu, T. (Accepteret/In press). ABE Cubed: Advanced Benchmarking Extensions for ABE Squared. IACR Transactions of Cryptographic Hardware and Embedded Systems.

Prummer, F., Weidner, F. & Gellersen, H. (2025). Advancing Eye Dominance Testing: Comparing Traditional Methods with an In-HMD Approach for AR/VR Applications. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 112-116) https://doi.org/10.1109/VRW66409.2025.00030

Bødker, S. & Ehn, P. (2025). Afterthoughts for an Emergent Future. I Routledge International Handbook of Contemporary Participatory Design (s. 291-293). Taylor & Francis. https://doi.org/10.4324/9781003334330-16

Seghier Ben, M. E. A., Truong, T. T., Feiler, C. & Höche, D. (2025). A hybrid deep learning model for predicting atmospheric corrosion in steel energy structures under maritime conditions based on time-series data. Results in Engineering, 25, Artikel 104417. https://doi.org/10.1016/j.rineng.2025.104417

Prummer, F., Weidner, F. & Gellersen, H. (2025). All But Static: Exploring Dynamic Eye Dominance for Foveated Rendering. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 376-380) https://doi.org/10.1109/VRW66409.2025.00087

Gratzer, D. (2025). A Modal Deconstruction of Löb Induction. Proceedings of the ACM on Programming Languages , 9, Artikel 30. https://doi.org/10.1145/3704866

Ágústsson, S. Ý., Haque, M. A., Truong, T. T., Bianchi, M., Klyuchnikov, N., Mottin, D., Karras, P. & Hofmann, P. (2025). An autoencoder for compressing angle-resolved photoemission spectroscopy data. Machine Learning: Science and Technology, 6(1), Artikel 015019. https://doi.org/10.1088/2632-2153/ada8f2

Haselwarter, P. G., Li, K. H., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Approximate Relational Reasoning for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(POPL), 1196-1226. Artikel 41. https://doi.org/10.1145/3704877

Lunding, R., Hubenschmid, S., Feuchtner, T. & Grønbæk, K. (2025). ARTHUR: authoring human–robot collaboration processes with augmented reality using hybrid user interfaces. Virtual Reality, 29(2), Artikel 73. https://doi.org/10.1007/s10055-025-01149-6

Zhou, Q., Chacon, A., Pan, J. & Johal, W. (2025). Assisting MoCap-Based Teleoperation of Robot Arm Using Augmented Reality Visualisations. I HRI 2025 - Proceedings of the 2025 ACM/IEEE International Conference on Human-Robot Interaction (s. 1765-1769). IEEE Computer Society. https://doi.org/10.1109/HRI61500.2025.10974111

Cohen-Addad, V., Draganov, A., Russo, M., Saulpic, D. & Schwiegelshohn, C. (2025). A Tight VC-Dimension Analysis of Clustering Coresets with Applications. I Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (s. 4783-4808). Association for Computing Machinery, Inc..

Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2025). Attention-Aware Visualization: Tracking and Responding to User Perception Over Time. IEEE Transactions on Visualization and Computer Graphics, 31(1), 1017-1027. https://doi.org/10.1109/TVCG.2024.3456300

Zhong, Z., Larsen, S. S.-Y., Guo, H., Tang, T., Zhou, K. & Mottin, D. (2025). Automatic Annotation Augmentation Boosts Translation between Molecules and Natural Language.

Møldrup, L. & Pavlogiannis, A. (2025). AWDIT: An Optimal Weak Database Isolation Tester. Proceedings of the ACM on Programming Languages , 9, 1540-1564. Artikel 209. https://doi.org/10.1145/3742465

da Cunha, A., Larsen, K. G. & Ritzert, M. (2025). Boosting, Voting Classifiers and Randomized Sample Compression Schemes. I G. Kamath & P. L. Loh (red.), Proceedings of Machine Learning Research (Bind 272, s. 390-404). MLResearch Press.

Ettenhuber, P., Hansen, M. B., Poier, P. P., Shaik, I., Rasmussen, S. E., Madsen, N. K., Majland, M., Jensen, F., Olsen, L. & Zinner, N. T. (2025). Calculating the Energy Profile of an Enzymatic Reaction on a Quantum Computer. Journal of Chemical Theory and Computation, 21(7), 3493-3503. https://doi.org/10.1021/acs.jctc.5c00022

Khani, P. & Assent, I. (2025). Causal Banzhaf Value for Aggregate Query Explanations. CEUR Workshop Proceedings, 3931, 54-58.

Meier, W., Jensen, M., Pichon-Pharabod, J. & Spitters, B. (2025). CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. I Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 127-139). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705879

Conrado, G. K. & Pavlogiannis, A. (2025). CFL-based methods for approximating interleaved Dyck reachability. International Journal on Software Tools for Technology Transfer, 27(2), 255-266. Artikel 106135. https://doi.org/10.1007/s10009-025-00787-0

Kleinau, J., Grønbæk, J. E. & Hoggan, E. (2025). Co-Designing Multimodal Tools for Radically Mobile Hybrid Meetings. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 706 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713993

Dallant, J. & Iacono, J. (2025). Conditional Lower Bounds for Dynamic Geometric Measure Problems. ACM Transactions on Algorithms, 21(2), Artikel 23. https://doi.org/10.1145/3727878

Stepanenko, S., Nardino, E., Frumin, D., Timany, A. & Birkedal, L. (2025). Context-Dependent Effects in Guarded Interaction Trees. I V. Vafeiadis (red.), Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (Bind Part II, s. 286-313). Springer. https://doi.org/10.1007/978-3-031-91121-7_12

Borowski, M., Butcher, P. W. S., Kristensen, J. B., Petersen, J. O., Ritsos, P. D., Klokmose, C. N. & Elmqvist, N. (2025). DashSpace: A Live Collaborative Platform for Immersive and Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics. Advance online publication. https://doi.org/10.1109/TVCG.2025.3537679

Patnaik, B., Borowski, M., Peng, H., Klokmose, C. N. & Elmqvist, N. (2025). Datamancer: Bimanual Gesture Interaction in Multi-Display Ubiquitous Analytics Environments. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 281 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713123

Jiang, Y., Jin, J., Song, Y., Xu, H. & Wessely, M. (2025). Demonstration of BIOral: Fabricating Intraoral pH Sensor for Continuous Health Monitoring. I CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 721 Association for Computing Machinery. https://doi.org/10.1145/3706599.3721178

Bashar, M. R., Amini, M., Stuerzlinger, W., Sarac, M., Pfeuffer, K., Machuca, M. D. B. & Batmaz, A. U. (2025). Depth3DSketch: Freehand Sketching Out of Arm’s Reach in Virtual Reality. I CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 175 Association for Computing Machinery. https://doi.org/10.1145/3706599.3719717

Kim, J., Lee, H., Nguyen, D. M., Shin, M., Kwon, B. C., Ko, S. & Elmqvist, N. (2025). DG Comics: Semi-Automatically Authoring Graph Comics for Dynamic Graphs. IEEE Transactions on Visualization and Computer Graphics, 31(1), 973-983. https://doi.org/10.1109/TVCG.2024.3456340

Boyle, E., Kohl, L., Li, Z. & Scholl, P. (2025). Direct FSS Constructions for Branching Programs and More from PRGs with Encoded-Output Homomorphism. 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. 266-298). Springer Nature. https://doi.org/10.1007/978-981-96-0938-3_9

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2025). "Double vaccinated, 5G boosted!": Learning Attitudes towards COVID-19 Vaccination from Social Media. ACM Transactions on the Web, 19(1), Artikel 8. https://doi.org/10.1145/3702654

Behrang, F., Zhang, Z., Saioc, G. V., Liu, P. & Chabbi, M. (2025). DR.FIX: Automatically Fixing Data Races at Industry Scale. Proceedings of the ACM on Programming Languages , 9, 475 - 502. Artikel 166. https://doi.org/10.1145/3729265

Shin, S., Na, I. & Elmqvist, N. (2025). Drillboards: Adaptive Visualization Dashboards for Dynamic Personalization of Visualization Experiences. IEEE Transactions on Visualization and Computer Graphics. Advance online publication. https://doi.org/10.1109/TVCG.2025.3542606

Dhanoa, V., Hinterreiter, A., Fediuk, V., Elmqvist, N., Gröller, E. & Streit, M. (2025). D-Tour: Semi-Automatic Generation of Interactive Guided Tours for Visualization Dashboard Onboarding. IEEE Transactions on Visualization and Computer Graphics, 31(1), 721-731. https://doi.org/10.1109/TVCG.2024.3456347

Brewer, B., Brodal, G. S. & Wang, H. (2025). Dynamic Convex Hulls for Simple Paths. Discrete and Computational Geometry. Advance online publication. https://doi.org/10.1007/s00454-024-00715-0

Saioc, G.-V., Lee, I.-T. A., Møller, A. & Chabbi, M. (2025). Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. I ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (s. 244-259). Association for Computing Machinery. https://doi.org/10.1145/3676641.3715990

Cominetti, E., Simplicio, M., Aranha, D. F., Matias, P. & Araujo, R. (Accepteret/In press). E2Easy: a simple lattice-based in-person end-to-end voting scheme. I 10th Workshop on Advances in Secure Electronic Voting Schemes (Voting 2025)

Høgsgaard, M. M. (2025). Efficient Optimal PAC Learning. Proceedings of Machine Learning Research, 272, 578-580.

Damgård, I. B., Ravi, D., Roy, L. D., Tschudi, D. & Yakoubov, S. (2025). Efficient Secure Communication Over Dynamic Incomplete Networks With Minimal Connectivity. I E. Boyle, E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 266–292). Springer. https://doi.org/10.1007/978-3-031-78023-3_9

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

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.

Frank, D.-A., Dipalma, J., Pfeuffer, K. & Buder, F. (2025). Exploring Consumer Decision-Making at Virtual Points of Sale: The Impact of Immersion. Abstract fra European Marketing Academy Conference (EMAC) 2025, Pozuela (Madrid), Spanien. https://www.emac2025conference.org/UserFiles/EMAC%20ebook.pdf

Killmann, K. S. (2025). Fast (Correct) Clustering in Time and Space using the GPU.

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

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

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., 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

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (2025). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. I Proceedings of ACNS 2025 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

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 and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-90897-2_3

Viser resultater 1 til 50 ud af 3004

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series