Publikationer

Søg publikationer fra Institut for Datalogi

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

Bødker, S. & Ehn, P. (2025). AFTERTHOUGHTS FOR AN EMERGENT FUTURE. I Routledge International Handbook of Contemporary Participatory Design (s. 291-293). Taylor and Francis Group. https://doi.org/10.4324/9781003334330-16

Seghier Ben, M. E. A., Truong, T. T., Feiler, C. & Höche, D. (2025). A hybrid deep learning model for predicting atmospheric corrosion in steel energy structures under maritime conditions based on time-series data. Results in Engineering, 25, Artikel 104417. https://doi.org/10.1016/j.rineng.2025.104417

Gratzer, D. (2025). A Modal Deconstruction of Löb Induction. Proceedings of the ACM on Programming Languages , 9, Artikel 30. https://doi.org/10.1145/3704866

Ágústsson, S. Ý., Haque, M. A., Truong, T. T., Bianchi, M., Klyuchnikov, N., Mottin, D., Karras, P. & Hofmann, P. (2025). An autoencoder for compressing angle-resolved photoemission spectroscopy data. Machine Learning: Science and Technology, 6(1), Artikel 015019. https://doi.org/10.1088/2632-2153/ada8f2

Haselwarter, P. G., Li, K. H., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Approximate Relational Reasoning for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(POPL), 1196-1226. Artikel 41. https://doi.org/10.1145/3704877

Cohen-Addad, V., Draganov, A., Russo, M., Saulpic, D. & Schwiegelshohn, C. (2025). A Tight VC-Dimension Analysis of Clustering Coresets with Applications. I Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (s. 4783-4808). Association for Computing Machinery, Inc..

Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2025). Attention-Aware Visualization: Tracking and Responding to User Perception Over Time. IEEE Transactions on Visualization and Computer Graphics, 31(1), 1017-1027. https://doi.org/10.1109/TVCG.2024.3456300

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.

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

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

Gadeberg, T. A. F., Jørgensen, M. H., Olesen, H. G., Lorentzen, J., Harwood, S. L., Almeida, A. V., Fruergaard, M. U., Jensen, R. K., Kanis, P., Pedersen, H., Tranchant, E., Petersen, S. V., Thøgersen, I. B., Kragelund, B. B., Lyons, J. A., Enghild, J. J. & Andersen, G. R. (Accepteret/In press). Cryo-EM analysis of complement C3 reveals a reversible major opening of the macroglobulin ring. Nature Structural and Molecular Biology, Artikel 872536. https://doi.org/10.1038/s41594-024-01467-4

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. Advance online publication. https://doi.org/10.1109/TVCG.2025.3537679

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

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

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

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

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

Shin, S., Na, I. & Elmqvist, N. (2025). Drillboards: Adaptive Visualization Dashboards for Dynamic Personalization of Visualization Experiences. IEEE Transactions on Visualization and Computer Graphics. Advance online publication. 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. (Accepteret/In press). Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. I Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Bind 2).

Cominetti, E., Simplicio, M., Aranha, D. F., Matias, P. & Araujo, R. (Accepteret/In press). E2Easy: a simple lattice-based In-Person End-to-End voting scheme. I 10th Workshop on Advances in Secure Electronic Voting Schemes (Voting 2025)

Høgsgaard, M. M. (2025). Efficient Optimal PAC Learning. Proceedings of Machine Learning Research, 272, 578-580.

Damgård, I. B., Ravi, D., Roy, L. D., Tschudi, D. & Yakoubov, S. (2025). Efficient Secure Communication Over Dynamic Incomplete Networks With Minimal Connectivity. I E. Boyle, E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 266–292). Springer. https://doi.org/10.1007/978-3-031-78023-3_9

Killmann, K. S. (2025). Fast (Correct) Clustering in Time and Space using the GPU.

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2025). Fiat-Shamir Bulletproofs are Non-Malleable (in the Random Oracle Model). Journal of Cryptology, 38(1), Artikel 11. https://doi.org/10.1007/s00145-024-09525-2

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2025). HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. 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 (Bind V, s. 302-334). Springer. https://doi.org/10.1007/978-981-96-0935-2_10

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (Accepteret/In press). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. I Proceedings of ACNS 2025

Agarwal, A., Bienstock, A., Damgård, I. & Escudero, D. (2025). Honest Majority GOD MPC with O(depth(C)) Rounds and Low Online Communication. 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. 234-265). Springer Nature. https://doi.org/10.1007/978-981-96-0938-3_8

Truong, T. T., Airao, J., Fattahi, S., Azarhoushang, B., Karras, P. & Aghababaei, R. (2025). Image-based machine learning model for tool wear estimation in milling Inconel 718. Wear, Artikel 205865. Advance online publication. https://doi.org/10.1016/j.wear.2025.205865

Sølvsten, S. (2025). I/O-efficient Symbolic Model Checking.

