Publikationer

Søg publikationer fra Institut for Datalogi

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

Yen, R., Pollock, J., Berger, C. P. & Satyanarayan, A. (2026). Something In Between Formal Spec and Informal Representation. https://vis.csail.mit.edu/pubs/between-formal-informal.pdf

Hvilshøj, R., Hoggan, E. & Pakanen, M. (2026). StressAwear- A multimodal wearable for shared awareness of stress in open plan offices. Design Journal, 29(1), 158-182. https://doi.org/10.1080/14606925.2026.2614658

Gratzer, D., Shulman, M. & Sterling, J. (2026). STRICT UNIVERSES FOR GROTHENDIECK TOPOI. Theory and Applications of Categories, 45, 1227-1279.

Matthews, P. (2026). Structure-Guided Explainability - From Regional to Counterfactual Explanations. [Ph.d.-afhandling, Aarhus Universitet].

Borowski, M., Kristensen, J. B., Panda, P., Rintel, S., Elmqvist, N., Grønbæk, J. E. & Klokmose, C. N. (Accepteret/In press). Stund: Activity-Enriched Collaborative Workspaces Mediated by Artificial Intelligence. I UIST '26: Proceedings of the 39th Annual ACM Symposium on User Interface Software and Technology Association for Computing Machinery.

Liu, Y., Zhou, Q., Lystbæk, M. N., Kehoe, A., Gutierrez, M., Gellersen, H. & Pfeuffer, K. (2026). StylusPort: Investigating Teleportation using Stylus in VR. 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 '26: Proceedings of the 2026 CHI Conference on Human Factors in Computing System Artikel 1678 Association for Computing Machinery. https://doi.org/10.1145/3772318.3793420

Larsen, K. G. & Yu, H. (2026). SUPER-LOGARITHMIC LOWER BOUNDS FOR DYNAMIC GRAPH PROBLEMS. I 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (3 udg., Bind 55, s. FOCS23-42-FOCS23-69) https://doi.org/10.1137/24M1638215

Liu, Y., Surrow, I. M., Shokeen, E., Connelly, L. J., Jensen, A. V., Hjorth, M., Andersen, B. L., Dindler, C., Iversen, O. S. & Petersen, M. G. (2026). Supporting Teachers in Teaching Critical AI Literacy from Co-design to Classroom Implementation. I Proceedings of BritCHI 2026 Association for Computing Machinery.

Wong, E., Paxton, F., Pook, H., Howe, J., Grønbæk, J. E. S., Johal, W., Velloso, E. & Vetere, F. (2026). Systemic Futures: Integrating Critical Speculation and Systemic Design Pragmatism. I C. C. Yen, J.-J. Lee, E. Y.-L. Do, C. Zheng, D. Yoo & T. Tang (red.), DIS 2026 - Proceedngs of the 2026 ACM Designing Interactive Systems Conference (s. 3152-3173). Association for Computing Machinery. https://doi.org/10.1145/3800645.3812901

He, C., Elmqvist, N., Bellucci, A., Munshi, M. & Jacucci, G. (2026). Systemization of Knowledge (SoK): Visualization Insight – Two Decades of Research, Practice, and Future Directions. ACM Computing Surveys, 58(9), Artikel 224. https://doi.org/10.1145/3788869

Jensen, A. V., Surrow, I. M., Shokeen, E., Liu, Y.-Y., Connelly, L., Dindler, C., Hjorth, M., Petersen, M. G. & Iversen, O. S. (Accepteret/In press). Teachers Bridging Technical and Reflective Stances in K-9 AI Education. I Proceedings of the International Society of the Learning Sciences (ISLS) Annual Meeting International Society of the Learning Sciences (ISLS).

Årdal, M. A., Basso, A. & Riepel, D. (2026). The Algebraic Isogeny Model: A General Model with Applications to SQIsign and Key Exchanges. I J. Daemen & E. Thomé (red.), Advances in Cryptology – EUROCRYPT 2026 - 45th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 604-635) https://doi.org/10.1007/978-3-032-25327-9_21

Srinivasan, A. & Elmqvist, N. (2026). The Attention-Aware Pipeline: Design Tensions from Making Attention Visible in XR. CEUR Workshop Proceedings, 4226, 26-35.

Gratzer, D., Weinberger, J. & Buchholtz, U. (2026). The ∞-Category of ∞-Categories in Simplicial Type Theory. I F. Claudia, K. Joost-Pieter & K. Joost-Pieter (red.), 41st Annual Symposium on Logic in Computer Science, LICS 2026 Artikel 52 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.LICS.2026.52

Sosso, A., Bernardelli, A. M. & Gualandi, S. (2026). The cloven traveling salesman: cycle covers and the integrality gap of small ATSP instances. Optimization Letters. https://doi.org/10.1007/s11590-026-02312-x

Shi, Z., Møldrup, L., Mathur, U. & Pavlogiannis, A. (2026). The Complexity of Testing Message-Passing Concurrency. Proceedings of the ACM on Programming Languages , 10, 1-32. https://doi.org/10.1145/3776643

Hansen, R. R., Larsen, A. S. & Askarov, A. (2026). The Downgrading Semantics of Memory Safety. Proceedings of the ACM on Programming Languages , 10, 328-355. https://doi.org/10.1145/3808260

Larsen, K. G. & Simkin, M. (2026). Time/Space Tradeoffs for Generic Attacks on Delay Functions. I B. Applebaum & H. Lin (red.), Theory of Cryptography: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (s. 451-477). Springer. https://doi.org/10.1007/978-3-032-12290-2_15

Acharya, A., Hazay, C., Prabhakaran, M. & Kolesnikov, V. (2026). Towards Building Efficient SCALES Protocols. 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, Proceedings: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V (Bind 16249, s. 35-67). Springer LNCS. https://doi.org/10.1007/978-981-95-5116-3_2

Molina León, G., Bach, B., Valentim, M. & Elmqvist, N. (2026). Towards Measuring Interactive Visualization Abilities: Connecting With Existing Literacies and Assessments.

Whiffing, J., Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2026). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction, 33(1), Artikel 11. https://doi.org/10.1145/3770583

Namakonov, E. S., Birkedal, L. & Timany, A. (2026). Verifying Wait-Freedom for Concurrent Higher-Order Programs. I R. Krebbers & A. Silva (red.), 40th European Conference on Object-Oriented Programming, ECOOP 2026 Artikel 20 https://doi.org/10.4230/LIPIcs.ECOOP.2026.20

Burattin, A., Miksch, S., Sadiq, S., Schulz, H.-J. & Vrotsou, K. (2026). VESPA: Visual Event-Stream Progressive Analytics. 549-556. Afhandling præsenteret på 2nd Visual Process Analytics Workshop (VIPRA'25), Seville, Spanien. https://doi.org/10.1007/978-3-032-13426-4_40

Da, L. & Hirzle, T. (2026). Virtual Perspectives: Effects of Spatial Presence and Agency on Affective and Cognitive Virtual Reality Perspective-Taking. 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 632 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791058

Gao, Z., Guo, M., Han, J., Sun, B., Nie, K. & Zhang, Y. (2026). Visual Storytelling Beyond the Human: Co-Creation, Culture, and Futures. 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 981 Association for Computing Machinery. https://doi.org/10.1145/3772363.3778686

Eagan, L., Nguyen, N., Chen, A. V., Zhu, T., Johnson, S. M., Dumpa, P. R., Geil, B. J., Ventura, J. & Zollmann, S. (2026). VR Panorama Inpainting: A Feasibility Study of High-Resolution View Synthesis for Virtual Reality. I Proceedings - 2026 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2026 (s. 137-146). IEEE. https://doi.org/10.1109/AIxVR67263.2026.00024

van de Pol, J. & Bouyer, P. (red.) (2025). 36th International Conference on Concurrency Theory, CONCUR 2025. Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 348 https://www.dagstuhl.de/dagpub/978-3-95977-389-8

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

Ozbek, D., AlAlawi, M. & Wessely, M. (2025). AcceloPrint: Fabricating Customizable Accelerometers with Multi-Material 3D Printing. I CHI EA 2025 - Proceedings of the Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 59 Association for Computing Machinery. https://doi.org/10.1145/3706599.3720059

Afshani, P. & Sitchinava , N. (2025). A Cell Probe Lower Bound for the Predecessor Search Problem in PRAM. I ACACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (s. 3998-4008). Association for Computing Machinery. https://doi.org/10.1137/1.9781611978322.136

Årdal, M. A., Basso, A., Feo, L. D., Patranabis, S. & Wesolowski, B. (2025). A Complete Security Proof of SQIsign. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 190-222) https://doi.org/10.1007/978-3-032-01887-8_7

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

Rysgaard, C. M. (2025). A Journey through Persistence, External Memory, Trees, and other Unrelated Problems. [Ph.d.-afhandling, Aarhus Universitet].

Schou, J. K. R. (2025). Algorithmic Innovation through Persistence, Topology, and Geometry. [Ph.d.-afhandling, Aarhus Universitet].

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

Á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

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 O. Aichholzer & H. Wang (red.), 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

Viser resultater 101 til 150 ud af 6137

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series