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 -
ITV-LFS-model: Physics-guided laminar flame speed correlation for methane-hydrogen-air mixtures2026 Zenodo (CERN European Organization for Nuclear Research) software Chemical Engineering Advanced Combustion Engine Technologies Open access
Raik Hesse, Christian Schwenzer, Roman Glaznev, Florence Cameron, Heinz Pitsch, Joachim Beeckmann
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 -
ITV-LFS-model: Physics-guided laminar flame speed correlation for methane-hydrogen-air mixtures2026 Zenodo (CERN European Organization for Nuclear Research) software Chemical Engineering Advanced Combustion Engine Technologies Open access
Raik Hesse, Christian Schwenzer, Roman Glaznev, Florence Cameron, Heinz G. Pitsch, Joachim Beeckmann
0citations
14 results