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 -
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 -
QuantumSavory/QuantumClifford.jl: v0.11.72026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Quantum Computing Algorithms and Architecture Open access
Stefan Krastanov, Feroz Ahmed Mian, Stefan Krastanov's bot, Zhongyi Ni, Kanyang Ying, Praveen Viswanathan, +22 more
0citations