Not finding it? Sign in to also search OpenAlex live.
-
On genetic programming representations and fitness functions for interpretable dimensionality reduction2022 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access
Thomas Uriot, Marco Virgolin, Tanja Alderliesten, Peter A. N. Bosman
18citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
Per-Instance Configuration of the Modularized CMA-ES by Means of Classifier Chains and Exploratory Landscape Analysis2020 IEEE Symposium Series on Computational Intelligence (SSCI) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Raphael Patrick Prager, Heike Trautmann, Hao Wang, Thomas Bäck, Pascal Kerschke
17citations -
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core2021 Design, Automation, and Test in Europe conference-paper Computer Science Security and Verification in Computing
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
16citations -
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, +6 more
7citations