Publikationer

Søg publikationer fra Institut for Datalogi

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

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.

Whiffing, J., Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2025). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction. https://doi.org/10.1145/3770583

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

Høgsgaard, M. M. & Paudice, A. (2025). Uniform Mean Estimation for Heavy-Tailed Distributions via Median-of-Means. I Proceedings of the 42nd International Conference on Machine Learning (Bind 267, s. 23357-23381)

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

Lee, C., Gong, U., Lin, T., Zollmann, S., Epsley, S. A., Petway, A. & Pfister, H. (2025). VAIR: Visual Analytics for Injury Risk Exploration in Sports. I 2025 IEEE 16th Workshop on Visual Analytics in Healthcare (VAHC) (s. 22-28) https://doi.org/10.1109/VAHC69430.2025.00008

Burattin, A., Miksch, S., Sadiq, S., Schulz, H.-J. & Vrotsou, K. (2025). 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

Chou, M. & Schulz, H.-J. (2025). Visual Fingerprints for Detecting Data Characteristics. I 2025 IEEE Visualization and Visual Analytics (VIS) (s. 106-110). IEEE. https://doi.org/10.1109/VIS60296.2025.00027

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

Scherer, M., Blaabjerg, J. F., Sjösten, A. & Maffei, M. (2025). Wanilla: Sound Noninterference Analysis for WebAssembly. I CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (s. 126-140). Association for Computing Machinery. https://doi.org/10.1145/3719027.3765156

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

Chiba, S., Klokmose, C. N. & Gordon, C. S. (2025). Welcome from the Chairs. I Onward! '25: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (s. III). Association for Computing Machinery. https://doi.org/10.1145/3759429

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

Perera, K. T., Langlotz, T., Pantidi, N. & Regenbrecht, H. (2025). What you see is (not necessarily) what i see - Pervasive AR for Public Displays. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 59-73). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727005

Marguet, E., Borowski, M., Kristensen, J. B., Klokmose, C. N. & Elmqvist, N. (2025). WindowSpace: A Web-Based XR Window Manager for Interacting with 2D Windows in Immersive 3D Space. Proceedings of the ACM on Human-Computer Interaction, 9(8), 119-144. https://doi.org/10.1145/3773063

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

Hu, T., Maistro, M. & Hershcovich, D. (2024). Bridging Cultures in the Kitchen: A Framework and Benchmark for Cross-Cultural Recipe Retrieval. I Y. Al-Onaizan, M. Bansal & Y.-N. Chen (red.), EMNLP 2024 - 2024 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference (s. 1068-1080). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/2024.emnlp-main.61

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

Viser resultater 251 til 300 ud af 6014

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series