Publikationer

Søg publikationer fra Institut for Datalogi

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

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 H.-L. Chen, W.-K. Hon & M.-T. Tsai (red.), 36th International Symposium on Algorithms and Computation (ISAAC 2025) (s. 3:1-3:16). Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2025.3

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 Proceedings of the 42nd International Conference on Machine Learning (Bind 267, s. 16670-16710)

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+Business Media. 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.

Sun, B. & Hu, D. (2025). CTG-Insight: A Multi-Agent Interpretable LLM Framework for Cardiotocography Analysis and Classification. I M. Beigl, G. Jacucci, S. Sigg, Y. Xiao, J. E. Bardram, E. E. Tsiropoulou & C. Xu (red.), UbiComp Companion 2025 - Companion of the 2025 ACM International Joint Conference on Pervasive and Ubiquitous Computing (s. 1590-1596). Association for Computing Machinery. https://doi.org/10.1145/3714394.3756343

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 (s. 151-161) https://doi.org/10.1145/3732772.3733527

Amores Sesar, I., Grøndal, V. H., Holmgård, A. & Ottendal, M. (2025). DAG It Off: Latency Prefers No Common Coins. I D. R. Kowalski (red.), 39th International Symposium on Distributed Computing (DISC 2025) Artikel 5 https://doi.org/10.4230/LIPIcs.DISC.2025.5

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 M. Fischlin & V. Moonsamy (red.), Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Proceedings (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 (Bind 267, s. 5913-5942). 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.), 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (s. 465-475). IEEE. 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 & 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

Tunç, H. C. (2025). Efficient Data Structures and Algorithms for Dynamic Analysis of Concurrent Programs. [Ph.d.-afhandling, Aarhus Universitet].

Tunç, H. C., Dong, Y., Deshmukh, A. P., Cirisci, B., Enea, C. & Pavlogiannis, A. (2025). Efficient Dynamic Concurrency Analysis with Collective Sparse Segment Trees. ACM Transactions on Computer Systems. Advance online publication. https://doi.org/10.1145/3773085

Høgsgaard, M. M. (2025). Efficient Optimal PAC Learning. I Proceedings of The 36th International Conference on Algorithmic Learning Theory (s. 578-580). PMLR.

Viser resultater 101 til 150 ud af 6073

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series