Aarhus Universitets segl

Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

Elder, G. A., Kamga, C., Karras, P., Katehakis, M. N., Petsinis, P., Talebi, S. & Xyntarakis, M. (2026). On Adaptive Transit Dispatch via Reinforcement Learning. I N. E. Mastorakis, I. J. Rudas & M. Katehakis (red.), Recent Advances in Communications and Computers (s. 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. [Ph.d.-afhandling, Aarhus Universitet].
Abram, D., Fehr, S., Obremski, M. & Scholl, P. (2026). On the Impossibility of Actively Secure Distributed Samplers. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV (s. 547-581). Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_18
Aranha, D. F., Celi, S., Borin, G. & Niot, G. (Accepteret/In press). Optimizing and Implementing Threshold MAYO. IACR Transactions of Cryptographic Hardware and Embedded Systems. https://tches.iacr.org/index.php/TCHES/article/view/13104
Tellez, ES., Chavez, E., Aumüller, M. & Mic, V. (2026). Overview of the SISAP 2025 Indexing Challenge. I G. Amato, V. Mic, A. Traina, N. Messina, L. Amsaleg, G. Þór Guðmundsson, B. Þór Jónsson & L. Vadicamo (red.), Similarity Search and Applications - 18th International Conference, SISAP 2025, Proceedings (s. 403-414). Springer. https://doi.org/10.1007/978-3-032-06069-3_33
Shokeen, E., Jensen, A. V., Iversen, O. S., Dindler, C. & Petersen, M. G. (Accepteret/In press). Participatory Design for AI in Teacher Education: From Top-Down Directives to Teacher Empowerment. I Proceedings of the International Society of the Learning Sciences (ISLS) Annual Meeting International Society of the Learning Sciences (ISLS).
Milkevych, K. V., Van De Pol, J. & Shaik, I. (2026). Practical Subarchitectures for Optimal Quantum Layout Synthesis. I Proceedings - 2026 IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE 2026 (s. 33-41). Association for Computing Machinery. https://doi.org/10.1145/3786150.3788609
Escudero, D. & Damgård, I. (2026). Preface. I D. Escudero & I. Damgård (red.), Progress in Cryptology – LATINCRYPT 2025: 9th International Conference on Cryptology and Information Security in Latin America, Medellín, Colombia, October 1–3, 2025, Proceedings (s. 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. 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 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. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (s. 301-332). Springer. https://doi.org/10.1007/978-3-032-12287-2_11
Hasler, S. & Reisert, P. (Accepteret/In press). Pseudorandom Correlation Functions for Multiparty Beaver Triples from Sparse LPN. I Advances in Cryptology - ASIACRYPT 2026 Springer.
Caragiannis, I., Jiang, Z. & Skoulakis, S. (2026). Rethinking Pricing in Energy Markets: Pay-as-Bid vs Pay-as-Clear. I V. Bilò, Y. Cai & Z. Huang (red.), Web and Internet Economics - 21st International Conference, WINE 2025, Proceedings (s. 307-322). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-18660-7_16
Chiang, J. H.-Y., Damgård, I., Orlandi, C., Pancholi, M. & Simkin, M. (2026). Securely Computing One-Sided Matching Markets. I C. Garman & P. Moreno-Sanchez (red.), Financial Cryptography and Data Security - 29th International Conference, FC 2025, Revised Selected Papers (s. 126-143). Springer Nature. https://doi.org/10.1007/978-3-032-07024-1_8
Abram, D., Malavolta, G. & Roy, L. (2026). Slightly Sublinear Trapdoor Hash Functions and PIR from Low-Noise LPN. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (s. 280-300). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-12287-2_10
Aardal, M. A., Adj, G., Aranha, D. F., Basso, A., Borin, G., Canales Martinez, I. A., Chávez-Saab, J., Corte-Real Santos, M., Dartois, P., De Feo, L., Duparc, M., Espitau, T., Eriksen, J. K., Fouotsa, T. B., Gazzoni Filho, D. L., Hess, B., Invernizzi, R., Kohel, D., Leroux, A. ... van Woerden, W. (2026). SQIsign 3.0: Algorithm specifications and supporting documentation. https://sqisign.org/spec/sqisign-20260901.pdf
Gratzer, D., Shulman, M. & Sterling, J. (2026). STRICT UNIVERSES FOR GROTHENDIECK TOPOI. Theory and Applications of Categories, 45, 1227-1279.
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
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
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).
Musaeus, L. H., Connelly, L., Bilstrup, K.-E. K., Kaspersen, M. H. & Musaeus, P. (2026). Teaching Machine Learning and Computational Thinking in Secondary Education: Hands-On vs. Video-Based Approaches. I N. Bergner, T. Michaeli & A. Brodnik (red.), Proceedings of the 20th WiPSCE Conference on Primary and Secondary Computing Education Research (s. 1-9). Artikel 2 Association for Computing Machinery. https://doi.org/10.1145/3801749.3801762
Å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
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
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
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