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 -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, József Kovács, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
The Importance of Being Constrained: Dealing with Infeasible Solutions in Differential Evolution and Beyond2023 Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access
Anna V. Kononova, Diederick Vermetten, Fabio Caraffini, Mădălina Mitran, Daniela Zaharie
27citations -
The Fourth Workshop on Hot Topics in Cloud Computing Performance (HotCloudPerf'21): Benchmarking in the Cloud2021 ACM/SPEC International Conference on Performance Engineering (ICPE) conference-paper Computer Science Cloud Computing and Resource Management Open access
Cristina L. Abad, Nikolas Roman Herbst, Alexandru Uta, Alexandru Iosup
0citations -
Identifying Novel Inhibitors for Hepatic Organic Anion Transporting Polypeptides by Machine Learning-Based Virtual Screening2022 Journal of Chemical Information and Modeling article Computer Science Computational Drug Discovery Methods Open access
Alzbeta Tuerkova, Brandon J. Bongers, Ulf Norinder, Orsolya Ungvári, Virág Székely, Andrey Tarnovskiy, +4 more
24citations -
Large language models for structured cardiovascular data extraction: a foundation for scalable research and clinical applications2025 European Heart Journal - Digital Health article Computer Science Machine Learning in Healthcare Open access
Wouter P M van der Loo, Viktor van der Valk, Tim van den Broek, Douwe E. Atsma, Marius Staring, Roderick W.C. Scherptong
4citations -
Landscape-Aware Automated Algorithm Configuration Using Multi-output Mixed Regression and Classification2024 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Fu Xing Long, Moritz A. Frenzel, Markus Gitterle, Thomas Bäck, Bas van Stein
2citations -
Landscape-Aware Automated Algorithm Configuration using Multi-output Mixed Regression and Classification2024 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access
Fu Xing Long, Moritz A. Frenzel, Markus Gitterle, Thomas Bäck, Bas van Stein
0citations