Publikationer

Søg publikationer fra Institut for Datalogi

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

Dipalma, J., Frank, D.-A., Salnikova, E., Steinmann, S. & Pfeuffer, K. (2025). Touching the Retail Metaverse: Consumer Insights from a Virtual Experience. Poster-session præsenteret på 2025 AMA Winter Academic Conference.

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2025). Towards Personalized Similarity Search for Vector Databases. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (s. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Amer-Yahia, S., Bogojeska, J., Facchinetti, R., Franceschi, V., Gionis, A., Hose, K., Koutrika, G., Kouyos, R., Lissandrini, M., Maniu, S., Mirylenka, K., Mottin, D., Palpanas, T., Rigotti, M. & Velegrakis, Y. (2025). Towards Reliable Conversational Data Analytics. I roceedings of the 28th International Conference on Extending Database Technology (3 udg., s. 962-969). openproceedings.org. https://doi.org/10.48786/edbt.2025.78

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. [Ph.d.-afhandling, Aarhus Universitet]. Institut for Datalogi, Aarhus Universitet.

Taylor, K., Wang, H., Weidner, F. & Gellersen, H. (2025). Towards the Fusion of Gaze and Micro-Gestures. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 1474-1475). IEEE. https://doi.org/10.1109/VRW66409.2025.00383

Busboom, J., Boulus-Rødje, N. & Bødker, S. (2025). Tracing Transformations of the Modern Workplace and Imagining its Future. I CHIWORK 2025 - Proceedings of the 4th Annual Symposium on Human-Computer Interaction for Work Artikel 27 Association for Computing Machinery. https://doi.org/10.1145/3729176.3729186

Asilis, J., Høgsgaard, M. M. & Velegkas, G. (2025). Understanding Aggregations of Proper Learners in Multiclass Classification. I Proceedings of The 36th International Conference on Algorithmic Learning Theory (s. 89-111). PMLR.

Strauss, D. J., Francis, A. L., Schäfer, Z., Latzel, M., Corona–Strauss, F. I. & Launer, S. (2025). Understanding speech in “noise” or free energy minimization in the soundscapes of the anthropocene. Frontiers in Neuroscience, 19, Artikel 1534425. https://doi.org/10.3389/fnins.2025.1534425

