Bødker, S., Hoggan, E., Mu, Q., Bjørn, P., Shklovski, I., Barkhuus, L., Boulus-Rodje, N., Busboom, J., Duckert, M. & Dunn, K. (2024).
Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible.
ACM Transactions on Computer-Human Interaction. Advance online publication.
https://doi.org/10.1145/3648617
Hammond, A.
, Liu, Z., Pérami, T., Sewell, P.
, Birkedal, L. & Pichon-Pharabod, J. (2024).
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
Proceedings of the ACM on Programming Languages ,
8, 604-637. Artikel 21.
https://doi.org/10.1145/3632863
Braun, L., Castagnos, G.
, Damgård, I. B., Laguillaumie, F.
, Melissaris, K., Orlandi, C. & Tucker, I. (2024).
An Improved Threshold Homomorphic Cryptosystem Based on Class Groups.
https://eprint.iacr.org/2024/717
Hansen, B., Aamand, J.
, Blicher-Mathiesen, G., Christiansen, A. V., Claes, N., Dalgaard, T., Frederiksen, R. R., Jacobsen, B. H., Jakobsen, R.
, Kallesøe, A., Kim, H., Koch, J., Møller, I., Madsen, R. B.
, Schaper, S., Sandersen, P. B. E., Voutchkova, D. D. & Wiborg, I. (2024).
Assessing groundwater denitrifcation spatially is the key to targeted agricultural nitrogen regulation.
Scientific Reports.
Baenas, I., Camacho-Barcia, L., Granero, R., Razquin, C., Corella, D., Gómez-Martínez, C., Castañer-Niño, O.
, Martínez, J. A., Alonso-Gómez, Á. M., Wärnberg, J., Vioque, J., Romaguera, D., López-Miranda, J., Estruch, R., Tinahones, F. J., Lapetra, J., Serra-Majem, J. L., Cano-Ibáñez, N., Tur, J. A. ... Fernández-Aranda, F. (2024).
Association between type 2 diabetes and depressive symptoms after a 1-year follow-up in an older adult Mediterranean population.
Journal of Endocrinological Investigation. Advance online publication.
https://doi.org/10.1007/s40618-023-02278-y
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J.
& Birkedal, L. (2024).
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.
Proceedings of the ACM on Programming Languages ,
8(POPL), Artikel 26.
https://doi.org/10.1145/3632868
Nielsen, S. D.-H., Liang, N.
, Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y.
, Schulz, H.-J. & Dallas, D. C. (2024).
Bioactive milk peptides: an updated comprehensive overview and database.
Critical Reviews in Food Science and Nutrition. Advance online publication.
https://doi.org/10.1080/10408398.2023.2240396
Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E.
, Gellersen, H. & Pfeuffer, K. (2024).
Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. I
CHI'24: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642293
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Devriese, D.
& Birkedal, L. (2024).
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
Journal of the ACM,
71(1), Artikel 3.
https://doi.org/10.1145/3623510
Dahl, J. F., Gregersen, S. B., Andersen, U.
, Schulz, H.-J., Sode, L., Madsen, J.
& Corredig, M. (2024).
Characterization of high protein anisotropic structures using Rheological fingerprint by large-deformation Lissajous curves.
Science Talks,
9, Artikel 100283.
https://doi.org/10.1016/j.sctalk.2023.100283
Higuchi, N., Imamura, Y.
, Mic, V., Shinohara, T., Hirata, K. & Kuboyama, T. (Accepteret/In press).
Fast Filtering for Similarity Search Using Conjunctive Enumeration of Sketches in Order of Hamming Distance. 499-510. Afhandling præsenteret på The International Conference on Pattern Recognition Applications and Methods, Rome, Italien.
https://doi.org/10.5220/0012322700003654
Kaspersen, M. H., Musaeus, L. H., Bilstrup, K.-E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (Accepteret/In press).
From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy.
Proceedings of the ACM on Human-Computer Interaction.
Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M.
, Schwiegelshohn, C. & Shyam, S. (2024).
Low-Distortion Clustering with Ordinal and Limited Cardinal Information. I M. Wooldridge, J. Dy & S. Natarajan (red.),
Technical Tracks 14 (9 udg., s. 9555-9563). Association for the Advancement of Artificial Intelligence.
https://doi.org/10.1609/aaai.v38i9.28811
Francati, D. & Venturi, D. (2024).
Non-malleable Fuzzy Extractors. I C. Pöpper & L. Batina (red.),
Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, Part I (s. 135-155). Springer.
https://doi.org/10.1007/978-3-031-54770-6_6
Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L.
& de Pol, J. V. (2024).
On-The-Fly Algorithm for Reachability in Parametric Timed Games. I B. Finkbeiner & L. Kovács (red.),
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (s. 194-212). Springer Science and Business Media Deutschland GmbH.
https://doi.org/10.1007/978-3-031-57256-2_10
Dindler, C., Iversen, O. S., Holm Kanstrup, K., Van Mechelen, M. & Wagner, M.-L. (Accepteret/In press).
Participatory Design Sprints - Employing PD Principles in a Condensed Format. I
Proceedings of Participatory Design Conference ACM Press New York, NY, USA.
Lunding, R. S., Lunding, M. S., Feuchtner, T., Petersen, M. G., Grønbæk, K. & Suzuki, R. (2024).
RoboVisAR: Immersive Authoring of Condition-based AR Robot Visualisations. I
HRI '2024: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (s. 462-471). Association for Computing Machinery.
https://doi.org/10.1145/3610977.3634972
Dahl, J. F., Gregersen, S. B., Andersen, U.
, Schulz, H.-J. & Corredig, M. (2024).
Small and large deformation rheology on pizza cheese as an example of application to study anisotropic properties of food soft materials.
Food Hydrocolloids,
148(Part A), Artikel 109456.
https://doi.org/10.1016/j.foodhyd.2023.109456
Lystbæk, M. N., Pfeuffer, K., Langlotz, T.
, Grønbæk, J. E. & Gellersen, H. (2024).
Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. I F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (red.),
CHI '24: Proceedings of the CHI Conference on Human Factors in Computing Systems Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642811
Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C.
& Spitters, B. (2024).
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. I A. Timany, D. Traytel, B. Pientka & S. Blazy (red.),
CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 30-44). Association for Computing Machinery.
https://doi.org/10.1145/3636501.3636961