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-
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.
Dinsdale-Young, T., da Rocha Pinto, P.
, Andersen, K. J. A. & Birkedal, L. (2017).
Caper: Automatic Verification for Fine-Grained Concurrency. I H. Yang (red.),
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 26th European Symposium on Programming, ESOP 2017 (Bind 10201, s. 420-447). Springer VS.
https://doi.org/10.1007/978-3-662-54434-1_16
Barrett, M., Müller-Eberstein, M., Bassignana, E.
, Pauli, A. B., Zhang, M. & van der Goot, R. (2024).
Can Humans Identify Domains? I N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (red.),
2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (s. 2745-2765). European Language Resources Association (ELRA).
Sonne, T., Merritt, T. R., Marshall, P.
, Lomholt, J. J., Müller, J. & Grønbæk, K. (2017).
Calming Children When Drawing Blood Using Breath-based Biofeedback. I
DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (s. 725-737). Association for Computing Machinery.
https://doi.org/10.1145/3064663.3064742
Badertscher, C., Garay, J., Maurer, U.
, Tschudi, D. & Zikas, V. (2018).
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. I J. Buus Nielsen (red.),
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings (Bind 10821, s. 34-65). Springer VS.
https://doi.org/10.1007/978-3-319-78375-8_2
Klokmose, C. N., Kristensen, J. B., Bagge, R. & Halskov, K. (2014).
BullsEye: High-Precision Fiducial Tracking for Table-based Tangible Interaction. I R. Dachselt, N. Graham, K. Hornbæk & M. Nacenta (red.),
Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS '14 (s. 269-278 ). Association for Computing Machinery.
https://doi.org/10.1145/2669485.2669503
Snow, S., Vyas, D.
, Lyle, P., Mallett, M. & Brereton, M. (2016).
Building Connections: Technology Design for Living on a Low Income. I A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (red.),
PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (s. 1-4). Association for Computing Machinery.
https://doi.org/10.1145/2948076.2948091
Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023).
Broadcast-Optimal Two Round MPC with Asynchronous Peer-to-Peer Channels. I A. Aly & M. Tibouchi (red.),
Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (s. 87-106). Springer.
https://doi.org/10.1007/978-3-031-44469-2_5
Ciampi, M.
, Damgård, I., Ravi, D., Siniscalchi, L., Xia, Y.
& Yakoubov, S. (2023).
Broadcast-Optimal Four-Round MPC in the Plain Model. I G. Rothblum & H. Wee (red.),
Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (s. 3-32). Springer.
https://doi.org/10.1007/978-3-031-48618-0_1
Borchorst, N. G., McPhail, B., Smith, K. L., Ferenbok, J. & Clement, A. (2012).
Bridging Identity Gaps : Supporting Identity Performance in Citizen Service Encounters.
Computer Supported Cooperative Work,
21(6), 555-590 .
https://doi.org/10.1007/s10606-012-9163-5
Damgård, I. B., Faust, S., Mukherjee, P. & Venturi, D. (2013).
Bounded Tamper Resilience: How to Go beyond the Algebraic Barrier. I K. Sako & P. Sarkar (red.),
Advances in Cryptology - ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II (s. 140-160 ). Springer VS.
https://doi.org/10.1007/978-3-642-42045-0_8
Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E.
, Gellersen, H. & Pfeuffer, K. (2024).
Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. I
CHI'24: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 798 Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642293
Andersen, E.
, Muren, L., Sørensen, T. S., Noe, K. Ø.
, Thor, M., Petersen, J. B. B., Høyer, M., Bentzen, L. N. & Tanderup, K. (2012).
Bladder dose accumulation based on a biomechanical deformable image registration algorithm in volumetric modulated arc therapy for prostate cancer.
Physics in Medicine and Biology,
57(21), 7089-7100.
https://doi.org/10.1088/0031-9155/57/21/7089
Andersen, E. S.
, Muren, L., Sørensen, T. S., Noe, K. Ø., Thor, M., Petersen, J. B. B., Høyer, M., Bentzen, L. N. & Tanderup, K. (2012).
Biomechanical deformable registration based dose accumulation vs. dose summation for the bladder.
Radiotherapy & Oncology,
103(Supplement 1).