Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
EchoGO: Traceable Functional Interpretation Across Annotation Contexts2026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Bioinformatics and Genomic Networks Open access
Camilo Escobar-Sierra, Felix Langschied, Angelina Miller, Pedro A. Inostroza
0citations -
Data Analysis for the paper: Assessing Reproducibility in Evolutionary Computation2026 Zenodo (CERN European Organization for Nuclear Research) software Decision Sciences Scientific Computing and Data Management Open access
Francesca Da Ros, Tarik Začiragić, Aske Plaat, Thomas Bäck, Bas van Stein
1citations -
EvoHIIT: LLM-Assisted Evolutionary Design of High Intensity Interval Training programs2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Johana Chen, Bas van Stein, Robert Cabri, Thomas Bäck, Anna V. Kononova
1citations -
EvoHIIT: LLM-Assisted Evolutionary Design of High Intensity Interval Training programs2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Johana Chen, Bas van Stein, Robert Cabri, Thomas Bäck, Anna V. Kononova
1citations -
Replication code for the manuscript "Efficient construction and explicit dimensionality of Lie group-equivariant and permutation-invariant spaces"2026 Zenodo (CERN European Organization for Nuclear Research) software Mathematics Advanced Algebra and Geometry Open access
Eloïse Barthelemy, Geneviève Dusson, Camille Hernandez, Liwei Zhang
1citations -
Data Analysis for the paper: Assessing Reproducibility in Evolutionary Computation2026 Zenodo (CERN European Organization for Nuclear Research) software Decision Sciences Scientific Computing and Data Management Open access
Francesca Da Ros, Tarik Začiragić, Aske Plaat, Thomas Bäck, Bas van Stein
1citations -
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
1citations -
SPARSE -- Efficient High-Resolution SEM Imaging of Rare Microstructural Features Across Large Areas by Selective Rescanning2026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access
Tom Reclik, Jan Gerlach, Maximilian A. Wollenweber, Yannis P. Korkolis, Sandra Korte‐Kerzel, U. Kerzel
0citations