Publikationer

Søg publikationer fra Institut for Datalogi

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

Gori, J., Nioche, A., Johns, C. A. & Oulasvirta, A. (2026). A decision-theoretic representation of assistive interfaces. 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 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 fra ICLR 2026 Workshop on Logical Reasoning of Large Language Models, Rio de Janeiro, Brasilien. 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 fra 32nd International Conference on Types for Proofs and Programs, Gothenburg, Sverige. 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. 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 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. [Ph.d.-afhandling, Aarhus Universitet].

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), Artikel 24. https://doi.org/10.1145/3803538

Aranha, D. F., Blatchley Hansen, A., van Baarsen, A. N., Nielsen, K. & Scholl, P. (Accepteret/In press). A Maliciously-Secure Post-Quantum OPRF from Crypto Dark Matter. I IEEE Security & Privacy

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. I CHI '26: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 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), Artikel 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. I R. Lavi & J. Zhang (red.), Algorithmic Game Theory: 18th International Symposium, SAGT 2025, Bath, UK, September 2–5, 2025, Proceedings (s. 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. I M. Mavronicolas, Q. Qi & G. Schoenebeck (red.), Web and Internet Economics - 20th International Conference, WINE 2024, Proceedings (s. 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. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (s. 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. Artikel 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, Artikel 129643. https://doi.org/10.1016/j.eswa.2025.129643

Homrighausen, S. (2026). A Tale of Social Choice Mechanisms. [Ph.d.-afhandling, Aarhus Universitet].

Skoulakis, S., Muller, A., Viano, L., Cevher, V. & Scheider, J. (Accepteret/In press). Best of Both Worlds: Regret Minimization versus Minimax Play.

Årdal, M. A., Aranha, D. F., Feng, Y., Gao, Y. & Pan, Y. (2026). Better Bounds for Finding Fixed-Degree Isogenies via Coppersmith’s Method. I 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. I M. Mavronicolas, Q. Qi & G. Schoenebeck (red.), Web and Internet Economics - 20th International Conference, WINE 2024, Proceedings (Bind LNCS 15534, s. 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. I 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. 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 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

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, Artikel 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. I KDD 2026 - Proceedings of the 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.1 (s. 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. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (s. 399-427) https://doi.org/10.1007/978-3-032-12293-3_13

Keller, H. J. (2026). Distributed Differential Privacy Using Cryptographic Techniques. [Ph.d.-afhandling, Aarhus Universitet].

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

Enni, S., Erslev, M. S., Bilstrup, K.-E. K. & Nielbo, K. L. (2026). Editorial Alignment: A Participatory Approach to Engaging Editorial Expertise in LLM-mediated Knowledge Dissemination. Manuskript afsendt til publicering. I Proccedings of NordiCHI 2026: Pulse Association for Computing Machinery.

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

Dindler, C., Iversen, O. S., Bossen, C., Kaspersen, M. H. & Dalsgaard, P. (Accepteret/In press). Enacting Utopias: A Participatory Design Approach to AI. I Proceedings of the Participatory Design Conference 2026 (PDC '26) Association for Computing Machinery.

Mu, Q. (2026). Exploring Backchannel Communication in Hybrid Meetings. [Ph.d.-afhandling, Aarhus Universitet].

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

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, Artikel 104526. https://doi.org/10.1016/j.cag.2026.104580

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

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 CHI'26: 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. 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. (Accepteret/In press). “I Feel Like Iron Man”: Authoring, Exploring, and Presenting Data Visualizations in Immersive AR. IEEE Transactions on Visualization and Computer Graphics. 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 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), Artikel 132. https://doi.org/10.1145/3798240

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 CHI '26... 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 AsiaCCS 2026 https://dl.acm.org/doi/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

Viser resultater 1 til 50 ud af 6096

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series