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.
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'24: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction 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.
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 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
Sølvsten, S. & van de Pol, J. (2023).
Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. I K. Y. Rozier & S. Chaudhuri (red.),
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (s. 464-471). Springer.
https://doi.org/10.1007/978-3-031-33170-1_28