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. Article 21.
https://doi.org/10.1145/3632863
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), Article 26.
https://doi.org/10.1145/3632868
Ágústsson, S. Ý., Jones, A. J. H., Curcio, D., Ulstrup, S., Miwa, J., Mottin, D., Karras, P. & Hofmann, P. (2024).
Autonomous micro-focus angle-resolved photoemission spectroscopy.
Review of Scientific Instruments,
95(5), Article 055106.
https://doi.org/10.1063/5.0204663
Barrett, M., Müller-Eberstein, M., Bassignana, E.
, Pauli, A. B., Zhang, M. & van der Goot, R. (2024).
Can Humans Identify Domains? In N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (Eds.),
2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (pp. 2745-2765). European Language Resources Association (ELRA).
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), Article 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, Article 100283.
https://doi.org/10.1016/j.sctalk.2023.100283
Turkmen, R., Gelmez, Z. E., Batmaz, A. U., Stuerzlinger, W., Asente, P., Sarac, M.
, Pfeuffer, K. & Machuca, M. D. B. (2024).
EyeGuide & EyeConGuide: Gaze-based Visual Guides to Improve 3D Sketching Systems. In
CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 178 Association for Computing Machinery.
https://doi.org/10.1145/3613904.3641947
Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024).
From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (Eds.),
CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 268 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3613904.3642607
Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A.
& Gellersen, H. (2024).
GazeSwitch: Automatic Eye-Head Mode Switching for Optimised Hands-Free Pointing.
Proceedings of the ACM on Human-Computer Interaction,
8(ETRA), Article 227.
https://doi.org/10.1145/3655601
Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M.
, Schwiegelshohn, C. & Shyam, S. (2024).
Low-Distortion Clustering with Ordinal and Limited Cardinal Information. In M. Wooldridge, J. Dy & S. Natarajan (Eds.),
Technical Tracks 14 (9 ed., pp. 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. In C. Pöpper & L. Batina (Eds.),
Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, Part I (pp. 135-155). Springer.
https://doi.org/10.1007/978-3-031-54770-6_6
Adolf, J.
, Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (2024).
Offistretch: camera-based real-time feedback for daily stretching exercises.
Visual Computer.
https://doi.org/10.1007/s00371-024-03450-y
Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L.
& de Pol, J. V. (2024).
On-The-Fly Algorithm for Reachability in Parametric Timed Games. In B. Finkbeiner & L. Kovács (Eds.),
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 (pp. 194-212). Springer Science and Business Media Deutschland GmbH.
https://doi.org/10.1007/978-3-031-57256-2_10
Egger, M. K., Ma, W., Mottin, D., Karras, P., Bordino, I., Gullo, F. & Anagnostopoulos, A. (2024).
ReliK: A Reliability Measure for Knowledge Graph Embeddings. In
WWW '24 : Proceedings of the ACM Web Conference (pp. 2009-2019). Association for Computing Machinery.
https://doi.org/10.1145/3589334.3645430
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. In
HRI '2024: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (pp. 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), Article 109456.
https://doi.org/10.1016/j.foodhyd.2023.109456
Lee, H. S., Weidner, F., Sidenmark, L.
& Gellersen, H. (2024).
Snap, Pursuit and Gain: Virtual Reality Viewport Control by Gaze. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. Dugas & I. Shklovski (Eds.),
CHI '24: Proceedings of the CHI Conference on Human Factors in Computing Systems Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642838
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. In F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (Eds.),
CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Article 633 Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642811