Not finding it? Sign in to also search OpenAlex live.
-
Review of automated time series forecasting pipelines2022 Wiley Interdisciplinary Reviews Data Mining and Knowledge Discovery article Computer Science Time Series Analysis and Forecasting Open access cited by 1 patent
Stefan Meisenbacher, Marian Turowski, Kaleb Phipps, Martin Rätz, Dirk Müller, Veit Hagenmeyer, +1 more
81citations -
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations -
Fully automated AI-based digital workflow for orbital fracture mirroring: A multicenter approach2026 Journal of Cranio-Maxillofacial Surgery article Computer Science Medical Image Segmentation Techniques Open access
Sorana Mureșanu, Michel Beyer, Ashkan Rashad, Oliver Vladu, Behrus Puladi, Frank Hölzle, +3 more
1citations -
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