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
Butcher, P. W. S., Batch, A., Saffo, D., Macintyre, B.
, Elmqvist, N. & Ritsos, P. D. (2024).
Is Native Naïve? Comparing Native Game Engines and WebXR as Immersive Analytics Development Platforms.
IEEE Computer Graphics and Applications,
44(3), 91-98.
https://doi.org/10.1109/MCG.2024.3367422
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
Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O. (2024).
Optimal Non-Adaptive Cell Probe Dictionaries and Hashing. In K. Bringmann, M. Grohe, G. Puppis & O. Svensson (Eds.),
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 Article 104 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ICALP.2024.104