Aarhus University Seal

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

Sort by: Date | Author | Title

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. & 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
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
Aranha, D. F., Blatchley Hansen, A., van Baarsen, A. N., Nielsen, K. & Scholl, P. (2026). A Maliciously-Secure Post-Quantum OPRF from Crypto Dark Matter. In A. Oprea, C. Nita-Rotaru & N. Papernot (Eds.), Proceedings - 47th IEEE Symposium on Security and Privacy, SP 2026 (pp. 1195-1214) https://doi.org/10.1109/SP63933.2026.00221
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
Srinivasan, A., Rau, T. & Sedlmair, M. (2026). Analyzing Visual Attention Patterns During Band Rehearsal with Mobile Eye Tracking. In A. Chetouani, A. Vilanueva, A. Bruno & R. Echeverria (Eds.), ETRA 2026 - Proceedings of the 2026 Symposium on Eye Tracking Research and Applications Article 83 Association for Computing Machinery. https://doi.org/10.1145/3797246.3805721
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
Baum, C., Berlips, J., Chen, W., Cozzarini, H., Cui, H., Damgård, I., Dong, J., Esvelt, K. M., Foner, L., Gao, M., Gretton, D., Kysel, M., Li, J., Li, X., Paneth, O., Rivest, R. L., Sage-Ling, F., Shamir, A., Shen, Y. ... Zhang, K. (2026). A system capable of verifiably and privately screening global DNA synthesis. National Science Review, 13(14), Article nwag103. https://doi.org/10.1093/nsr/nwag103
Homrighausen, S. (2026). A Tale of Social Choice Mechanisms. [PhD dissertation, Aarhus University].
Skoulakis, S., Muller, A., Viano, L., Cevher, V. & Scheider, J. (2026). Best of Both Worlds: Regret Minimization versus Minimax Play. Advance online publication.
Å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
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
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
Wolter, A., Haag, L., Dhanoa, V. & Elmqvist, N. (2026). Context-Mediated Domain Adaptation in Multi-Agent Sensemaking Systems. Proceedings of the ACM on Human-Computer Interaction, 10(4), Article EICS003. https://doi.org/10.1145/3812772
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
Xu, W., Turcotte, A. & Staicu, C.-A. (2026). D-BUNDLR: Destructing JavaScript Bundles for Effective Static Analysis. In 2026 IEEE/ACM 48th International Conference on Software Engineering (ICSE '26), April 12--18, 2026, Rio de Janeiro, Brazil https://doi.org/10.1145/3744916.3764564
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
Hjorth, M., Andersen, B. L., Connelly, L., Jensen, J. J. & Holler, M. K. (2026). Designing for broken-hammer-pedagogy. In IDC 2026 - Proceedings the 25th Annual ACM Interaction Design and Children Conference (pp. 734-742). Association for Computing Machinery. https://doi.org/10.1145/3773077.3806130
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
Dindler, C., Iversen, O. S., Bossen, C., Kaspersen, M. H. & Dalsgaard, P. (2026). Enacting Utopias: A Participatory Design Approach to AI. In 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 (Eds.), PDC 2026 - 19th Participatory Design Conference, Vol. 1: Full Papers, Peace, Dialogue, Coexistence. Designing for living together (pp. 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. In ACM FAccT 2026 - Proceedings of the 9th annual ACM Conference on Fairness, Accountability, and Transparency (pp. 8165-8183). Association for Computing Machinery. https://doi.org/10.1145/3805689.3812233
Mu, Q. (2026). Exploring Backchannel Communication in Hybrid Meetings. [PhD dissertation, Aarhus University].