Á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), Article 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. Article 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. In
Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025 (pp. 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
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
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
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
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
Damgård, I. B., Ravi, D.
, Roy, L. D., Tschudi, D. & Yakoubov, S. (2025).
Efficient Secure Communication Over Dynamic Incomplete Networks With Minimal Connectivity. In E. Boyle, E. Boyle & M. Mahmoody (Eds.),
Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (pp. 266–292). Springer.
https://doi.org/10.1007/978-3-031-78023-3_9
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), Article 11.
https://doi.org/10.1007/s00145-024-09525-2
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, Article 205865. Advance online publication.
https://doi.org/10.1016/j.wear.2025.205865
Tran, H. V., Zhang, Z., Pham, T. D., Doan, N. P., Hoang, A.-T., Li, P., Vandierendonck, H.
, Assent, I. & Mai, T. S. (2025).
InteDisUX: intepretation-guided discriminative user-centric explanation for time series.
Proceedings of the AAAI Conference on Artificial Intelligence,
39(20), 20921-20928.
https://doi.org/10.1609/aaai.v39i20.35387
Huang, C., Mathiasen, A., Dean, J., Langguth, J.
, Mottin, D. & Assent, I. (2025).
Linear Assignment on Tile-Centric Accelerators: Redesigning Hungarian Algorithm on IPUs. In
SIAM Symposium on Algorithm Engineering and Experiments, ALENEX 2025 (pp. 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. Article 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. Article e19608.
https://doi.org/10.1007/s00371-024-03450-y
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. In K.-M. Chung & Y. Sasaki (Eds.),
Advances in Cryptology - ASIACRYPT 2024 (pp. 463-493). Springer Nature.
https://doi.org/10.1007/978-981-96-0875-1_15
Å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
S. Tellez, E., Aumüller, M.
& Mic, V. (2025).
Overview of the SISAP 2024 Indexing Challenge. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.),
Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 255–265). Springer.
https://doi.org/10.1007/978-3-031-75823-2_21
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. Article e14607.
https://doi.org/10.1002/alz.14607
Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025).
Random Access on Narrow Decision Diagrams in External Memory. In T. Neele & A. Wijs (Eds.),
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. 137–145). Springer.
https://doi.org/10.1007/978-3-031-66149-5_7
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
Amores-Sesar, I. & Cachin, C. (2025).
We Will DAG You. In 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ś (Eds.),
Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, 2024, Revised Selected Papers (pp. 276-291). Springer Science and Business Media Deutschland GmbH.
https://doi.org/10.1007/978-3-031-82349-7_19
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), Article 49.
https://doi.org/10.1145/3648617