Constantin-Sukul, L. R. J., Ø. Gammelgaard, R., Henriksen, A. & Aranha, D. F. (2025). Key recovery on static Kyber based on transient execution attacks. I Proceedings of the 1st Microarchitecture Security Conference https://doi.org/10.46586/uasc.2025.006

Huang, C., Mathiasen, A., Dean, J., Langguth, J., Mottin, D. & Assent, I. (2025). Linear Assignment on Tile-Centric Accelerators: Redesigning Hungarian Algorithm on IPUs. I SIAM Symposium on Algorithm Engineering and Experiments, ALENEX 2025 (s. 107-119). Society for Industrial and Applied Mathematics Publications.

Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L. (2025). Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages , 9(POPL), 1417-1445. Artikel 48. https://doi.org/10.1145/3704884

Adolf, J., Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (2025). Offistretch: camera-based real-time feedback for daily stretching exercises. Visual Computer, 41(3), 1555-1571. Artikel e19608. https://doi.org/10.1007/s00371-024-03450-y

Tsimbalistaia, U., Berger, C. P., Gellersen, H. & Manakhov, P. (Accepteret/In press). On-body Icons: Designing a 3D Interface for Launching Apps in Augmented Reality. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Sytems Association for Computing Machinery. https://doi.org/10.1145/3706598.3713954

Baum, C., Beullens, W., Mukherjee, S., Orsini, E., Ramacher, S., Rechberger, C., Roy, L. & Scholl, P. (2025). One Tree to Rule Them All: Optimizing GGM Trees and OWFs for Post-Quantum Signatures. I K.-M. Chung & Y. Sasaki (red.), Advances in Cryptology - ASIACRYPT 2024 (s. 463-493). Springer Nature. https://doi.org/10.1007/978-981-96-0875-1_15

Yu, H., Larsen, K. G. & Christiansen, O. (2025). Optimization methods for tensor decomposition: A comparison of new algorithms for fitting the CP(CANDECOMP/PARAFAC) model. Chemometrics and Intelligent Laboratory Systems, 257, Artikel 105290. https://doi.org/10.1016/j.chemolab.2024.105290

Årdal, M. A., Adj, G., Alblooshi, A., Aranha, D. F., A. Canales-Martínez, I., Chavez-Saab, J., Gazzoni Filho, D. L., Reijnders, K. & Rodriguez-Henriquez, F. (2025). Optimized One-Dimensional SQIsign Verification on Intel and Cortex-M4. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2025(1), 497-522. https://doi.org/10.46586/tches.v2025.i1.497-522

Tan, J. & Madsen, M. (2025). Overloading the Dot. I D. Kluss, S. Achour & J. Palsberg (red.), CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (s. 60-69). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3708493.3712684

Damsgaard, L., Pedersen, J., Laursen, T. M., Nabe-Nielsen, K., Hendriks, S., Jensen-Dahm, C., Waldemar, G. & Janbek, J. (2025). Patterns of sick leave and unemployment prior to a diagnosis of young onset Alzheimer's disease. Alzheimer's & dementia : the journal of the Alzheimer's Association, 21(2), e14607. Artikel e14607. https://doi.org/10.1002/alz.14607

Iversen, O. S., Caspersen, M. E. & Petersen, M. G. (2025). Professorer: Fire spørgsmål er afgørende i fagudviklingen af teknologiforståelse. Skolemonitor. https://skolemonitor.dk/debat/art10264270/Fire-spørgsmål-er-afgørende-i-fagudviklingen-af-teknologiforståelse

Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A. (2025). Program Analysis via Multiple Context Free Language Reachability. Proceedings of the ACM on Programming Languages , 9, Artikel 18. https://doi.org/10.1145/3704854

Hwang, C., Feuchtner, T. & Grønbæk, K. (2025). Pseudo-Haptics for Weight Perception in VR: Controller vs. Bare Hand Interactions with Tracking Delay and Vertical Offset. I 2024 10th International Conference on Virtual Reality, ICVR 2024 (s. 91-99) https://doi.org/10.1109/ICVR62393.2024.10868891

Brodal, G. S. & Rysgaard, C. M. (2025). Pure Binary Finger Search Trees. I I.-O. Bercea & R. Pagh (red.), 8th SIAM Symposium on Simplicity of Algorithms, SOSA 2025 (s. 172-195). Society for Industrial and Applied Mathematics.

Iivari, N., Iversen, O. S., Kafai, Y. B., Antle, A. N., Petersen, M. G., Kinnula, M., Dindler, C., Kayali, F., Bonsignore, E., Monga, C., Schaper, M.-M. & Sharma, S. (2025). Pushing the Boundaries of Computational Empowerment of Children. I IDC '25: Interaction Design and Children Conference https://interact.oulu.fi/idc-2025

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025). Random Access on Narrow Decision Diagrams in External Memory. I T. Neele & A. Wijs (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (s. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Rate-1 Arithmetic Garbling From Homomorphic Secret Sharing. I E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 71-97). Artikel 323579 Springer Nature. https://doi.org/10.1007/978-3-031-78023-3_3

Viser resultater 1 til 50 ud af 2959

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series