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 -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper 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 -
Critical Remarks on "Joint Definability, Context–Instantiated Geometry, and the Inapplicability of Fine's Theorem" (Sanctuary, Quantum Rep. 2026, 8, 96)0citations
-
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