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 -
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 -
[Artifact] Focaccia: Semantic Validation for CPU Emulators2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Security and Verification in Computing Open access
Theofilos Augoustis, Sebastian Reimers, Christian Krinitsin, Redha Gouicem, Dennis Sprokholt, Pramod Bhatotia
0citations -
Behavioral and neural effects of virtual embodiment in individuals with Body Integrity Dysphoria2025 Journal of Psychiatric Research article Computer Science Virtual Reality Applications and Impacts Open access
Jasmine T. Ho, Maria Niedernhuber, Vanessa Frei, Marina Scattolin, Robin Bekrater‐Bodmann, Marte Roel Lesur, +2 more
0citations