Svoboda, J., Tkadlec, J.
, Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022).
Infection dynamics of COVID-19 virus under lockdown and reopening.
Scientific Reports,
12, Artikel 1526.
https://doi.org/10.1038/s41598-022-05333-5
Sammler, M., Hammond, A., Lepigre, R., Campbell, B.
, Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022).
Islaris: verification of machine code against authoritative ISA semantics. I R. Jhala & I. Dillig (red.),
PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery.
https://doi.org/10.1145/3519939.3523434
Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R.
, Birkedal, L. & Dreyer, D. (2022).
Later credits: resourceful reasoning for the later modality.
Proceedings of the ACM on Programming Languages ,
6(ICFP), Artikel 100.
https://doi.org/10.1145/3547631
Espitau, T., Fouque, P.-A., Gérard, F., Rossi, M.
, Takahashi, A., Tibouchi, M., Wallet, A. & Yu, Y. (2022).
MITAKA: A Simpler, Parallelizable, Maskable Variant of Falcon. I O. Dunkelman & S. Dziembowski (red.),
Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (Bind 3, s. 222-253). Springer.
https://doi.org/10.1007/978-3-031-07082-2_9
Gratzer, D., Cavallo, E.
, Kavvos, G. A., Guatto, A.
& Birkedal, L. (2022).
Modalities and Parametric Adjoints.
ACM Transactions on Computational Logic,
23(3), Artikel 18.
https://doi.org/10.1145/3514241
Nieto, A., Gondelman, L., Reynaud, A.
, Timany, A. & Birkedal, L. (2022).
Modular verification of op-based CRDTs in separation logic.
Proceedings of the ACM on Programming Languages ,
6(OOPSLA2), 1788-1816. Artikel 188.
https://doi.org/10.1145/3563351
Dahl, J. F., Gregersen, S. B., Andersen, U.
, Schulz, H.-J., Madsen, J., Sode, L.
& Corredig, M. (2022).
Multiple techniques to characterize high protein anisotropic structures. Abstract fra 5th Food Structure and Functionality Symposium, Cork, Irland.
Dahl, J. F., Gregersen, S. B., Andersen, U.
, Schulz, H.-J., Madsen, J., Sode, L.
& Corredig, M. (2022).
New methodological approaches to study anisotropic structures in foods. Abstract fra 36th EFFoST International Conference, Dublin.
Afshani, P., de Berg, M., Buchin, K., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H. T. (2022).
On Cyclic Solutions to the Min-Max Latency Multi-Robot Patrolling Problem. I X. Goaoc & M. Kerber (red.),
38th International Symposium on Computational Geometry, SoCG 2022 Artikel 2 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.SoCG.2022.2
Esteves, A., Bouquet, E.
, Pfeuffer, K. & Alt, F. (2022).
One-handed Input for Mobile Devices via Motion Matching and Orbits Controls.
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies,
6(2), 1-24. Artikel 51.
https://doi.org/10.1145/3534624
Orlandi, C., Ravi, D. & Scholl, P. (2022).
On the Bottleneck Complexity of MPC with Correlated Randomness. I G. Hanaoka, J. Shikata & Y. Watanabe (red.),
Public-Key Cryptography – PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I (s. 194-220). Springer.
https://doi.org/10.1007/978-3-030-97121-2_8