Lorch, L.; Kremer, H.; Trouleau, W.; Tsirtsis, S.; Szanto, A.; Schölkopf, B.; Gomez Rodriguez, M.: Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots. ACM Transactions on Spatial Algorithms and Systems 8 (4), 25, pp. 1 - 28 (2022)

Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Logical Methods in Computer Science 18 (4), 1, pp. 1 - 38 (2022)

Neider, D.; Weinert, A.; Zimmermann, M.: Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation 285 (B), 104810 (2022)

Raad, A.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 6, POPL, 34, pp. 1 - 29 (2022)

Raad, A.; Maranget, L.; Vafeiadis, V.: Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores. Proceedings of the ACM on Programming Languages 6, POPL, 22, pp. 1 - 31 (2022)

Samadi, M. E.; Kiefer, S.; Fritsch, S. J.; Bickenbach, J.; Schuppert, A.: A Training Strategy for Hybrid Models to Break the Curse of Dimensionality. PLoS One 17 (9), e0274569 (2022)

Spies, S.; Gäher, L.; Tassarotti, J.; Jung, R.; Krebbers, R.; Birkedal, L.; Dreyer, D.: Later Credits: Resourceful Reasoning for the Later Modality. Proceedings of the ACM on Programming Languages 6, ICFP, 100, pp. 1 - 29 (2022)

Stutz, F.; Zufferey, D.: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. Electronic Proceedings in Theoretical Computer Science 370, pp. 194 - 212 (2022)

Toneva, M.; Mitchell, T. M.; Wehbe, L.: Combining Computational Controls with Natural Text Reveals Aspects of Meaning Composition. Nature Computational Science, pp. 745 - 757 (2022)

Tsirtsis, S.; De, A.; Lorch, L.; Gomez Rodriguez, M.: Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 18 (3), e1010008, pp. 1 - 17 (2022)

Zhu, F.; Sammler, M.; Lepigre, R.; Dreyer, D.; Garg, D.: BFF: Foundational and Automated Verification of Bitfield-manipulating Programs. Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 182, pp. 1613 - 1638 (2022)

Abate, C.; Blanco, R.; Ciobâcă, Ş.; Durier, A.; Garg, D.; Hriţcu, C.; Patrignani, M.; Tanter, É.; Thibault, J.: An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 43 (4), 14, pp. 1 - 48 (2021)

Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Katsumata, S.-y.; Sato, T.: Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 5, ICFP, 93, pp. 1 - 30 (2021)

Almagor, S.; Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 5, POPL, 48, pp. 1 - 24 (2021)

Almagor, S.; Ouaknine, J.; Worrell, J.: First-Order Orbit Queries. Theory of Computing Systems 65, pp. 638 - 661 (2021)

Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages 5, POPL, 44, pp. 1 - 31 (2021)

Bernstein, A.; de Vreese, C.; Helberger, N.; Schulz, W.; Zweig, K.; Baden, C.; Beam, M. A.; Hauer, M. P.; Heitz, L.; Jürgens, P. et al.; Katzenbach, C.; Kille, B.; Klimkiewicz, B.; Loosen, W.; Moeller, J.; Radanovic, G.; Shani, G.; Tintarev, N.; Tolmeijer, S.; van Atteveldt, W.; Vrijenhoek, S.; Zueger, T.: Diversity in News Recommendation. Dagstuhl Manifestos 9 (1), pp. 43 - 61 (2021)

Bichhawat, A.; Rajani, V.; Garg, D.; Hammer, C.: Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 49 (4), pp. 361 - 401 (2021)

Chalebgwa, T. P.; Ddamulira, M.: Padovan Numbers which are Palindromic Concatenations of two Distinct Repdigits. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales / Serie A, Matemáticas 115, 108 (2021)

Ddamulira, M.: Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 71 (2), pp. 275 - 284 (2021)