Fink, D. I., Skowronski, M., Zagermann, J., Reinschluessel, A. V., Reiterer, H.
& Feuchtner, T. (2024).
There Is More to Avatars Than Visuals: Investigating Combinations of Visual and Auditory User Representations for Remote Collaboration in Augmented Reality.
Proceedings of the ACM on Human-Computer Interaction,
8(ISS), 540-568.
https://doi.org/10.1145/3698148Melissaris Papanikolaou, N., Ravi, D.
& Yakoubov, S. (2024).
Threshold-Optimal MPC With Friends and Foes. In A. Chattopadhyay, S. Bhasin, S. Picek & C. Rebeiro (Eds.),
Progress in Cryptology – INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II (Vol. 2, pp. 3-24). Springer.
https://doi.org/10.1007/978-3-031-56235-8_1
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, Article 9.
https://doi.org/10.1145/3632851
Caragiannis, I., Filos-Ratsikas, A., Frederiksen, S. K. S., Hansen, K. A. & Tan, Z. (2024).
Truthful facility assignment with resource augmentation: an exact analysis of serial dictatorship.
Mathematical Programming,
203(1-2), 901-930.
https://doi.org/10.1007/S10107-022-01902-8
Chundury, P., Thakkar, U., Reyazuddin, Y., Jordan, J. B.
, Elmqvist, N. & Lazar, J. (2024).
Understanding the Visualization and Analytics Needs of Blind and Low-Vision Professionals. In
ASSETS 2024 - Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility Article 111 Association for Computing Machinery.
https://doi.org/10.1145/3663548.3688496Ondov, B., Patel, H. B., Kuo, A. T., Kastner, J., Han, Y., Wei, H.
, Elmqvist, N. & Samet, H. (2024).
Visualizing multilayer spatiotemporal epidemiological data with animated geocircles.
Journal of the American Medical Informatics Association,
31(11), 2507-2518.
https://doi.org/10.1093/jamia/ocae234Pientka, B., Blazy, S., Traytel, D.
& Timany, A. (2024).
Welcome from the Chairs. In
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (pp. iii-iv)
Draganov, A., Jørgensen, J., Scheel, K., Mottin, D., Assent, I., Berry, T.
& Aslay, C. (2023).
ActUp: Analyzing and Consolidating tSNE & UMAP. In
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 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. In K. Y. Rozier & S. Chaudhuri (Eds.),
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 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. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (Eds.),
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 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. In G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (Eds.),
Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2023 (pp. 1064-1073). IEEE.
https://doi.org/10.1109/ISMAR59233.2023.00123
Chatzopoulos, S., Vergoulis, T., Skoutas, D., Dalamagas, T., Tryfonopoulos, C.
& Karras, P. (2023).
Atrapos: Real-time Evaluation of Metapath Query Workloads. In
ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023 (pp. 2487-2498). Association for Computing Machinery.
https://doi.org/10.1145/3543507.3583322Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22
Roy, L. & Xu, J. (2023).
A Universally Composable PAKE with Zero Communication Cost: (And Why It Shouldn’t Be Considered UC-Secure). In A. Boldyreva & V. Kolesnikov (Eds.),
Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (pp. 714-743). Springer.
https://doi.org/10.1007/978-3-031-31368-4_25
Soureshjani, F. H.
, Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023).
Automated Analysis of Halo2 Circuits. In S. Graham-Lengrand & M. Preiner (Eds.),
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Vol. 3429, pp. 3-17). CEUR-WS.org.
https://ceur-ws.org/Vol-3429/paper3.pdfBorowski, M., Fog, B. V., Griggio, C. F., Eagan, J. R.
& Klokmose, C. N. (2023).
Between Principle and Pragmatism: Reflections on Prototyping Computational Media with Webstrates.
ACM Transactions on Computer-Human Interaction,
30(4), Article 61.
https://doi.org/10.1145/3569895
