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

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

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

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 CHI '26: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems 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 EUROCRYPT 2026 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

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 Conference on Human Factors in Computing Systems - Proceedings

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

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 CHI '26: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems 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

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

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

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

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

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 Conference on Human Factors in Computing Systems - Proceedings

Namakonov, E., Fasse, J., Jacobs, B., Birkedal, L. & Timany, A. (2026). Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic. Proceedings of the ACM on Programming Languages , 10(OOPSLA1), Article 132. https://doi.org/10.1145/3798240

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. 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 443 Association for Computing Machinery. https://doi.org/10.1145/3772363.3798371

Ahlgreen, O. A., Hansen, M. W., Baake, J., Hybel, T. E., Rossi, R., Lai, X., Sankaranarayanan, I., Pold, J. A., Lin, L., Reinert, L., Paludan, S. R., Price, T. J., Pallesen, L. T. & Vægter, C. B. (2026). Mapping Satellite Glial Cell Heterogeneity Reveals Distinct Spatial Organization and Implies Functional Diversity in the Dorsal Root Ganglion. Advanced Science, 13(1), Article e11569. https://doi.org/10.1002/advs.202511569

Marionneau, V., Sassus Bourda, F., Aguirre, A. & Birkedal, L. (2026). Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. In K. Stark, Y. Zakowski, N. Swamy & N. Tabareau (Eds.), CPP 2026 - Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2026 (pp. 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. 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 EA '26: Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems Article 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. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part I (Vol. 16268, pp. 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. In N. E. Mastorakis, I. J. Rudas & M. Katehakis (Eds.), Recent Advances in Communications and Computers (pp. 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. [PhD dissertation, Aarhus University].

Abram, D., Fehr, S., Obremski, M. & Scholl, P. (2026). On the Impossibility of Actively Secure Distributed Samplers. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (pp. 547-581). Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_18

Tellez, ES., Chavez, E., Aumüller, M. & Mic, V. (2026). Overview of the SISAP 2025 Indexing Challenge. In G. Amato, V. Mic, A. Traina, N. Messina, L. Amsaleg, G. Þór Guðmundsson, B. Þór Jónsson & L. Vadicamo (Eds.), Similarity Search and Applications - 18th International Conference, SISAP 2025, Proceedings (pp. 403-414). Springer. https://doi.org/10.1007/978-3-032-06069-3_33

Escudero, D. & Damgård, I. (2026). Preface. In D. Escudero & I. Damgård (Eds.), Progress in Cryptology – LATINCRYPT 2025: 9th International Conference on Cryptology and Information Security in Latin America, Medellín, Colombia, October 1–3, 2025, Proceedings (pp. v). Springer. https://doi.org/10.1007/978-3-032-06754-8

Mikkelsen, T., Zhou, Q., Gonzalez-Franco, M., Gellersen, H. & Pfeuffer, K. (2026). Preshaping Hand Behaviour for Direct and Indirect Manipulation of 3D Objects. 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 1692 Association for Computing Machinery. https://doi.org/10.1145/3772318.3793424

Behera, A. R., Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2026). Privately Constrained PRFs from DCR: Puncturing and Bounded Waring Rank. In B. Applebaum & H. Lin (Eds.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (pp. 301-332). Springer. https://doi.org/10.1007/978-3-032-12287-2_11

Displaying results 1 to 50 out of 5946

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University