Items where authors include "Schröder, L."

Article

Adisa, A., Bahrami-Hessari, M., Bhangu, A. orcid.org/0000-0001-5999-4618 et al. (2460 more authors) (2023) Reducing the environmental impact of surgery on a global scale: systematic review and co-prioritization with healthcare workers in 132 countries. British Journal of Surgery, 110 (7). pp. 804-817. ISSN 0007-1323

Glasbey, J.C., Abbott, T.E.F., Ademuyiwa, A. et al. (4500 more authors) (2022) Elective surgery system strengthening: development, measurement, and validation of the surgical preparedness index across 1632 hospitals in 119 countries. The Lancet, 400 (10363). pp. 1607-1617. ISSN 0140-6736

Proceedings Paper

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (4 more authors) (2024) Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: Beyersdorff, O., Kanté, M.M., Kupferman, O. and Lokshtanov, D., (eds.) 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12-14 Mar 2024, Clermont-Ferrand, France. Leibniz International Proceedings in Informatics (LIPIcs), 289 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 10:1-10:19.

Ford, C., Milius, S., Schröder, L. et al. (2 more authors) (2022) Graded monads and behavioural equivalence games. In: Baier, C., (ed.) LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa, Israel. Association for Computing Machinery (ACM) . ISBN 9781450393515