Aarhus Universitets segl

Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

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
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
Schaefer, Z., Thomsen, T. R., Schulz, H.-J., Thayssen, F. M., Christensen, M., Lindholdt, L., Svendsen, K., Mathisen, A. & Grønbæk, K. (2025). An Analysis of COVID-19 Recovery Duration: Smartwatch Activity and Self-Report. I 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Copenhagen, Denmark (Bind 2025, s. 1-7). IEEE. https://doi.org/10.1109/EMBC58623.2025.11251653
Zhang, C., Zhang, Z., Zhang, W., Zeng, T., Sun, B. & An, P. (2025). Anger Speaks Louder? Exploring the Effects of AI Nonverbal Emotional Cues on Human Decision Certainty in Moral Dilemmas. I M. Beigl, G. Jacucci, S. Sigg, Y. Xiao, J. E. Bardram, E. E. Tsiropoulou & C. Xu (red.), UbiComp Companion 2025 - Companion of the 2025 ACM International Joint Conference on Pervasive and Ubiquitous Computing (s. 40-44). Association for Computing Machinery. https://doi.org/10.1145/3714394.3754387
Braun, L., Castagnos, G., Damgård, I., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2025). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. Cryptography and Communications, 17(5), 1367-1406. https://doi.org/10.1007/S12095-025-00826-2
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+Business Media. 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
Bringmann, K., Larsen, K. G., Nusser, A., Rotenberg, E. & Wang, Y. (2025). Approximating Klee's Measure Problem and a Lower Bound for Union Volume Estimation. I 41st International Symposium on Computational Geometry (SoCG 2025) (Bind 332, s. 25:1-25:16). Artikel 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.25
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 Press. https://doi.org/10.1109/HRI61500.2025.10974111
Wagner, U., Kim, J., Wu, Z., Zhou, Q., Romero, M., Iop, A., Feuchtner, T. & Pfeuffer, K. (2025). A Study of Multimodal Pen + Gaze Interaction Techniques for Shape Point Translation in Extended Reality. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), 2025 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) (s. 454-464) https://doi.org/10.1109/ISMAR67309.2025.00056
Abraham, I., Chouatt, E., Gilad, Y., Stern, G. & Yakoubov, S. (2025). Asynchronous Algorand: Reaching Agreement with Near Linear Communication and Constant Expected Time. I ACM Symposium on Principles of Distributed Computing (PODC 2025) (s. 28-38) https://doi.org/10.1145/3732772.3733533
Liu, Y., Mikkelsen, T., Liu, Z., Tian, G., Mardanbegi, D., Zhou, Q., Gellersen, H. & Pfeuffer, K. (2025). At a Glance to Your Fingertips: Enabling Direct Manipulation of Distant Objects Through SightWarp. 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 Artikel 26 Association for Computing Machinery. https://doi.org/10.1145/3746059.3747653
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].
Zollmann, S., Gong, U. & Langlotz, T. (2025). Augmented Reality for Supporting Accessible Sports Spectating and Training. 1. Afhandling præsenteret på The Third Workshop on Building an Inclusive and Accessible Metaverse for All, Yokohama, Japan.
Johnson, J. G., Rick, S. R., Grønbæk, J. E., Wong, E., Yin, M., Nebeling, M., Klein, M., Ackerman, M. S. & Malone, T. (2025). Augmenting Collaborative Problem-Solving: Exploring the Design and Use of GenAI for Groupwork. I A. F. Pinatti de Carvalho, J. Vitak, X. Ma, X. Page, C. Rossitto, N. M. Su, L. Barkhuus, L. Barkhuus, M. Divitini, A. L. Hughes, J. Huh-Yoo, C. Ignat, R. Kelly, K. Luther, S. McCrickard, D. McDonald, J. Pater, H. Tellioglu, A. Vivacqua, H.-C. Wang, J. Cai, M. Jacobs ... S. K. Stigberg (red.), CSCW Companion 2025 - Companion of the Computer-Supported Cooperative Work and Social Computing (s. 168-173). Association for Computing Machinery. https://doi.org/10.1145/3715070.3748297
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. I L. Chiruzzo, A. Ritter & L. Wang (red.), 2025 Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Proceedings of the Conference Findings, NAACL 2025 (s. 6192-6209). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.findings-naacl.345
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.
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
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
Frich, J., Besana, N., Blevis, E., Spallazzo, D., Qureshi, A., Häkkilä, J., Krogh, P. G. & Petersen, M. G. (Accepteret/In press). Challenges and Opportunities of Teaching Sustainable Interaction Design. I IASDR2025
Afshani, P., Storandt, S. & Bosch, Y. (2025). Circle-Segment Intersection Queries in Connected Geometric Graphs. I 36th International Symposium on Algorithms and Computation (ISAAC 2025) (s. 3:1-3:16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2025.3
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
Besana, N., Petersen, M. G., Krogh, P. G. & Spallazzo, D. (2025). Co-designing with the archive: a new way of interacting with fashion design heritage. European Journal of Cultural Management and Policy, 15, Artikel 14013. https://doi.org/10.3389/ejcmp.2025.14013
Petsinis, P. (2025). Combinatorial Optimization for Diffusion and Search in Graphs. [Ph.d.-afhandling, Aarhus Universitet].