• Proof Systems for Super-Strict Implication

  Gherardi, Guido; Orlandelli, Eugenio; Raidl, Eric (2024)
• Putting gene drives into context: Risks, depth of intervention, and regulatory challenges

  Rabitz, Florian; Giese, Bernd; Kelz, Rosine; Otto, Mathias; Potthast, Thomas; Quilodran, Claudio S.; Teixeira, Leonardo H. (2024)
• Stable Implementation of Probabilistic ODE Solvers

  Kraemer, Nicholas; Hennig, Philipp (2024)
• Trend of measles-rubella vaccination coverage and impact on measles epidemiology in the Savannah Region, Ghana; 2018-2022: A secondary data analysis

  Adjei, Michael Rockson; Longsignikuu, Amos; Iddris, Ibrahim Saeed; Suuri, Thomas Nang; Asamoah, Byrite; Okoye, Michael; Baafi, Janet Vanessa; Kubio, Chrysantus; Ohene, Sally-Ann; Grobusch, Martin Peter (2024)
• Simultaneously decreasing arsenic and cadmium in rice by soil sulfate and limestone amendment under intermittent flooding

  Fang, Xu; Blanco, Andrea E. Colina; Christl, Iso; Le Bars, Maureen; Straub, Daniel; Kleindienst, Sara; Planer-Friedrich, Britta; Zhao, Fang-Jie; Kappler, Andreas; Kretzschmar, Ruben (2024)

View more