Not finding it? Sign in to also search OpenAlex live.
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
bioacoustic-ai/bacpipe: bacpipe v1.3.5 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.5 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 McEwen, +2 more
0citations