Afshani, P., de Berg, M., Buchin, K., Gao, J., Loffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Wang, H.-T. (2021).
Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency. I S. M. LaValle, M. Lin, T. Ojala, D. Shell & J. Yu (red.),
Algorithmic Foundations of Robotics XIV-Part A: Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics Springer.
https://arxiv.org/abs/2005.02530
Rafner, J., Hjorth, A.
, Weidner, C., Ahmed, S. Z., Poulsen, C., Klokmose, C. & Sherson, J. (2021).
ArguNotes: Collaborative Problem Solving and Argumentation Tool. I C. E. Hmelo-Silver, B. De Wever & J. Oshima (red.),
14th International Conference on Computer-Supported Collaborative Learning: Reflecting the Past and Embracing the Future, CSCL 2021 - Proceedings, part of the 1st Annual Meeting of the International Society of the Learning Sciences, ISLS 2021 (s. 257-258). International Society of the Learning Sciences (ISLS).
Damgård, I., Ganesh, C., Khoshakhlagh, H., Orlandi, C. & Siniscalchi, L. (2021).
Balancing Privacy and Accountability in Blockchain Identity Management. I K. G. Paterson (red.),
Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (s. 552-576). Springer.
https://doi.org/10.1007/978-3-030-75539-3_23
Baum, C., de Saint Guilhem, C. D., Kales, D., Orsini, E.
, Scholl, P. & Zaverucha, G. (2021).
Banquet: Short and Fast Signatures from AES. I J. A. Garay (red.),
Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (s. 266-297). Springer.
https://doi.org/10.1007/978-3-030-75245-3_11
Pfeuffer, K., DInc, A., Obernolte, J., Rivu, R., Abdrabou, Y., Shelter, F., Abdelrahman, Y. & Alt, F. (2021).
Bi-3D: Bi-Manual Pen-and-Touch Interaction for 3D Manipulation on Tablets. I
UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 149-161). Association for Computing Machinery.
https://doi.org/10.1145/3472749.3474741
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Devriese, D.
& Birkedal, L. (2021).
Cap’ ou pas cap’ ? Preuve de programmes pour une machine à capacités en présence de code inconnu. 157-173. Afhandling præsenteret på 32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021, Virtual, Online.
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Devriese, D.
& Birkedal, L. (2021).
Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu. I
Journées Francophones des Langages Applicatifs 2021 Institut de Recherche en Informatique Fondamentale.
https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s-
Evangelista Belo, J. M., Feuchtner, T., Hwang, C., Lunding, R. S., Lystbæk, M. N., Pfeuffer, K. & Rasmussen, T. A. (2021).
Challenges of XR Transitional Interfaces in Industry 4.0. I H.-C. Jetter, J.-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (red.),
ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-1jsg9yzf5d0qs0
Blanc, M.
& Hansen, K. A. (2021).
Computational Complexity of Multi-player Evolutionarily Stable Strategies. I R. Santhanam & D. Musatov (red.),
Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings (s. 1-17). Springer.
https://doi.org/10.1007/978-3-030-79416-31
Gondelman, L., Gregersen, S. O., Nieto, A., Timany, A. & Birkedal, L. (2021).
Distributed causal memory: Modular specification and verification in higher-order distributed separation logic.
Proceedings of the ACM on Programming Languages ,
5(POPL), Artikel 42.
https://doi.org/10.1145/3434323
Han, K., Wu, B., Tang, J., Cui, S.
, Aslay, C. & Lakshmanan, L. VS. (2021).
Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. I
Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data (s. 671-684). Association for Computing Machinery.
https://doi.org/10.1145/3448016.3459243
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Huyghebaert, S., Devriese, D.
& Birkedal, L. (2021).
Efficient and provable local capability revocation using uninitialized capabilities.
Proceedings of the ACM on Programming Languages ,
5(POPL), Artikel 6.
https://doi.org/10.1145/3434287
Segal, S., Adi, Y., Pinkas, B.
, Baum, C., Ganesh, C. & Keshet, J. (2021).
Fairness in the Eyes of the Data: Certifying Machine-Learning Models. I
AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (s. 926-935). Association for Computing Machinery.
https://doi.org/10.1145/3461702.3462554