Publikationer

Søg publikationer fra Institut for Datalogi

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

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. (2026). Pseudorandom Correlation Functions for Multiparty Beaver Triples from Sparse LPN. I Advances in Cryptology - ASIACRYPT 2026 Springer. https://eprint.iacr.org/2025/2002

Pablos Sarabia, R., Nyborg, J. C., Birk, M., Sjørup, J. L., Vesterholt, A. & Assent, I. (2026). RainPro-8: An Efficient Deep Learning Model to Estimate Rainfall Probabilities Over 8 Hours. I International Conference on Learning Representations (s. 26272-26306) https://proceedings.iclr.cc/paper_files/paper/2026/hash/2c2f104b95306ab94058a97ba13b8927-Abstract-Conference.html

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

Bainson, A. B., Mortensen, K. O., Zaporojets, K., Mottin, D. & Karras, P. (2026). Sankofa: Online Query-Adaptive Dynamic Graph Summaries. Proceedings of the VLDB Endowment, 19(10), 2908-2921. https://www.vldb.org/pvldb/vol19/p2908-karras.pdf

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

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

Liu, Y., Surrow, I. M., Shokeen, E., Connelly, L. J., Jensen, A. V., Hjorth, M., Andersen, B. L., Dindler, C., Iversen, O. S. & Petersen, M. G. (2026). Supporting Teachers in Teaching Critical AI Literacy from Co-design to Classroom Implementation. I Proceedings of BritCHI 2026 Association for Computing Machinery.

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

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

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 WiPSCE '26: Proceedings of the 20th WiPSCE Conference on Primary and Secondary Computing Education Research: WiPSCE '26: Proceedings of the 20th WiPSCE Conference on Primary and Secondary Computing Education Research (s. 1-9). 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

Srinivasan, A. & Elmqvist, N. (2026). The Attention-Aware Pipeline: Design Tensions from Making Attention Visible in XR. CEUR Workshop Proceedings, 4226, 26-35.

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

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

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

Frank, D.-A., Dipalma, J., Sigrid, Ø., Pfeuffer, K. & Buder, F. (2026). When retailing meets the eye: How eye–hand coordination shapes virtual shopping. Abstract fra 31st International Congress of Applied Psychology, Florence, Italien. https://secure.onlinecongress.it/Olc/Client/Programme/Public/Abstract/ICAP2026/9027615640470260878012470/en/Detail?semIdAbstract=2414

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

Argo, S., Venema, M., Riepel, D., Güneysu, T. & Aranha, D. F. (2025). ABE Cubed: Advanced Benchmarking Extensions for ABE Squared. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025(4), 544-587. https://doi.org/10.46586/tches.v2025.i4.544-587

Ozbek, D., AlAlawi, M. & Wessely, M. (2025). AcceloPrint: Fabricating Customizable Accelerometers with Multi-Material 3D Printing. I CHI EA 2025 - Proceedings of the Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 59 Association for Computing Machinery. https://doi.org/10.1145/3706599.3720059

Afshani, P. & Sitchinava , N. (2025). A Cell Probe Lower Bound for the Predecessor Search Problem in PRAM. I ACACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (s. 3998-4008). Association for Computing Machinery. https://doi.org/10.1137/1.9781611978322.136

Årdal, M. A., Basso, A., Feo, L. D., Patranabis, S. & Wesolowski, B. (2025). A Complete Security Proof of SQIsign. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 190-222) https://doi.org/10.1007/978-3-032-01887-8_7

Prummer, F., Weidner, F. & Gellersen, H. (2025). Advancing Eye Dominance Testing: Comparing Traditional Methods with an In-HMD Approach for AR/VR Applications. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 112-116) https://doi.org/10.1109/VRW66409.2025.00030

Bødker, S. & Ehn, P. (2025). Afterthoughts for an Emergent Future. I Routledge International Handbook of Contemporary Participatory Design (s. 291-293). Taylor & Francis. https://doi.org/10.4324/9781003334330-16

Dhanoa, V., Wolter, A. S., Molina León, G., Schulz, H.-J. & Elmqvist, N. (2025). Agentic Visualization: Extracting Agent-based Design Patterns from Visualization Systems. IEEE Computer Graphics and Applications, 45(6), 89-100. https://doi.org/10.1109/MCG.2025.3607741

Seghier Ben, M. E. A., Truong, T. T., Feiler, C. & Höche, D. (2025). A hybrid deep learning model for predicting atmospheric corrosion in steel energy structures under maritime conditions based on time-series data. Results in Engineering, 25, Artikel 104417. https://doi.org/10.1016/j.rineng.2025.104417

Rysgaard, C. M. (2025). A Journey through Persistence, External Memory, Trees, and other Unrelated Problems. [Ph.d.-afhandling, Aarhus Universitet].

Viser resultater 101 til 150 ud af 6152

Forrige