Not finding it? Sign in to also search OpenAlex live.
-
Artifact for: "The Probabilistic Model Checker Storm: Lightning Strikes Twice"2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Tim Quatmann, Matthias Volk, Sebastian Junges, Alexander Bork, Linus Heck, Luko van der Maas, +1 more
0citations -
bioacoustic-ai/bacpipe: BacPipe v1.3.4 Release Notes2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access
Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben, +2 more
0citations -
bioacoustic-ai/bacpipe: BacPipe v1.3.4 Release Notes2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access
Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Inês Nolasco, Ben, +2 more
0citations
15 results