From

Institution

Field

Type

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

Reset

Papers matching “expected running time” 24

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
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
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
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
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
Error Mitigation and Circuit Division for Early Fault-Tolerant Quantum Phase Estimation
2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Alicja Dutkiewicz, Stefano Polla, Maximilian Scheurer, Christian Gogolin, William J. Huggins, Thomas E. O’Brien

4

citations
The smoothed number of Pareto-optimal solutions in bicriteria integer optimization
2022 Mathematical Programming article Computer Science Complexity and Algorithms in Graphs Open access

René Beier, Heiko Röglin, Clemens Rösner, Berthold Vöcking

2

citations
Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP
2023 Warwick Research Archive Portal (University of Warwick) article Computer Science Complexity and Algorithms in Graphs Open access

Matthias Englert, Heiko Röglin, Berthold Vöcking

33

citations
Advanced statistical analysis of empirical performance scaling
2020 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Parallel Computing and Optimization Techniques

Yasha Pushak, Holger H. Hoos

2

citations
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Heemstra, Jan Martens, Anton Wijs

0

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
Hybrid quantum ResNet for car classification and its hyperparameter optimization
2023 Quantum Machine Intelligence article Computer Science Quantum Computing Algorithms and Architecture Open access

Asel Sagingalieva, Mohammad Kordzanganeh, Andrii Kurkin, Artem Melnikov, Daniil Kuhmistrov, Michael Romanovich Perelshtein, +2 more

42

citations
The QUATRO Application Suite: Quantum Computing for Models of Human Cognition
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Raghavendra Pradyumna Pothukuchi, Leon Lufkin, Yu Jun Shen, Alejandro Simon, Rome Thorstenson, Bernardo Eilert Trevisan, +8 more

2

citations

24 results