Publikationer

Søg publikationer fra Institut for Datalogi

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

Manakhov, P. (2025). 3D UI Placement for Interaction on the Go. [Ph.d.-afhandling, Aarhus Universitet].

Cohen-Addad, V., Grandoni, F., Lee, E., Schwiegelshohn, C. & Svensson, O. (2025). A (2+ϵ)-Approximation Algorithm for Metric κ-Median. I M. Koucký & N. Bansal (red.), STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing (s. 615-624). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718299

Argo, S., Venema, M., Riepel, D., Güneysu, T. & Aranha, D. F. (2025). ABE Cubed: Advanced Benchmarking Extensions for ABE Squared. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025(4), 544-587. https://doi.org/10.46586/tches.v2025.i4.544-587

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

Dhanoa, V., Wolter, A. S., Molina León, G., Schulz, H.-J. & Elmqvist, N. (2025). Agentic Visualization: Extracting Agent-based Design Patterns from Visualization Systems. IEEE Computer Graphics and Applications, 45(6), 89-100. https://doi.org/10.48550/arXiv.2505.19101, https://doi.org/10.1109/MCG.2025.3607741

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

Cohen-Addad, V., Lattanzi, S. & Schwiegelshohn, C. (2025). Almost Optimal PAC Learning for k-Means. I M. Koucky & N. Bansal (red.), STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing (s. 2019-2030). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718180

Petsinis, P., Skitsas, K., Ranu, S., Mottin, D. & Karras, P. (2025). Alpine: Partial Unlabeled Graph Alignment. I KDD 2025 - Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 2315-2325). Association for Computing Machinery. https://doi.org/10.1145/3711896.3736839

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

Charbit, P., Couteau, G., Meyer, P. & Naserasr, R. (2025). A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-Reduction. I E. Boyle, E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 167-199). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-78023-3_6

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

Brodal, G. S. (2025). A Simple Integer Successor-Delete Data Structure. I P. Mutzel & N. Prezza (red.), 23rd International Symposium on Experimental Algorithms, SEA 2025 Artikel 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SEA.2025.8

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

Wagner, U., Kim, J., Wu, Z., Zhou, Q., Romero, M., Iop, A., Feuchtner, T. & Pfeuffer, K. (Accepteret/In press). A Study of Multimodal Pen + Gaze Interaction Techniques for Shape Point Translation in Extended Reality. I Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025

Liu, Y., Mikkelsen, T., Liu, Z., Tian, G., Mardanbegi, D., Zhou, Q., Gellersen, H. & Pfeuffer, K. (Accepteret/In press). At a Glance to Your Fingertips: Enabling Direct Manipulation of Distant Objects Through SightWarp. I Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology

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.

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

Lunding, R. S. (2025). Augmented Reality assisted Human-Robot Collaboration. [Ph.d.-afhandling, Aarhus Universitet].

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

Connelly, L., Bilstrup, K. E. K. & Petersen, M. G. (2025). Beyond LLMs as Black Boxes: Activities and an Educational Tool Supporting Unplugged and Digital AI Learning Activities for K-12 Classrooms. I Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Artikel 11 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747112

Dybboe, M., Kaspersen, M. H., Bjerrum, J. B. & Petersen, M. G. (2025). Bit:sort: Bringing Tangible Computing to Computer Science Unplugged to Support Children's Algorithmic Explorations. I Proceedings - 24th Annual ACM Interaction Design and Children Conference, IDC 2025 (s. 429-443). Association for Computing Machinery. https://doi.org/10.1145/3713043.3728854

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.

Brodal, G. S. (2025). Bottom-up rebalancing binary search trees by flipping a coin. Theoretical Computer Science, 1055, Artikel 115543. https://doi.org/10.1016/j.tcs.2025.115543

Zhang, Z., Sun, B. & An, P. (2025). Breaking Barriers or Building Dependency? Exploring Team-LLM Collaboration in AI-infused Classroom Debate. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 137 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713853

Brodal, G. S., Rysgaard, C. M. & Svenning, R. (2025). Buffered Partially-Persistent External-Memory Search Trees. I A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (red.), 33rd Annual European Symposium on Algorithms, ESA 2025 Artikel 82 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.82

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

Shaik, I. & van de Pol, J. (2025). CNOT-Optimal Clifford Synthesis as SAT. I J. Berg, J. Nordstrom & J. Nordstrom (red.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Artikel 28 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.28

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

Liu, Y.-Y., Dybboe, M., Bjerrum, J. B., Ellemose, J. & Dindler, C. (Accepteret/In press). Co-designing Tools for Dialogic Learning: Insights from the Viz4Kidz' Project. I Proceedings of IASDR 2025 Design Research Society.

Petsinis, P. (2025). Combinatorial Optimization for Diffusion and Search in Graphs. [Ph.d.-afhandling, Aarhus Universitet].

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

Afshani, P., Nekrich, Y. & Staals, F. (2025). Convexity Helps Iterated Search in 3D. I O. Aichholzer & H. Wang (red.), 41st International Symposium on Computational Geometry, SoCG 2025 Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.3

Busboom, J., Dunn, K., Bjørn, P., Kleinau, J., Mu, Q., Duckert, M., Hoggan, E., Bødker, S. & Boulus-Rodje, N. (2025). Crisis (and Hope) Set in Stone. Collaboratively Materializing Post Pandemic Work Realities. I Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Artikel 4 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747104

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, 31(10), 7034-7047. 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

Jakobsen, A. B., Clausen, A. B., van de Pol, J. & Shaik, I. (2025). Depth-Optimal Quantum Layout Synthesis as SAT. I J. Berg & J. Nordstrom (red.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Artikel 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.16

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

Mikkelsen, T., Zhou, Q., Lystbæk, M. N., Liu, Y., Gellersen, H. & Pfeuffer, K. (Accepteret/In press). DOF-Separation for 3D Manipulation in XR: Understanding Finger-Wrist Separation to Simultaneously Translate and Rotate Objects. I Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025

Viser resultater 1 til 50 ud af 3070

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series