Krogh-Jespersen, M., Timany, A., Ohlenbusch, M. E., Gregersen, S. O. & Birkedal, L. (2020).
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. I P. Müller (red.),
Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (s. 336-365). Springer.
https://doi.org/10.1007/978-3-030-44914-8_13
Damgård, I. B., Lauritsen, R. & Toft, T. (2014).
An Empirical Study and some Improvements of the MiniMac Protocol for Secure Computation. I M. Abdalla & R. D. Prisco (red.),
Security and Cryptography for Networks: 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings (s. 398-415 ). Springer.
https://doi.org/10.1007/978-3-319-10879-7_23
Abspoel, M., Dalskov, A.
, Escudero Ospina, D. E. & Nof, A. (2021).
An Efficient Passive-to-Active Compiler for Honest-Majority MPC over Rings. I K. Sako & N. O. Tippenhauer (red.),
Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Proceedings: 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings (Bind II, s. 122-154). Springer.
https://doi.org/10.1007/978-3-030-78375-4_6
Afshani, P., De Berg, M., Casanova, H., Karsin, B., Lambrechts, C.
, Sitchinava, N. & Tsirogiannis, C. (2018).
An efficient algorithm for the 1D total visibility-index problem and its parallelization.
ACM Journal of Experimental Algorithmics,
23, Artikel 2.3.
https://doi.org/10.1145/3209685
Afshani, P., De Berg, M., Casanova, H., Karsin, B., Lambrechts, C.
, Sitchinava, N. & Tsirogiannis, C. (2017).
An efficient algorithm for the 1D total visibility-index problem. I S. Fekete & V. Ramachandran (red.),
2017 Proceedings of the Ninteenth Workshop on Algorithm Engineering and Experiments (ALENEX) (Bind PRAL17, s. 218-231). Society for Industrial and Applied Mathematics.
https://doi.org/10.1137/1.9781611974768.18
Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L.
, van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021).
An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation.
Frontiers in Bioengineering and Biotechnology,
9, Artikel 732917.
https://doi.org/10.3389/fbioe.2021.732917
Andersen, L. B., Brabrand, C., Buhl, M.
, Caprani, O., Georgsen, M., Hachmann, R., Hjorth, M., Jørnø, R. L., Køhrsen, L., Misfeldt, M.
, Nørgård, R. T., Nortvig, A.-M. & Rehder, M. M. (2022).
Anbefalinger til indførsel af teknologiforståelse i uddannelse af lærere og andet pædagogisk personale: Slutleverance i 3. spor af forsøgsprogrammet for teknologiforståelse i folkeskolens obligatoriske undervisning.
https://emu.dk/sites/default/files/2022-01/gsk_teknologiforståelse_Slutrapport_anbefalinger%20til%20uddannelse%20af%20lærere%20og%20pædagoger.pdf
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. Artikel 21.
https://doi.org/10.1145/3632863
Lin, D.
, Jensen, C. S., Zhang, R., Xiao, L. & Lu, J. (2011).
A Moving-Object Index for Efficient Query Processing with PeerWise Location Privacy.
Proceedings of the VLDB Endowment,
5(1), 37-48.
http://www.vldb.org/pvldb/vol5/p037_danlin_vldb2012.pdf
Bizjak, A., Birkedal, L. & Miculan, M. (2014).
A model of countable nondeterminism in guarded type theory. I G. Dowek (red.),
Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (s. 108-123). Springer VS.
https://doi.org/10.1007/978-3-319-08918-8_8
Bilo, V.
, Caragiannis, I., Flammini, M., Igarashi, A., Monaco, G., Peters, D., Vinci, C. & Zwicker, W. (2022).
Almost envy-free allocations with connected bundles.
Games and Economic Behavior,
131, 197-221.
https://doi.org/10.1016/j.geb.2021.11.006
Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V.
& Pol, J. V. D. (2022).
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones.
Information Systems,
103, Artikel 101456.
https://doi.org/10.1016/j.is.2019.101456