From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “running” 467

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Methods to experimentally characterize the own-voice-generated objective occlusion effect induced by hearables
2025 Acta Acustica article Computer Science Speech and Audio Processing Open access

Matthias Blau, Reinhild Roden, Nele Hauenschild, Simon T. Kersten, Rouben Rehman, Michael Vorländer, +1 more

0

citations
Automated Configuration of Genetic Algorithms by Tuning for Anytime Performance
2022 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Carola Doerr, Hao Wang, Thomas Bäck

22

citations
Developing Clinical Prediction Models Using Primary Care Electronic Health Record Data: The Impact of Data Preparation Choices on Model Performance
2022 Frontiers in Epidemiology article Computer Science Machine Learning in Healthcare Open access

Hendrikus J. A. van Os, Jos P. Kanning, Marieke J.H. Wermer, Niels Henrik Chavannes, Mattijs Everard Numans, Ynte M. Ruigrok, +4 more

9

citations
Performance portability for the CMS Reconstruction with Alpaka
2023 Journal of Physics Conference Series conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Andrea Bocci, Angéla Czirkos, Antonio Di Pilato, Felice Pantaleo, Gabrielle Hugo, M. J. Kortelainen, +1 more

4

citations
Adoption of the alpaka performance portability library in the CMS software
2023 Journal of Physics Conference Series conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Andrea Bocci

1

citations
Evaluating Performance Portability with the CMS Heterogeneous Pixel Reconstruction code
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Nikolaos Andriotis, Andrea Bocci, Eric Cano, Laura Cappelli, Mark Dewing, Tony Di Pilato, +8 more

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

Joost-Pieter Katoen

5

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 other Computer Science Logic, programming, and type systems

Marcel Hark, Jürgen Giesl, Fabian Meyer

2

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Joost-Pieter Katoen

0

citations
Deciding Termination of Simple Randomized Loops
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Hark, Jürgen Giesl

0

citations
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
PS-AAS: Portfolio Selection for Automated Algorithm Selection in Black-Box Optimization - Reproducibility Repository
2023 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

0

citations
python-spectrometer
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, René Otten

0

citations
qutil
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

0

citations
qutil
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, Han Na We

0

citations
MA-BBOB - Reproducibility and Additional Data
2024 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Furong Ye, Thomas Bäck, Carola Doerr

0

citations
MA-BBOB - Reproducibility and Additional Data
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Furong Ye, Thomas Bäck, Carola Doerr

0

citations
Tiny Autoscalers for Tiny Workloads: Dynamic CPU Allocation for Serverless Functions
2022 IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid) conference-paper Computer Science Cloud Computing and Resource Management Open access

Yuxuan Zhao, Alexandru Uta

20

citations
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Holger H. Hoos

3

citations
Heed the noise in performance evaluations in neural architecture search
2022 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Machine Learning and Data Classification Open access

Arkadiy Dushatskiy, Tanja Alderliesten, Peter A. N. Bosman

3

citations
Validation of Automated Ultrasound-based Registration for Navigated Scaphoid Fixation
2021 Current Directions in Biomedical Engineering article Computer Science Medical Image Segmentation Techniques Open access

Peter Brößner, Benjamin Hohlmann, Kristian Welle, Klaus Radermacher

1

citations
From Language Models to Control Policies: Search, Selection, and Verification
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Nima Hamidi Siboni, Seyedreza Kiamousavi, Vahid Rostami, Emad Scharifi

0

citations
The Φ-Sat-1 Mission: The First On-Board Deep Neural Network Demonstrator for Satellite Earth Observation
2021 IEEE Transactions on Geoscience and Remote Sensing article Computer Science Advanced Neural Network Applications Open access cited by 1 patent

Gianluca Giuffrida, Luca Fanucci, Gabriele Meoni, Matej Batič, Léonie Buckley, Aubrey K. Dunne, +6 more

223

citations