Publikationer

Søg publikationer fra Institut for Datalogi

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

Papanikolaou, N. M. (2025). Better, Faster, Stronger - Improving Security, Efficiency, and Primitives for MPC. [Ph.d.-afhandling, Aarhus Universitet].

Connelly, L., Bilstrup, K. E. K. & Petersen, M. G. (2025). Beyond LLMs as Black Boxes: Activities and an Educational Tool Supporting Unplugged and Digital AI Learning Activities for K-12 Classrooms. I Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Artikel 11 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747112

Dybboe, M., Kaspersen, M. H., Bjerrum, J. B. & Petersen, M. G. (2025). Bit:sort: Bringing Tangible Computing to Computer Science Unplugged to Support Children's Algorithmic Explorations. I Proceedings - 24th Annual ACM Interaction Design and Children Conference, IDC 2025 (s. 429-443). Association for Computing Machinery. https://doi.org/10.1145/3713043.3728854

da Cunha, A., Larsen, K. G. & Ritzert, M. (2025). Boosting, Voting Classifiers and Randomized Sample Compression Schemes. I G. Kamath & P. L. Loh (red.), Proceedings of Machine Learning Research (Bind 272, s. 390-404). MLResearch Press.

Brodal, G. S. (2025). Bottom-up rebalancing binary search trees by flipping a coin. Theoretical Computer Science, 1055, Artikel 115543. https://doi.org/10.1016/j.tcs.2025.115543

Zhang, Z., Sun, B. & An, P. (2025). Breaking Barriers or Building Dependency? Exploring Team-LLM Collaboration in AI-infused Classroom Debate. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 137 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713853

Brodal, G. S., Rysgaard, C. M. & Svenning, R. (2025). Buffered Partially-Persistent External-Memory Search Trees. I A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (red.), 33rd Annual European Symposium on Algorithms, ESA 2025 Artikel 82 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.82

Ettenhuber, P., Hansen, M. B., Poier, P. P., Shaik, I., Rasmussen, S. E., Madsen, N. K., Majland, M., Jensen, F., Olsen, L. & Zinner, N. T. (2025). Calculating the Energy Profile of an Enzymatic Reaction on a Quantum Computer. Journal of Chemical Theory and Computation, 21(7), 3493-3503. https://doi.org/10.1021/acs.jctc.5c00022

Khani, P. & Assent, I. (2025). Causal Banzhaf Value for Aggregate Query Explanations. CEUR Workshop Proceedings, 3931, 54-58.

Meier, W., Jensen, M., Pichon-Pharabod, J. & Spitters, B. (2025). CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. I Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 127-139). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705879

Conrado, G. K. & Pavlogiannis, A. (2025). CFL-based methods for approximating interleaved Dyck reachability. International Journal on Software Tools for Technology Transfer, 27(2), 255-266. Artikel 106135. https://doi.org/10.1007/s10009-025-00787-0

Frich, J., Besana, N., Blevis, E., Spallazzo, D., Qureshi, A., Häkkilä, J., Krogh, P. G. & Petersen, M. G. (Accepteret/In press). Challenges and Opportunities of Teaching Sustainable Interaction Design. I IASDR2025

