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
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. Afhandling præsenteret på The International Conference on Pattern Recognition Applications and Methods, Rome, Italien.
https://doi.org/10.5220/0012322700003654
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
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
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
Timany, A., Gregersen, S. O., Stefanesco, L.
, Hinrichsen, J. K., Gondelman, L., Nieto, A.
& Birkedal, L. (2024).
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proceedings of the ACM on Programming Languages ,
8, Artikel 9.
https://doi.org/10.1145/3632851
Pientka, B., Blazy, S., Traytel, D.
& Timany, A. (2024).
Welcome from the Chairs. I
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (s. iii-iv)
Draganov, A., Jørgensen, J.
, Scheel, K., Mottin, D., Assent, I., Berry, T.
& Aslay, C. (2023).
ActUp: Analyzing and Consolidating tSNE & UMAP. I
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (s. 3651-3658). International Joint Conferences on Artificial Intelligence.
https://www.ijcai.org/proceedings/2023/0406.pdf