Not finding it? Sign in to also search OpenAlex live.
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Selective serotonin reuptake inhibitor use is associated with major bleeding during treatment with vitamin K antagonists: results of a cohort study2021 preprint Pharmacology, Toxicology and Pharmaceutics Pharmacogenetics and Drug Metabolism Open access
Sanne Bakker, Louise Burggraaf, Felix van der Meer, W.M. Lijfering, Nienke van Rein
0citations -
Human shields alter antipredator behavior in Guenther’s dik-dik ( Madoqua guentheri )2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Environmental Science Wildlife Ecology and Conservation Open access
Raymond O. Owino, Isobel Hawkins, Iris Noordermeer, Margaret Mercer, Lauren A. Stanton, Jacob R. Goheen, +1 more
0citations