Afshani, P., Storandt, S. & Bosch, Y. (2025). Circle-Segment Intersection Queries in Connected Geometric Graphs. I 36th International Symposium on Algorithms and Computation (ISAAC 2025) (s. 3:1-3:16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2025.3

Zheng, J., Hu, T., Cong, T. & He, X. (2025). CL-Attack: Textual Backdoor Attacks via Cross-Lingual Triggers. Proceedings of the AAAI Conference on Artificial Intelligence, 39(25), 26427-26435. https://doi.org/10.1609/aaai.v39i25.34842

Shaik, I. & van de Pol, J. (2025). CNOT-Optimal Clifford Synthesis as SAT. I J. Berg, J. Nordstrom & J. Nordstrom (red.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Artikel 28 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.28

Kleinau, J., Grønbæk, J. E. & Hoggan, E. (2025). Co-Designing Multimodal Tools for Radically Mobile Hybrid Meetings. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 706 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713993

Liu, Y.-Y., Dybboe, M., Bjerrum, J. B., Ellemose, J. & Dindler, C. (Accepteret/In press). Co-designing Tools for Dialogic Learning: Insights from the Viz4Kidz' Project. I Proceedings of IASDR 2025 Design Research Society.

Besana, N., Petersen, M. G., Krogh, P. G. & Spallazzo, D. (2025). Co-designing with the archive: a new way of interacting with fashion design heritage. European Journal of Cultural Management and Policy, 15, Artikel 14013. https://doi.org/10.3389/ejcmp.2025.14013

Petsinis, P. (2025). Combinatorial Optimization for Diffusion and Search in Graphs. [Ph.d.-afhandling, Aarhus Universitet].

Dallant, J. & Iacono, J. (2025). Conditional Lower Bounds for Dynamic Geometric Measure Problems. ACM Transactions on Algorithms, 21(2), Artikel 23. https://doi.org/10.1145/3727878

Stepanenko, S., Nardino, E., Frumin, D., Timany, A. & Birkedal, L. (2025). Context-Dependent Effects in Guarded Interaction Trees. I V. Vafeiadis (red.), Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (Bind Part II, s. 286-313). Springer. https://doi.org/10.1007/978-3-031-91121-7_12

Skoulakis, S., Feng, Y., Fujii, K., Cevher, V. & Wang, X. (2025). Continuous-Time Analysis of Heavy Ball Momentum in Min-Max Games. I Forty-second International Conference on Machine Learning, ICML 2025

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & van de Pol, J. (2025). Controller Synthesis for Parametric Timed Games. I P. Prabhakar & A. Vandin (red.), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings (s. 314-332). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-032-05792-1_17

Gratzer, D., Sterling, J., Angiuli, C., Coquand, T. & Birkedal, L. (2025). Controlling unfolding in type theory. Mathematical Structures in Computer Science, 35, Artikel e38. https://doi.org/10.1017/S0960129525100327

Afshani, P., Nekrich, Y. & Staals, F. (2025). Convexity Helps Iterated Search in 3D. I O. Aichholzer & H. Wang (red.), 41st International Symposium on Computational Geometry, SoCG 2025 Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.3

Busboom, J., Dunn, K., Bjørn, P., Kleinau, J., Mu, Q., Duckert, M., Hoggan, E., Bødker, S. & Boulus-Rodje, N. (2025). Crisis (and Hope) Set in Stone. Collaboratively Materializing Post Pandemic Work Realities. I Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Artikel 4 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747104

Kyng, M. (2025). Cross Discipline Collaboration Creating New Insights and Future Potentials ... 128-130. Abstract fra AAATE 2025
Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, Nicosia, Cypern.

Amores Sesar, I., Cachin, C., Villacis, J. & Zanolini, L. (2025). DAG-based Consensus with Asymmetric Trust. I PODC '25: Proceedings of the ACM Symposium on Principles of Distributed Computing

Amores Sesar, I., Grøndal, V. H., Holmgård, A. & Ottendal, M. (2025). DAG It Off: Latency Prefers No Common Coins. I 39th International Symposium on Distributed Computing (DISC 2025)

Laursen, L. N., Markussen, T., Knutz, E., Vallgårda, A., Krogh, P. G., Olander, S., Krogh Petersen, M., Brandt, E., Christensen, B., Vangkilde, K. T. & Waltorp, K. (2025). Danmark står i en designkrise. Sådan løser vi den. Politiken, 5-6.

Borowski, M., Butcher, P. W. S., Kristensen, J. B., Petersen, J. O., Ritsos, P. D., Klokmose, C. N. & Elmqvist, N. (2025). DashSpace: A Live Collaborative Platform for Immersive and Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 31(10), 7034-7047. https://doi.org/10.1109/TVCG.2025.3537679

Andersen, J. & Kyng, M. (2025). Data-Based Eco-Systems for Health and Care At Home – How May Assistive Technology Contribute?. 137-139. Abstract fra AAATE 2025
Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, Nicosia, Cypern. https://aaate2025.eu/wp-content/uploads/sites/33/2025/09/Short_Papers_Collection_Volume_final.pdf

Patnaik, B., Borowski, M., Peng, H., Klokmose, C. N. & Elmqvist, N. (2025). Datamancer: Bimanual Gesture Interaction in Multi-Display Ubiquitous Analytics Environments. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 281 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713123

Ciampi, M., Sternad, J. & Xia, Y. (2025). Delayed-Input Multi-party Computation. I Applied Cryptography and Network Security (s. 339–368) https://doi.org/10.1007/978-3-031-95761-1_12

Jiang, Y., Jin, J., Song, Y., Xu, H. & Wessely, M. (2025). Demonstration of BIOral: Fabricating Intraoral pH Sensor for Continuous Health Monitoring. I CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 721 Association for Computing Machinery. https://doi.org/10.1145/3706599.3721178

Bashar, M. R., Amini, M., Stuerzlinger, W., Sarac, M., Pfeuffer, K., Machuca, M. D. B. & Batmaz, A. U. (2025). Depth3DSketch: Freehand Sketching Out of Arm’s Reach in Virtual Reality. I CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 175 Association for Computing Machinery. https://doi.org/10.1145/3706599.3719717

Jakobsen, A. B., Clausen, A. B., van de Pol, J. & Shaik, I. (2025). Depth-Optimal Quantum Layout Synthesis as SAT. I J. Berg & J. Nordstrom (red.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Artikel 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.16

Kim, J., Lee, H., Nguyen, D. M., Shin, M., Kwon, B. C., Ko, S. & Elmqvist, N. (2025). DG Comics: Semi-Automatically Authoring Graph Comics for Dynamic Graphs. IEEE Transactions on Visualization and Computer Graphics, 31(1), 973-983. https://doi.org/10.1109/TVCG.2024.3456340

Imola, J., Boninsegna, F., Keller, H. J., Aamand, A., Roy Chowdhury, A. & Pagh, R. (Accepteret/In press). Differentially Private Quantiles with Smaller Error. I Advances in Neural Information Processing Systems (NeurIPS)

Boyle, E., Kohl, L., Li, Z. & Scholl, P. (2025). Direct FSS Constructions for Branching Programs and More from PRGs with Encoded-Output Homomorphism. I K.-M. Chung & Y. Sasaki (red.), Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (s. 266-298). Springer Nature. https://doi.org/10.1007/978-981-96-0938-3_9

Burkhardt, J., Keller, H. J., Orlandi, C. & Schwiegelshohn, C. (2025). Distributed Differentially Private Data Analytics via Secure Sketching. I Forty-second International Conference on Machine Learning: ICML 2025 Artikel 10733 https://openreview.net/forum?id=2Snksn3U47

Mikkelsen, T., Zhou, Q., Lystbæk, M. N., Liu, Y., Gellersen, H. & Pfeuffer, K. (2025). DOF-Separation for 3D Manipulation in XR: Understanding Finger-Wrist Separation to Simultaneously Translate and Rotate Objects. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (s. 1246-1256). IEEE. https://doi.org/10.1109/ISMAR67309.2025.00130

Perera, K., Regenbrecht, H., Pantidi, N. & Langlotz, T. (2025). Don't Look at Me Like That - How AR Face Recognition Changes Our Social Behaviour. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (s. 465-475). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISMAR67309.2025.00057

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2025). "Double vaccinated, 5G boosted!": Learning Attitudes towards COVID-19 Vaccination from Social Media. ACM Transactions on the Web, 19(1), Artikel 8. https://doi.org/10.1145/3702654

Behrang, F., Zhang, Z., Saioc, G. V., Liu, P. & Chabbi, M. (2025). DR.FIX: Automatically Fixing Data Races at Industry Scale. Proceedings of the ACM on Programming Languages , 9, 475 - 502. Artikel 166. https://doi.org/10.1145/3729265

Shin, S., Na, I. & Elmqvist, N. (2025). Drillboards: Adaptive Visualization Dashboards for Dynamic Personalization of Visualization Experiences. IEEE Transactions on Visualization and Computer Graphics, 31(10), 7196-7210. https://doi.org/10.1109/TVCG.2025.3542606

Dhanoa, V., Hinterreiter, A., Fediuk, V., Elmqvist, N., Gröller, E. & Streit, M. (2025). D-Tour: Semi-Automatic Generation of Interactive Guided Tours for Visualization Dashboard Onboarding. IEEE Transactions on Visualization and Computer Graphics, 31(1), 721-731. https://doi.org/10.1109/TVCG.2024.3456347

Brewer, B., Brodal, G. S. & Wang, H. (2025). Dynamic Convex Hulls for Simple Paths. Discrete and Computational Geometry. Advance online publication. https://doi.org/10.1007/s00454-024-00715-0

Saioc, G.-V., Lee, I.-T. A., Møller, A. & Chabbi, M. (2025). Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. I ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (s. 244-259). Association for Computing Machinery. https://doi.org/10.1145/3676641.3715990

King, T., Knierim, M., Lepold, P., Clarke, C., Gellersen, H., Beigl, M. & Röddiger, T. (2025). earEOG via periauricular electrodes to facilitate eye tracking in a natural headphone form factor. Scientific Reports, 15(1), Artikel 32437. https://doi.org/10.1038/s41598-025-16839-z

Viser resultater 51 til 100 ud af 6014

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series