Januzelli, J., Roy, L. & Xu, J. (2025). Under What Conditions Is Encrypted Key Exchange Actually Secure? I S. Fehr & P.-A. Fouque (red.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques: Proceedings (s. 451-481). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-91124-8_16

Moradan, A., Sorkhpar, M., Miyauchi, A., Mottin, D. & Assent, I. (2025). Untapping the Power of Indirect Relationships in Entity Summarization. I WSDM 2025 : Proceedings of the 18th ACM International Conference on Web Search and Data Mining (s. 820-828). Association for Computing Machinery. https://doi.org/10.1145/3701551.3703566

Burattin, A., Miksch, S., Sadiq, S., Schulz, H.-J. & Vrotsou, K. (Accepteret/In press). VESPA: Visual Event-Stream Progressive Analytics. Afhandling præsenteret på 2nd Visual Process Analytics Workshop (VIPRA'25), Seville, Spanien. https://vipra-workshop.github.io/homepage/papers/BPM_2025_paper_280.pdf

Eagan, L. M., Young, J., Bering, J. & Langlotz, T. (2025). Virtual Voyages: Evaluating the Role of Real-Time and Narrated Virtual Tours in Shaping User Experience and Memories. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 373 Association for Computing Machinery. https://doi.org/10.1145/3706598.3714182

Shin, S., Hong, S. & Elmqvist, N. (2025). Visualizationary: Automating Design Feedback for Visualization Designers Using Large Language Models. IEEE Transactions on Visualization and Computer Graphics, 31(10), 8796-8813. https://doi.org/10.1109/TVCG.2025.3579700

Blazy, S., Tabareau, N., Stark, K. & Timany, A. (2025). Welcome from the Chairs. I CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. iii-iv). Association for Computing Machinery. https://doi.org/10.1145/3703595

Caragiannis, I., Mehlhorn, K. & Rathi, N. (2025). Welfare-Optimal Serial Dictatorships Have Polynomial Query Complexity. Proceedings of the AAAI Conference on Artificial Intelligence, 39(13), 13675-13682. https://doi.org/10.1609/aaai.v39i13.33494

Amores-Sesar, I. & Cachin, C. (2025). We Will DAG You. I J. Garcia-Alfaro, K. Barker, G. Navarro-Arribas, C. Pérez-Solà, S. Delgado-Segura, S. Katsikas, F. Cuppens, C. Lambrinoudakis, N. Cuppens-Boulahia, M. Pawlicki & M. Choraś (red.), Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, 2024, Revised Selected Papers (s. 276-291). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-82349-7_19

Kafai, Y. B., Shapiro, R. B., Jetzinger, F., Michaeli, T., Tedre, M., Vartiainen, H., Iivari, N., Musaeus, L. H., Iversen, O. S. & Ali, S. (2025). Youth as Designers of Artificial Intelligence and Machine Learning Technologies: What Do We Know About the Opportunities and Challenges of K-12 Students Creating Their Own Applications? I Proceedings of the 19th International Conference of the Learning Sciences - ICLS 2025 (s. 2260-2268). International Society of the Learning Sciences (ISLS). https://doi.org/10.22318/icls2014.487

Kafai, Y., Shapiro, R. B., Jetzinger, F., Michaeli, T., Tedre, M., Iversen, O. S., Musaeus, L. H., Ali, S. & Kumar, V. (2025). Youth as Designers of Artificial Intelligence and Machine Learning Technologies: What Do We Know About the Opportunities and Challenges of K-12 Students Creating Their Own Applicat. Afhandling præsenteret på ISLS annual meeting, Helsinki, Finland. https://doi.org/10.22318/icls2025.362276

Aardal, M. A. & Aranha, D. F. (2024). 2DT-GLS: Faster and Exception-Free Scalar Multiplication in the GLS254 Binary Curve. I B. Smith & H. Wu (red.), Selected Areas in Cryptography - 29th International Conference, SAC 2022, Revised Selected Papers (Bind 13742, s. 53-74). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-58411-4_3

Conrado, G. K. & Pavlogiannis, A. (2024). A Better Approximation for Interleaved Dyck Reachability. I SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (s. 18-25). Association for Computing Machinery. https://doi.org/10.1145/3652588.3663318

Bjørn, P., Busboom, J., Duckert, M., Bødker, S., Shklovski, I., Hoggan, E., Dunn, K., Mu, Q., Barkhuus, L. & Boulus-Rodje, N. (2024). Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible. ACM Transactions on Computer-Human Interaction, 31(4), Artikel 49. https://doi.org/10.1145/3648617

Bui-Ngoc, T., Ly, D. K., Truong, T. T., Thongchom, C. & Nguyen-Thoi, T. (2024). A deep neural network based surrogate model for damage identification in full-scale structures with incomplete noisy measurements. Frontiers of Structural and Civil Engineering, 18(3), 393-410. https://doi.org/10.1007/s11709-024-1060-8

Thorsøe, R., Locher, P., Rathish, H. & Schulz, H.-J. (2024). A Framework for Axis Breaks in Charts. I Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (s. 1-8). The Eurographics Association. https://doi.org/10.2312/vmv.20241198

Årdal, M. A., Aranha, D. F., Boudgoust, K., Kolby, S. & Takahashi, A. (2024). Aggregating Falcon Signatures with LaBRADOR. I L. Reyzin & D. Stebila (red.), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (s. 71-106) https://doi.org/10.1007/978-3-031-68376-3_3

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Almost-Sure Termination by Guarded Refinement. Proceedings of the ACM on Programming Languages , 8(ICFP), 203-233. Artikel 243. https://doi.org/10.1145/3674632

Timany, A., Krebbers, R., Dreyer, D. & Birkedal, L. (2024). A Logical Approach to Type Soundness. Journal of the ACM, 71(6), Artikel 40. https://doi.org/10.1145/3676954

Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2024). An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. Proceedings of the ACM on Programming Languages , 8, 604-637. Artikel 21. https://doi.org/10.1145/3632863

Braun, L., Castagnos, G., Damgård, I. B., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. https://eprint.iacr.org/2024/717

Braun, L., Castagnos, G., Damgård, I., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. I C. Galdi & D. H. Phan (red.), Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II (s. 24-46). Springer. https://doi.org/10.1007/978-3-031-71073-5_2

Madsen, O. L. & Møller-Pedersen, B. (2024). An introduction to object-oriented programming as modeling. https://oopm.org

