Not finding it? Sign in to also search OpenAlex live.
-
From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors2024 arXiv (Cornell University) preprint Computer Science Research Data Management Practices Open access
Nikolaus Glombiewski, Zeyd Boukhers, Christian Beilschmidt, Johannes Drönner, Michael Mattig, Artur Piet, +9 more
0citations -
Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization2020 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access
Chu Yi, Chuan Wen Luo, Holger H. Hoos, Qingwei Lin, Haihang You
0citations -
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations