Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Quercia, A., Cao, Z., Bangun, A., Paul, R. D., Morrison, A., Assent, I. & Scharr, H. (2026). 1LoRa: Summation Compression for Very Low-Rank Adaptation. In Proceedings - 2026 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2026 (pp. 2253-2262). IEEE. https://doi.org/10.1109/WACV61042.2026.00223

Gori, J., Nioche, A., Johns, C. A. & Oulasvirta, A. (2026). A decision-theoretic representation of assistive interfaces. In 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 (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 1138 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791819

Sosso, A., Arora, A. & Spitters, B. (2026). Agentic Proving for Program Verification. Abstract from ICLR 2026 Workshop on Logical Reasoning of Large Language Models, Rio de Janeiro, Brazil. https://openreview.net/forum?id=wpQ6rTpGY6

Sosso, A., Arora, A. & Spitters, B. (2026). Agentic Proving for Program Verification.

Sosso, A. & Spitters, B. (2026). Agentic Proving for Type Theory. Abstract from 32nd International Conference on Types for Proofs and Programs, Gothenburg, Sweden. https://types2026.cse.chalmers.se/abstracts/64.pdf

Dai, D., Zhang, Y., Ma, Y. & Kragic, D. (2026). AI That Moves with You: A Review of Interactive Technologies Powered by Large Foundation Models for Mobility Impairment. In 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 (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 1195 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791239

Shyam, S. (2026). Algorithms and Complexity for Constrained Fair Division, Discrepancy, and Packing. [PhD dissertation, Aarhus University].

Kim, M. Y., Kim, J., Pfeuffer, K. & Yoon, S. H. (2026). Align-to-Scale: Mode Switching Technique for Unimanual 3D Object Manipulation with Gaze-Hand-Object Alignment in Extended Reality. Proceedings of the ACM on Computer Graphics and Interactive Techniques, 9(2), Article 24. https://doi.org/10.1145/3803538

Hubenschmid, S., Srinivasan, A., Elmqvist, N., Schmalstieg, D. & Sedlmair, M. (2026). Ambient Analytics: Calm Technology for Immersive Visualization and Sensemaking. IEEE Computer Graphics and Applications, 46(3), 110-117. https://doi.org/10.1109/MCG.2026.3667291

León, G. M., Bach, B., Valentim, M. & Elmqvist, N. (2026). A Multiliteracy Model for Interactive Visualization Literacy: Definitions, Literacies, and Steps for Future Research. In 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 (Eds.), 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 Article 1147 https://doi.org/10.1145/3772318.3793423

Liu, Z., Hammond, A., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2026). An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics. ACM Transactions on Programming Languages and Systems, 48(1), Article 3. https://doi.org/10.1145/3786762

Caragiannis, I., Larsen, K. G. & Shyam, S. (2026). A New Lower Bound for Multicolor Discrepancy with Applications to Fair Division. In R. Lavi & J. Zhang (Eds.), Algorithmic Game Theory: 18th International Symposium, SAGT 2025, Bath, UK, September 2–5, 2025, Proceedings (pp. 228-246). Springer. https://doi.org/10.1007/978-3-032-03639-1_13

Caragiannis, I., LeGrand, R., Markakis, E. & Pountourakis, E. (2026). An Impossibility Result for Strongly Group-Strategyproof Multi-winner Approval-Based Voting. In M. Mavronicolas, Q. Qi & G. Schoenebeck (Eds.), Web and Internet Economics - 20th International Conference, WINE 2024, Proceedings (pp. 457–475). Springer. https://doi.org/10.1007/978-3-032-08560-3_26

Cohen, R., Doerner, J., Lee, E., Lysyanskaya, A. & Roy, L. (2026). An Unstoppable Ideal Functionality for Signatures and a Modular Analysis of the Dolev-Strong Broadcast. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (pp. 675-708). Springer. https://doi.org/10.1007/978-3-032-12290-2_22

Pérami, T., Bauereiss, T., Campbell, B., Liu, Z., Lauermann, N., Armstrong, A. & Sewell, P. (2026). ArchSem: Reusable Rigorous Semantics of Relaxed Architectures. Proceedings of the ACM on Programming Languages , 10, 204-234. https://doi.org/10.1145/3776650

De Vilhena, P. E., Van Collem, S., Wright, I. & Krebbers, R. (2026). A Relational Separation Logic for Effect Handlers. Proceedings of the ACM on Programming Languages , 10(POPL), 981-1009. Article 34. https://doi.org/10.1145/3776676

Li, M., Zhang, P., Xing, W., Zheng, Y., Zaporojets, K., Chen, J., Zhang, R., Zhang, Y., Gong, S., Hu, J., Ma, X., Liu, Z., Groth, P. & Worring, M. (2026). A survey of large language models for data challenges in graphs. Expert Systems with Applications, 298, Part A, Article 129643. https://doi.org/10.1016/j.eswa.2025.129643

Homrighausen, S. (2026). A Tale of Social Choice Mechanisms. [PhD dissertation, Aarhus University].

Årdal, M. A., Aranha, D. F., Feng, Y., Gao, Y. & Pan, Y. (2026). Better Bounds for Finding Fixed-Degree Isogenies via Coppersmith’s Method. In J. Daemen & E. Thomé (Eds.), Advances in Cryptology – EUROCRYPT 2026 - 45th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (pp. 541-572) https://doi.org/10.1007/978-3-032-25327-9_19

Shokeen, E., Jensen, A. V., Iversen, O. S., Lunding, M. S., Petersen, M. G. & Bilstrup, K.-E. K. (2026). Beyond Isolated Interventions: An Ecological and InfrastructuralSynthesis of K–12 Cybersecurity Education Research. ACM Transactions on Computing Education. Advance online publication. https://doi.org/10.1145/3819079

Caragiannis, I. & Fehrs, K. A. F. (2026). Beyond the Worst Case: Distortion in Impartial Culture Electorates. In M. Mavronicolas, Q. Qi & G. Schoenebeck (Eds.), Web and Internet Economics - 20th International Conference, WINE 2024, Proceedings (Vol. LNCS 15534, pp. 420-437). Springer. https://doi.org/10.1007/978-3-032-08560-3_24

Caragiannis, I., Jiang, Z. & Kerentzis, A. (2026). Bounds on the Revenue Gap of Linear Posted Pricing for Selling a Divisible Item. In V. Bilò, Y. Cai & Z. Huang (Eds.), Web and Internet Economics - 21st International Conference, WINE 2025, Proceedings (pp. 200-215). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-18660-7_10

Pedersen, T. R., Øvlisen, K., Connelly, L., Assent, I. & Petersen, M. G. (2026). Breaking News or Breaking Trust? Exploring Challenges and a Design Space for Trustworthy LLM Integration in Journalism. In 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 (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 86 https://doi.org/10.1145/3772318.3791457

Hwang, C., Feuchtner, T., Oakley, I. & Grønbæk, K. (2026). Calibrating Pseudo-Haptics: Toward Effective Weight Simulation for Industrial Training in Virtual Reality. International Journal of Human-Computer Interaction. Advance online publication. https://doi.org/10.1080/10447318.2026.2664085

Rousseau, J., Carnier, D., Van Strydonck, T., Keuchel, S., Devriese, D. & Birkedal, L. (2026). Cerisier: A Program Logic for Attestation in a Capability Machine. Proceedings of the ACM on Programming Languages , 10, Article 209. https://doi.org/10.1145/3808287

Brehmer, M., Cordeil, M., Hurter, C., Itoh, T., Büschel, W., Jasim, M., Prouzeau, A., Saffo, D., Bartram, L., Carpendale, S., Zhu-Tian, C., Cunningham, A., Dwyer, T., Huron, S., Itoh, M., Joshi, A., Kiyokawa, K., Kuzuoka, H., Lee, B. ... Zhao, J. (2026). Challenges in Synchronous & Remote Collaboration Around Visualization. In 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 (Eds.), 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 Article 1007 https://doi.org/10.1145/3772318.3791117

Andersen, M. J., Caragiannis, I., Ipsen, A. B. & Søltoft, A. (2026). Computing Approximately Proportional Allocations of Indivisible Goods: Beyond Additive and Monotone Valuations. Proceedings of the AAAI Conference on Artificial Intelligence, 40(20), 16631-16638. https://doi.org/10.1609/aaai.v40i20.38704

Li, K. H., Aguirre, A., Tassarotti, J. & Birkedal, L. (2026). Contextual Refinement of Higher-Order Concurrent Probabilistic Programs. Proceedings of the ACM on Programming Languages , 10, Article 187. https://doi.org/10.1145/3808265

Airao, J., Fattahi, S., Truong, T. T., Alinaghizadeh, A., Azarhoushang, B., Karras, P. & Aghababaei, R. (2026). Data driven tool wear and remaining useful tool life estimation. Wear, 600, Article 206808. https://doi.org/10.1016/j.wear.2026.206808

Amico, T., Matthews, P., Krieger, L., Zimek, A. & Assent, I. (2026). DCFO: Density-Based Counterfactuals for Outliers. In KDD 2026 - Proceedings of the 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.1 (pp. 37-48). Association for Computing Machinery. https://doi.org/10.1145/3770854.3780205

Canetti, R., Damgård, I. B., Kolby, S., Ravi, D. & Yakoubov, S. (2026). Deniable Secret Sharing. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (pp. 399-427) https://doi.org/10.1007/978-3-032-12293-3_13

Keller, H. J. (2026). Distributed Differential Privacy Using Cryptographic Techniques. [PhD dissertation, Aarhus University].

Brewer, B., Brodal, G. S. & Wang, H. (2026). Dynamic Convex Hulls for Simple Paths. Discrete & Computational Geometry, 75(4), 1151-1186. https://doi.org/10.1007/s00454-024-00715-0

Cominetti, E., Simplicio, M., Aranha, D. F., Matias, P. & Araujo, R. (2026). E2Easy: a simple lattice-based in-person end-to-end voting scheme. In B. Haslhofer, J. Xu, F. Victor, M. Bartoletti, A. Bracciali, K. Matsuura, J. Nabrzyski, V. Estrada-Galiñanes, C. Tessone, J. Budurushi & K. Marky (Eds.), Financial Cryptography and Data Security. FC 2025 International Workshops - CoDecFin, FinTeAchin, VOTING, 2025, Revised Selected Papers (pp. 281-296). Springer. https://doi.org/10.1007/978-3-032-00495-6_16

Kjelstrøm, A. H., Pavlogiannis, A. & van de Pol, J. (2026). Efficient Simulation of High-Level Quantum Gates. Quantum, 10. https://doi.org/10.22331/q-2026-05-05-2093

Mu, Q. (2026). Exploring Backchannel Communication in Hybrid Meetings. [PhD dissertation, Aarhus University].

Wang, L., Meng, F., Liu, W., Zhao, Q., Zhang, J., Xie, Y., Zhang, Y., Duan, S., Li, Y., Cao, L. & Fox, A. D. (2026). Extreme drought affects exploratory behaviour and use of agricultural habitat in wintering Greater White-fronted Geese (Anser albifrons). Ibis. Advance online publication. https://doi.org/10.1111/ibi.70033

Ellemose, J. & Elmqvist, N. (2026). Eye of the Beholder: Towards Measuring Visualization Complexity. IEEE Transactions on Visualization and Computer Graphics, 32(1), 1109-1119. https://doi.org/10.1109/TVCG.2025.3634789

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. In 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 (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 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, Article 170. https://doi.org/10.1145/3808248

Majland, M., Jensen, R. B., Ettenhuber, P., Shaik, I., Zinner, N. T. & Christiansen, O. (2026). Fault-Tolerant Quantum Computations of Vibrational Wave Functions. Journal of Chemical Theory and Computation, 22(1), 30-51. https://doi.org/10.1021/acs.jctc.5c01419

Schulz, H.-J. & Paulovich, F. V. (2026). Foreword to special section on SIBGRAPI 2025: Highlights from EuroVA 2025. Computers & Graphics, 134, Article 104526. https://doi.org/10.1016/j.cag.2026.104580

van Baarsen, A. N. & Pu, S. (2026). Fuzzy Private Set Intersection from VOLE. In G. Hanaoka & B.-Y. Yang (Eds.), 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 (pp. 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. In 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 (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 672 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791662

Skitsas, K. (2026). Graph-based Reasoning: Effective Mapping and Planning on Graphs. [PhD dissertation, Aarhus University].

Grønbæk, J. E., Klokmose, C. N. & Hornbæk, K. (2026). How Do Future Visions Shape the Field of Human-Computer Interaction? In 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 (Eds.), 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 Article 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. https://doi.org/10.1109/TVCG.2026.3683941

Dohn, S., Hansen, K. A. & Klinkby, A. (2026). Improved Hardness Results for the Clearing Problem in Financial Networks with Credit Default Swaps. In R. Lavi & J. Zhang (Eds.), Algorithmic Game Theory - 18th International Symposium, SAGT 2025, Proceedings: 18th International Symposium, SAGT 2025, Bath, UK, September 2–5, 2025, Proceedings (pp. 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. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography Conference (TCC 2025) (pp. 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. In 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 (Eds.), CHI 2026 - Extended Abtracts of the 2026 CHI Conference on Human Factors in Computing Systems Article 399 https://doi.org/10.1145/3772363.3799296

Displaying results 1 to 50 out of 5971

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University