From

Institution

Field

Type

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

Reset

Papers matching “expected running time” 89

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
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
CGR-CUSUM: a continuous time generalized rapid response cumulative sum chart
2022 Biostatistics article Decision Sciences Advanced Statistical Process Monitoring Open access

Daniel Gomon, Hein Putter, Rob G. H. H. Nelissen, Stéphanie van der Pas

12

citations
Experimental Data Sets for the study "Benchmarking a $(\mu+\lambda)$ Genetic Algorithm with Configurable Crossover Probability"
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

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

1

citations
Experimental Data Sets for the study "Benchmarking a $(\mu+\lambda)$ Genetic Algorithm with Configurable Crossover Probability"
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

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

0

citations
Per-run Algorithm Selection with Warm-starting using Trajectory-based Features
2022 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Ana Kostovska, Anja Jankovič, Diederick Vermetten, Jacob de Nobel, Hao Wang, Tome Eftimov, +1 more

2

citations
Data sets for the study "Automated Configuration of Genetic Algorithms by Tuning for Anytime Performance."
2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

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

0

citations
Data sets for the study "Automated Configuration of Genetic Algorithms by Tuning for Anytime Performance."
2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

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

0

citations
Experimental Results for the study "A Modular Hybridization of Particle Swarm Optimization and Differential Evolution"
2020 Figshare dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Rick Boks, Hao Wang, Thomas Bäck

1

citations
Experimental Results for the study "A Modular Hybridization of Particle Swarm Optimization and Differential Evolution"
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Rick Boks, Hao Wang, Thomas Bäck

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
Creating a Real‐Time Capable Surrogate Model of a Wind Turbine Using Machine Learning
2025 Wind Energy article Engineering Wind Energy Research and Development Open access

Stefan Witter, Jakob Roth, Ralf Schelenz, Georg Jacobs

2

citations
Creating a Real-Time Capable Surrogate Model of a Wind Turbine Using Machine Learning
2024 preprint Engineering Wind Energy Research and Development Open access

Stefan Witter, Ralf Schelenz, Georg Jacobs

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
Enhanced Starting Track Real-time Stream for IceCube
2023 International Cosmic Ray Conference conference-paper Physics and Astronomy Astrophysics and Cosmic Phenomena Open access

Jesse Osborn, M. Ackermann, Jenni Adams, Sanjib Kumar Agarwalla, Juanan Aguilar, M. Ahlers, +93 more

1

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
Bayesian active learning for parameter calibration of landslide run-out models
2022 Landslides article Environmental Science Landslides and related hazards Open access

Hu Zhao, Julia Kowalski

20

citations
Efficient probabilistic parameter calibration of landslide run-out models via Bayesian active learning
2022 conference-abstract Environmental Science Landslides and related hazards Open access

Hu Zhao, Julia Kowalski

0

citations
Emulator-based global sensitivity analysis for flow-like landslide run-out models
2021 Landslides article Environmental Science Landslides and related hazards Open access

Hu Zhao, Florian Amann, Julia Kowalski

16

citations
An Evaluation of Massively Parallel Algorithms for DFA Minimization
2024 Electronic Proceedings in Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Jan Martens, Anton Wijs

0

citations
The exponential growth of infinitesimal perturbations in the long-term evolution of simulated galaxies
2026 arXiv (Cornell University) preprint Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

T. Asano, Simon Portegies Zwart

0

citations
The exponential growth of infinitesimal perturbations in the long-term evolution of simulated galaxies
2026 Astronomy and Astrophysics article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

T. Asano, Simon Portegies Zwart

0

citations