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 -
[Application] SATOR: Seamless 3D Teleportation to Both Ground and Mid-Air Targets2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Interactive and Immersive Displays Open access
Daniel Rupp, Matthias Wölwer, Torsten Kuhlen, Daniel Zielasko, Tim Weißker
0citations -
[Application] SATOR: Seamless 3D Teleportation to Both Ground and Mid-Air Targets2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Interactive and Immersive Displays Open access
Daniel Rupp, Matthias Wölwer, Torsten Kuhlen, Daniel Zielasko, Tim Weißker
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 -
LACE: Code and Data Supplement for Evolving Executable Pipeline Programs for AutoML with Language Models2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Sofoklis Kitharidis, Bas van Stein, Cor J. Veenman, Jan N. van Rijn
0citations -
LACE: Code and Data Supplement for Evolving Executable Pipeline Programs for AutoML with Language Models2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access
Sofoklis Kitharidis, Bas van Stein, Cor J. Veenman, Jan N. van Rijn
0citations
16 results