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 -
WALDO: community-Wide Annotation of γδ Lymphocytes in single-cell Data, Openly benchmarked2026 Zenodo (CERN European Organization for Nuclear Research) preprint Biochemistry, Genetics and Molecular Biology Single-cell and spatial transcriptomics Open access
Farid Keramati, Moosa Rezwani, Likai Tan, David Hamilton, Zheng Song, Tao Yang, +10 more
0citations
9 results