Not finding it? Sign in to also search OpenAlex live.
-
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
Development of a high-fidelity computational tool for chemically reacting hypersonic flow simulations2022 King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology) preprint Engineering Computational Fluid Dynamics and Aerodynamics Open access
Athanasios Margaritis, Clément Scherding, Olaf Marxen, Peter J. Schmid, Taraneh Sayadi
3citations -
Epigenetic clocks for mice based on age-associated regions that are conserved between mouse strains and human2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Epigenetics and DNA Methylation Open access
Juan-Felipe Perez-Correa, Vithurithra Tharmapalan, Hartmut Geiger, Wolfgang Wagner
2citations
23 results