Not finding it? Sign in to also search OpenAlex live.
-
filter_functions: A package for efficient numerical calculation of generalized filter functions to describe the effect of noise on quantum gate operations1citations
-
JARDS - Joint Application, Review and Dispatch Service2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Distributed and Parallel Computing Systems Open access
Andreas Galonska, Matthias Richerzhagen, Carsten Karbach, Murat Han Celik, Martina Kamps, Beate Herrmann, +18 more
0citations -
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
6 results