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
Hou, B. J., Abramyan, L., Gurumurthy, P., Adams, H., Tosic Rodgers, I., Gonzalez, E. J., Patel, K., Colaço, A.
, Pfeuffer, K., Gellersen, H., Ahuja, K. & Gonzalez-Franco, M. (2025).
Online-EYE: Multimodal Implicit Eye Tracking Calibration for XR. In N. Yamashita, V. Evers & K. Yatani (Eds.),
CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 550 Association for Computing Machinery.
https://doi.org/10.1145/3706598.3713461
Å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
Kim, J., Park, S.
, Zhou, Q., Gonzalez-Franco, M., Lee, J.
& Pfeuffer, K. (2025).
PinchCatcher: Enabling Multi-selection for Gaze+Pinch. In
CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 853 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3706598.3713530
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
Genay, A., Syiem, B. V., Wong, E.
, Feuchtner, T., Knibbe, J.
, Grønbæk, J. E. S. & Velloso, E. (2025).
Scaling Distributed Collaboration in Mixed Reality. In
CHI EA 2025 - Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems Article 798 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3706599.3706722
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
Mahrík, M., Šikyňa, M.
, Mic, V. & Zezula, P. (2025).
Towards Personalized Similarity Search for Vector Databases. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.),
Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 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. In
roceedings of the 28th International Conference on Extending Database Technology (3 ed., pp. 962-969). openproceedings.org.
https://doi.org/10.48786/edbt.2025.78
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
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. Paper presented at ISLS annual meeting, Helsinki, Finland.
https://doi.org/10.22318/icls2025.362276
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
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
Årdal, M. A., Aranha, D. F., Boudgoust, K., Kolby, S. & Takahashi, A. (2024).
Aggregating Falcon Signatures with LaBRADOR. In L. Reyzin & D. Stebila (Eds.),
Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (pp. 71-106)
https://doi.org/10.1007/978-3-031-68376-3_3
Gregersen, S. O.
, Aguirre, A., Haselwarter, P. G., Tassarotti, J.
& Birkedal, L. (2024).
Almost-Sure Termination by Guarded Refinement.
Proceedings of the ACM on Programming Languages ,
8(ICFP), 203-233. Article 243.
https://doi.org/10.1145/3674632