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

Dindler, C., Iversen, O. S., Bossen, C., Kaspersen, M. H. & Dalsgaard, P. (2026). Enacting Utopias: A Participatory Design Approach to AI. I D. Selloni, A. Meroni, L. Galluzzo, D. Fassi, D. de Sainz Molestina, S. Broadbent, A. D. Campbell, L. Forlano, E. Giaccardi, F. Jegou, L. Kimbell, S. Maffei, I. Mariani, M. Mortati, M. Pasari, J. de la Rosa, S. Roudavski, R. Rugeles, S. Schade, P. Scupelli, M. Tironi, O. Tomico, F. Vergani, B. Villari, J. S. Baek ... T. Franqueira (red.), PDC 2026 - 19th Participatory Design Conference, Vol. 1: Full Papers, Peace, Dialogue, Coexistence. Designing for living together (s. 118-128). Association for Computing Machinery. https://doi.org/10.1145/3796624.3796657
Connelly, L., Pedersen, T. R., Øvlisen, K., Bilstrup, K. E. K., Petersen, M. G. & Nyrup, R. (2026). Explanatory Pragmatism 2.0: Towards a Framework for Context-Sensitive, Human-Centred Interactive Explanations of AI. I ACM FAccT 2026 - Proceedings of the 9th annual ACM Conference on Fairness, Accountability, and Transparency (s. 8165-8183). Association for Computing Machinery. https://doi.org/10.1145/3805689.3812233
Mu, Q. (2026). Exploring Backchannel Communication in Hybrid Meetings. [Ph.d.-afhandling, Aarhus Universitet].
Bashar, M. R., Mutasim, A. K., Pfeuffer, K. & Batmaz, A. U. (2026). Eyes on Many: Evaluating Gaze, Hand, and Voice for Multi-Object Selection in Extended Reality. I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 671 Association for Computing Machinery. https://doi.org/10.1145/3772318.3790513
Tunç, H. C., Dong, Y. & Pavlogiannis, A. (2026). Fast Atomicity Monitoring. Proceedings of the ACM on Programming Languages , 10, Artikel 170. https://doi.org/10.1145/3808248
Zhu, F., Zhao, Y., Chen, Z., Liu, P., Zhu, H., Jiang, C. & Zhang, J. (2026). FGO-SLAM++: Real-time Geometry-Aware Gaussian SLAM with Continuous Opacity Field. IEEE Transactions on Visualization and Computer Graphics, 32(9), 7982-7997. https://doi.org/10.1109/TVCG.2026.3709401
Kimura, L. T., Leskow, D., Aranha, D. F., Simplicio, M. & Araujo, R. (Accepteret/In press). FiltrumVote: Scalable, Verifiable, and Coercion-Resistant Internet Voting. I E-Vote-ID
van Baarsen, A. N. & Pu, S. (2026). Fuzzy Private Set Intersection from VOLE. I G. Hanaoka & B.-Y. Yang (red.), Advances in Cryptology – ASIACRYPT 2025 : 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V (s. 327-360). Springer. https://doi.org/10.1007/978-981-95-5116-3_11
Khan, A. A., Weidner, F., Rhee, J., Abdrabou, Y., Bianchi, A., Velloso, E., Gellersen, H. & Newn, J. (2026). Gaze and Speech in Multimodal Human-Computer Interaction: A Scoping Review. I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 672 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791662
Anthes, C., Billinghurst, M., Grunefeld, U., Jetter, H. C., Liang, H. N., Maurer, F., Aigner, D., Anslow, C., Bataille, G., Campbell, A. G., Friedl-Knirsch, J., Gall, A., Guarese, R., Hubenschmid, S., Li, Y., Pointecker, F., Riegler, A., Roth, D., Vanukuru, R. ... Zielasko, D. (2026). Grand Challenges in Cross Reality. IEEE Transactions on Visualization and Computer Graphics, 32(9), 7998-8016. https://doi.org/10.1109/TVCG.2026.3695303
Skitsas, K. (2026). Graph-based Reasoning: Effective Mapping and Planning on Graphs. [Ph.d.-afhandling, Aarhus Universitet].
Grønbæk, J. E., Klokmose, C. N. & Hornbæk, K. (2026). How Do Future Visions Shape the Field of Human-Computer Interaction? I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 597 https://doi.org/10.1145/3772318.3791038
Hubenschmid, S., Satkowski, M., Zagermann, J., Méndez, J., Elmqvist, N., Feiner, S., Feuchtner, T., Grønbæk, J. E., Lee, B., Schmalstieg, D., Dachselt, R. & Reiterer, H. (2026). Hybrid User Interfaces: Past, Present, and Future of Complementary Cross-Device Interaction in Mixed Reality. IEEE Transactions on Visualization and Computer Graphics, 32(7), 7380-7399. https://doi.org/10.1109/TVCG.2026.3683941
Borowski, M., Butcher, P. W. S., Jones, S. J., Ritsos, P. D., Klokmose, C. N. & Elmqvist, N. (2026). “I Feel Like Iron Man”: Authoring, Exploring, and Presenting Data Visualizations in Immersive AR. IEEE Transactions on Visualization and Computer Graphics, 32(7), 5686-5700. https://doi.org/10.1109/TVCG.2026.3672314
Dohn, S., Hansen, K. A. & Klinkby, A. (2026). Improved Hardness Results for the Clearing Problem in Financial Networks with Credit Default Swaps. I R. Lavi & J. Zhang (red.), Algorithmic Game Theory - 18th International Symposium, SAGT 2025, Proceedings: 18th International Symposium, SAGT 2025, Bath, UK, September 2–5, 2025, Proceedings (s. 81-98) https://doi.org/10.1007/978-3-032-03639-1_5
Yakoubov, S., Damgård, I. B., Siniscalchi, L., Ravi, D. & Ciampi, M. (2026). Information-Theoretic Broadcast-Optimal MPC. I B. Applebaum & H. Lin (red.), Theory of Cryptography Conference (TCC 2025) (s. 152-181) https://doi.org/10.1007/978-3-032-12287-2_6
Pedersen, T. R., Øvlisen, K. & Petersen, M. G. (2026). Inside the Newsroom: How Media Company AI Strategies Fall Short in Practice. I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI 2026 - Extended Abtracts of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 399 https://doi.org/10.1145/3772363.3799296
Balaska, A., Grønbæk, J. E. S., Zhang, C., Schömbs, S. & Johal, W. (2026). Investigating Social Robot Proxies to Support Situationally Impaired Users in Hybrid Meetings. I K. Minamizawa, S. Kasahara, P. Strohmeier, Y. Abdelrahman, M. Sugimoto, M. Hoppe, M. Sra, N. Wagener, S. Villa & T. Hiraki (red.), AHs 2026 - Augmented Humans 2026 (s. 619-630). Association for Computing Machinery. https://doi.org/10.1145/3795011.3795038
Xu, W. & Møller, A. (2026). JavaScript Pointer Analysis with Adaptive Heap Abstraction. Proceedings of the ACM on Software Engineering, 3(FSE), 832 - 852. Artikel FSE038. https://doi.org/10.1145/3797133
Liu, Y.-Y., Dybboe, M., Ellemose, J., Bjerrum, J. B., Musaeus, L. H., Dindler, C. & Iversen, O. S. (2026). "Let’s talk about data'': Co-Designing Critical Data Literacy Tools for K--12 Education through Dialogic Learning. I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 92 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791296
Aranha, D. F., Blatchley Hansen, A. & Kingo Mogensen, T. (2026). LINE-Break: Cryptanalysis and Reverse Engineering of Letter Sealing. I ASIA CCS 2026 - Proceedings of the 21st ACM ASIA Conference on Computer and Communications Security (s. 375-387) https://doi.org/10.1145/3779208.3805983
Sun, B., Xu, H., Fu, G. K., Da, L. & Hoggan, E. (2026). MagHeart: Exploring Playful Avatar Co-Creation and Shared Heartbeats for Icebreaking in Hybrid Meetings. I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI 2026 - Extended Abtracts of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 443 Association for Computing Machinery. https://doi.org/10.1145/3772363.3798371
Marionneau, V., Sassus Bourda, F., Aguirre, A. & Birkedal, L. (2026). Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. I K. Stark, Y. Zakowski, N. Swamy & N. Tabareau (red.), CPP 2026 - Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2026 (s. 368-382) https://doi.org/10.1145/3779031.3779109
Lystbæk, M. N., Adams, H., Ananda, R. K., Gonzalez, E. J., Ballan, L., Wu, Q., Colaço, A., Tan, P. & Gonzalez-Franco, M. (2026). Navig-AI-tion: Navigation by Contextual AI and Spatial Audio. I N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (red.), CHI EA '26: Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 482 Association for Computing Machinery. https://doi.org/10.1145/3772363.3799295
Acharya, A., Hazay, C. & Venkitasubramaniam, M. (2026). On Achieving "Best-in-the-Multiverse" MPC. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part I (Bind 16268, s. 119–151). Springer LNCS. https://doi.org/10.1007/978-3-032-12287-2_5
Elder, G. A., Kamga, C., Karras, P., Katehakis, M. N., Petsinis, P., Talebi, S. & Xyntarakis, M. (2026). On Adaptive Transit Dispatch via Reinforcement Learning. I N. E. Mastorakis, I. J. Rudas & M. Katehakis (red.), Recent Advances in Communications and Computers (s. 246-271). Springer. https://doi.org/10.1007/978-3-032-20362-5_15
Lutze, M. C. D. (2026). On Effects, Inference, and Type Flow. [Ph.d.-afhandling, Aarhus Universitet].
Abram, D., Fehr, S., Obremski, M. & Scholl, P. (2026). On the Impossibility of Actively Secure Distributed Samplers. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (s. 547-581). Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_18
Aranha, D. F., Celi, S., Borin, G. & Niot, G. (Accepteret/In press). Optimizing and Implementing Threshold MAYO. IACR Transactions of Cryptographic Hardware and Embedded Systems. https://tches.iacr.org/index.php/TCHES/article/view/13104
Tellez, ES., Chavez, E., Aumüller, M. & Mic, V. (2026). Overview of the SISAP 2025 Indexing Challenge. I G. Amato, V. Mic, A. Traina, N. Messina, L. Amsaleg, G. Þór Guðmundsson, B. Þór Jónsson & L. Vadicamo (red.), Similarity Search and Applications - 18th International Conference, SISAP 2025, Proceedings (s. 403-414). Springer. https://doi.org/10.1007/978-3-032-06069-3_33
Shokeen, E., Jensen, A. V., Iversen, O. S., Dindler, C. & Petersen, M. G. (Accepteret/In press). Participatory Design for AI in Teacher Education: From Top-Down Directives to Teacher Empowerment. I Proceedings of the International Society of the Learning Sciences (ISLS) Annual Meeting International Society of the Learning Sciences (ISLS).