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 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 -
PS-AAS: Portfolio Selection for Automated Algorithm Selection in Black-Box Optimization - Reproducibility Repository2023 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Metaheuristic Optimization Algorithms Research Open access
Ana Kostovska, Gjorgjina Cenikj, Diederick Vermetten, Anja Jankovič, Ana Nikolikj, Urban Škvorc, +3 more
0citations -
Assessing the Generalizability of a Performance Predictive Model2023 arXiv (Cornell University) preprint Computer Science Machine Learning and Data Classification Open access
Ana Nikolikj, Gjorgjina Cenikj, Gordana Ispirova, Diederick Vermetten, Ryan Dieter Lang, Andries Petrus Engelbrecht, +3 more
0citations -
ML-ModelExplorer: An Explorative Model-Agnostic Approach to Evaluate and Compare Multi-class Classifiers2020 Lecture notes in computer science conference-paper Computer Science Data Visualization and Analytics Open access
Andreas Theissler, Simon Vollert, Patrick Benz, Laurentius A. Meerhoff, Marc Fernandes
10citations -
How Far is Too Far? The Trade-Off Between Selection Distance and Accuracy During Teleportation in Immersive Virtual Reality2025 IEEE Transactions on Visualization and Computer Graphics article Computer Science Virtual Reality Applications and Impacts
Daniel Rupp, Tim Weißker, Matthias Wölwer, Torsten Kuhlen, Daniel Zielasko
1citations -
Trajectory-based Algorithm Selection with Warm-starting2022 IEEE Congress on Evolutionary Computation (CEC) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Anja Jankovič, Diederick Vermetten, Ana Kostovska, Jacob de Nobel, Tome Eftimov, Carola Doerr
12citations