Charbit, P., Couteau, G., Meyer, P. E. & Naserasr, R. (2024). A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-Reduction. 167–199. Abstract fra Theory of Cryptography, Milan, Italien. https://eprint.iacr.org/2024/1473

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2024). A Practical Framework for Verifiable Computation over Encrypted Data. Abstract fra 3rd Annual FHE.org Conference on Fully Homomorphic Encryption, Toronto, Canada. https://eprint.iacr.org/2023/1949

Aranha, D. F., Fotiadis, G. & Guillevic, A. (2024). A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security level. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/angyl86bm

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Artikel 163. https://doi.org/10.1145/3656393

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 26. https://doi.org/10.1145/3632868

Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M. (2024). AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1787-1813. Artikel 334. https://doi.org/10.1145/3689774

Saioc, G.-V., Lange, J. & Møller, A. (2024). Automated Verification of Parametric Channel-Based Process Communication. I Proceedings of the ACM on Programming Languages (Bind 8, s. 2070-2096). Artikel 344 https://doi.org/10.1145/3689784

Ágústsson, S. Ý., Jones, A. J. H., Curcio, D., Ulstrup, S., Miwa, J., Mottin, D., Karras, P. & Hofmann, P. (2024). Autonomous micro-focus angle-resolved photoemission spectroscopy. Review of Scientific Instruments, 95(5), Artikel 055106. https://doi.org/10.1063/5.0204663

Hansen, S. M., Assent, I. & Schulz, H.-J. (2024). A Web Framework for Explainable and Malleable Visualisation. I K. Kucher, A. Diehl & C. Gillmann (red.), EuroVisPosters2024: Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241080

Larsen, K. G. (2024). Bagging is an Optimal PAC Learner (Extended Abstract). I K. Larson (red.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24) (s. 8411-8415). IJCAI Organization. https://doi.org/10.24963/ijcai.2024/932

Pancholi, M. R. (2024). Beyond Knowledge Soundness of SNARKs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Nielsen, S. D.-H., Liang, N., Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y., Schulz, H.-J. & Dallas, D. C. (2024). Bioactive milk peptides: an updated comprehensive overview and database. Critical Reviews in Food Science and Nutrition, 64(31), 11510-11529. https://doi.org/10.1080/10408398.2023.2240396

Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E., Gellersen, H. & Pfeuffer, K. (2024). Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 798 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642293

Brodal, G. S. (2024). Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin. I A. Z. Broder & T. Tamir (red.), 12th International Conference on Fun with Algorithms, FUN 2024 Artikel 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FUN.2024.6

Pasquini, D., Francati, D., Ateniese, G. & Evgenios M. Kornaropoulos, E. M. (2024). Breach Extraction Attacks: Exposing and Addressing the Leakage in Second Generation Compromised Credential Checking Services. I 2024 IEEE Symposium on Security and Privacy (SP): Proceedings (s. 1405-1423). IEEE. https://doi.org/10.1109/SP54263.2024.00114

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2024). Bridging Performance of X (formerly known as Twitter) Users: A Predictor of Subjective Well-Being During the Pandemic. ACM Transactions on the Web, 18(1), Artikel 15. https://doi.org/10.1145/3635033

Draganov, A. A. (2024). Bridging the Gap Between Theory and Practice in Unsupervised Learning’. [Ph.d.-afhandling, Aarhus Universitet].

Lunding, M. S. (2024). Bringing Augmented Reality to the Computational Thinking Agenda: Designing AR Authoring Tools for Novice Users to support Creation, Reflection and Collaboration. [Ph.d.-afhandling, Aarhus Universitet].

Musaeus, L. H., Petersen, M. G. & Klokmose, C. N. (2024). Bringing Teachers and Researchers together through Participatory Design and Cooperative Prototyping in Computing Education. I SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education (Bind 1, s. 902-908). Association for Computing Machinery. https://doi.org/10.1145/3626252.3630796

Caragiannis, I., Micha, E. & Peters, J. (2024). Can a Few Decide for Many? The Metric Distortion of Sortition. I R. Salakhutdinov, Z. Kolter & K. Heller (red.), Proceedings of the 41st International Conference on Machine Learning (ICML) (Bind 235, s. 5660-5679). Artikel 220 JMLR.org.

Viser resultater 151 til 200 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series