Publikationer

Søg publikationer fra Institut for Datalogi

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

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 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 399 https://doi.org/10.1145/3772363.3799296

Balaska, A., Grønbæk, J. E. S., Zhang, C., Schömbs, S. & Johal, W. (2026). Investigating Social Robot Proxies to Support Situationally Impaired Users in Hybrid Meetings. I K. Minamizawa, S. Kasahara, P. Strohmeier, Y. Abdelrahman, M. Sugimoto, M. Hoppe, M. Sra, N. Wagener, S. Villa & T. Hiraki (red.), AHs 2026 - Augmented Humans 2026 (s. 619-630). Association for Computing Machinery. https://doi.org/10.1145/3795011.3795038

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 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 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://doi.org/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

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), Artikel 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. I K. Stark, Y. Zakowski, N. Swamy & N. Tabareau (red.), CPP 2026 - Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2026 (s. 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. 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 EA '26: Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems Artikel 482 Association for Computing Machinery. https://doi.org/10.1145/3772363.3799295

Hall-Andersen, M. N. & Aranha, D. F. (2026). Notes and Proofs for Divisor Techniques. https://blog.zksecurity.xyz/posts/divisor-notes/divisor-techniques.pdf

Acharya, A., Hazay, C. & Venkitasubramaniam, M. (2026). On Achieving "Best-in-the-Multiverse" MPC. 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 I (Bind 16268, s. 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. 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].

Hansen, K. A. & Nie, X. (Accepteret/In press). On the Complexity of Stationary Nash Equilibria in Discounted Perfect Information Stochastic Games. I -

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

Celi, S., Borin, G., Niot, G. & Aranha, D. F. (Accepteret/In press). Optimizing and Implementing Threshold MAYO. IACR Transactions of Cryptographic Hardware and Embedded Systems.

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

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

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

Yen, R., Pollock, J., Berger, C. P. & Satyanarayan, A. (2026). Something In Between Formal Spec and Informal Representation. https://vis.csail.mit.edu/pubs/between-formal-informal.pdf

Hvilshøj, R., Hoggan, E. & Pakanen, M. (2026). StressAwear- A multimodal wearable for shared awareness of stress in open plan offices. Design Journal, 29(1), 158-182. https://doi.org/10.1080/14606925.2026.2614658

Gratzer, D., Shulman, M. & Sterling, J. (2026). STRICT UNIVERSES FOR GROTHENDIECK TOPOI. Theory and Applications of Categories, 45, 1227-1279.

Matthews, P. (2026). Structure-Guided Explainability - From Regional to Counterfactual Explanations. [Ph.d.-afhandling, Aarhus Universitet].

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

He, C., Elmqvist, N., Bellucci, A., Munshi, M. & Jacucci, G. (2026). Systemization of Knowledge (SoK): Visualization Insight – Two Decades of Research, Practice, and Future Directions. ACM Computing Surveys, 58(9), Artikel 224. https://doi.org/10.1145/3788869

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

Å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

Sosso, A., Bernardelli, A. M. & Gualandi, S. (2026). The cloven traveling salesman: cycle covers and the integrality gap of small ATSP instances. Optimization Letters. https://doi.org/10.1007/s11590-026-02312-x

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

Molina León, G., Bach, B., Valentim, M. & Elmqvist, N. (2026). Towards Measuring Interactive Visualization Abilities: Connecting With Existing Literacies and Assessments.

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

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

Manakhov, P. (2025). 3D UI Placement for Interaction on the Go. [Ph.d.-afhandling, Aarhus Universitet].

Cohen-Addad, V., Grandoni, F., Lee, E., Schwiegelshohn, C. & Svensson, O. (2025). A (2+ϵ)-Approximation Algorithm for Metric κ-Median. I M. Koucký & N. Bansal (red.), STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing (s. 615-624). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718299

Viser resultater 51 til 100 ud af 6108

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series