Publikationer

Søg publikationer fra Institut for Datalogi

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

Aardal, M. A., Adj, G., F. Aranha, D., Basso, A., Canales Martínez, I. A., Chávez-Saab, J., Corte-Real Santos, M., Dartois, P., De Feo, L., Duparc, M., Komada Eriksen, J., Fouotsa, T. B., Filho, D. L. G., Hess, B., Kohel, D., Leroux, A., Longa, P., Maino, L., Meyer, M. ... Wesolowski, B. (2025). SQIsign 2.0: Algorithm specifications and supporting documentation. https://sqisign.org/spec/sqisign-20250205.pdf

Brodal, G. S., Lagogiannis, G. & Tarjan, R. E. (2025). Strict Fibonacci Heaps. ACM Transactions on Algorithms, 21(2), Artikel 15. https://doi.org/10.1145/3707692

Kolby, S. (2025). Studies on Scalable Security. [Ph.d.-afhandling, Aarhus Universitet].

Klokmose, C. N. (2025). Substrates: From Webstrates and Beyond. I Proceedings of Substrates 2025 workshop https://software-substrates.github.io/proceedings/2025/statements/Paper%205%20-%20Clemens%20Klokmose%20-%20Substrates,%20From%20Webstrates%20and%20Beyond.pdf

Abram, D., Malavolta, G. & Roy, L. (2025). Succinct Oblivious Tensor Evaluation and Applications: Adaptively-Secure Laconic Function Evaluation and Trapdoor Hashing for All Circuits. I M. Koucky & N. Bansal (red.), STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing (s. 1875-1886). Association for Computing Machinery. https://doi.org/10.1145/3717823.3718164

Mortensen, K. O., Skitsas, K., Christensen, E. M., Talebi, M. S., Pavlogiannis, A., Mottin, D. & Karras, P. (2025). SwiftVI: Time-Efficient Planning and Learning with MDPs. I M. Zaharia, G. Joshi & Y. Lin (red.), Proceedings of Machine Learning and Systems (Bind 7). MLSys. https://proceedings.mlsys.org/paper_files/paper/2025/file/0f8426558905746fc38da5e335700aec-Paper-Conference.pdf

Sølvsten, S. & van de Pol, J. (2025). Symbolic Model Checking in External Memory. ArXiv. https://doi.org/10.48550/arXiv.2505.11229

Pichon-Pharabod, J. (2025). Synchronous Programming for Kids: A Manifesto. I S. Chiba, C. N. Klokmose & C. Gordon (red.), Onward! 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2025 (s. 1-12). Association for Computing Machinery. https://doi.org/10.1145/3759429.3762617

Christensen, H. B., Kirkeby, M. H., Thomsen, B. & Thomsen, L. L. (2025). Teaching Energy-Efficient Software - An Experience Report. ArXiv. https://arxiv.org/abs/2504.19707

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (2025). That's AmorE: Amortized Efficiency for Pairing Delegation. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 211-246) https://doi.org/10.1007/978-3-032-01913-4_7

Goldberg, P. W., Høgh, K. & Hollender, A. (2025). The frontier of intractability for EFX with two agents. Theoretical Computer Science, 1052, Artikel 115367. https://doi.org/10.1016/j.tcs.2025.115367

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2025). The ML-Machine Toolkit: Empowering Teachers and Education Professionals to Explore Embodied Approaches to Teaching Machine Learning. I N. J. Nunes, V. Nisi, I. Oakley, Q. Yang & C. Zheng (red.), DIS 2025 - Proceedings of the 2025 ACM Designing Interactive Systems Conference (s. 535-551). Association for Computing Machinery. https://doi.org/10.1145/3715336.3735737

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. I K. Stark, A. Timany, S. Blazy & N. Tabareau (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (s. 83-97). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705876

Lutze, M., Schuster, P. & Brachthäuser, J. I. (2025). The Simple Essence of Monomorphization. Proceedings of the ACM on Programming Languages , 9(OOPSLA1), Artikel 116. https://doi.org/10.1145/3720472

Gratzer, D., Weinberger, J. & Buchholtz, U. (2025). The Yoneda embedding in simplicial type theory. I Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025 (s. 127-142). IEEE. https://doi.org/10.1109/LICS65433.2025.00017

Larsen, K. G. & Schalburg, N. (2025). Tight Generalization Bounds for Large-Margin Halfspaces. I The Thirty-ninth Annual Conference on Neural Information Processing Systems https://openreview.net/forum?id=wAq0ZLxrGq

Larsen, K. G. & Simkin, M. (2025). Time/Space Tradeoffs for Generic Attacks on Delay Functions. I 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

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

Larsen-Ledet, I., Lewkowicz, M., Klokmose, C. N., Linehan, C. & Colfi, L. (2025). Traces, Breadcrumbs, and Patina: Exploring and Designing with Traces of Activity. 116-119. Abstract fra 28th ACM Conference on Computer-Supported Cooperative Work and Social Computing, Bergen, Norge.

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

Draganov, A. A., Weber, P., Jørgensen, R. S. M., Beer, A., Plant, C. & Assent, I. (2025). Ultrametric Cluster Hierarchies: I Want ‘em All!. https://neurips.cc/media/PosterPDFs/NeurIPS%202025/119173.png?t=1762960797.979475

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. Advance online publication. 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

Pfaehler, E., Krieger, L., Assent, I., Nebelung, S., Zwanenburg, A. & Truhn, D. (2025). Using ensemble radiomic models to identify uncertainty in lung nodule classifications. European Journal of Radiology Artificial Intelligence, 4, Artikel 100047. https://doi.org/10.1016/j.ejrai.2025.100047

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

Viser resultater 251 til 300 ud af 6040

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series