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
Adolf, J.
, Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (Accepteret/In press).
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. 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.
Egger, M. K., Ma, W., Mottin, D., Karras, P., Bordino, I., Gullo, F. & Anagnostopoulos, A. (2024).
ReliK: A Reliability Measure for Knowledge Graph Embeddings. I
WWW '24 : Proceedings of the ACM Web Conference (s. 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. 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
Lee, H. S., Weidner, F., Sidenmark, L.
& Gellersen, H. (2024).
Snap, Pursuit and Gain: Virtual Reality Viewport Control by Gaze. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. 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.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. I F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (red.),
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 Artikel 633 Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642811
Chundury, P., Reyazuddin, Y., Jordan, J. B., Lazar, J.
& Elmqvist, N. (2024).
TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility.
IEEE Transactions on Visualization and Computer Graphics,
30(1), 836-846.
https://doi.org/10.1109/TVCG.2023.3326937
Hoque, M. N., Mashiat, T., Ghai, B., Shelton, C., Chevalier, F., Kraus, K.
& Elmqvist, N. (2024).
The HaLLMark Effect: Supporting Provenance and Transparent Use of Large Language Models in Writing with Interactive Visualization. I
CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 1045 Association for Computing Machinery.
https://doi.org/10.1145/3613904.3641895
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
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
Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (2023).
A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.),
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 252 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581423
Lunding, R. S., Lystbæk, M. N., Feuchtner, T. & Grønbæk, K. (2023).
AR-supported Human-Robot Collaboration: Facilitating Workspace Awareness and Parallelised Assembly Tasks. I G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (red.),
Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2023 (s. 1064-1073). IEEE.
https://doi.org/10.1109/ISMAR59233.2023.00123