From

Institution

Field

Type

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

Reset

Papers matching “decision problems” 195

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Motivational design of an e-learning application for managers in healthcare
2022 AHFE international conference-paper Computer Science Educational Technology and E-Learning Open access

Marisa Schirmer, Mareike Sorge, Christina Mayer, Wiebke Stöver, Verena Nitsch, Susanne Mütze Niewöhner

2

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

1

citations
Data Standards and Interoperability Challenges for Biodiversity Digital Twin: A novel and transformative approach to biodiversity research and application
2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Sharif Islam, Hanna Koivula, Dag Endresen, Erik Kusch, Dmitry Schigel, Wouter Addink

1

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
Delaying Decisions and Reservation Costs
2023 Lecture notes in computer science conference-paper Computer Science Optimization and Search Problems Open access

Elisabet Burjons, Fabian Frei, Matthias Gehnen, Henri Lotze, Daniel Mock, Peter Rossmanith

1

citations
The revised practitioner’s guide to MDP model checking algorithms
2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
Finite-Time Analysis of Natural Actor-Critic for POMDPs
2022 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Niao He, R. Srikant

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
Conditional Density Estimation with Histogram Trees
2024 arXiv (Cornell University) preprint Computer Science Data Mining Algorithms and Applications Open access

Lincen Yang, Matthijs van Leeuwen

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
Synthetic Simulated Environment for Discrete Manufacturing Systems: A Demonstrator Through a Computational Modeling Approach
2024 Winter Simulation Conference conference-paper Computer Science Petri Nets in System Modeling

Silvan Marti, Paulo Victor Lopes, Siyuan Chen, Mohan Rajashekarappa, Elham Rekabi Bana, Amon Göppert, +3 more

0

citations
Tractable Hyperproperties for MDPs
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Fine-grained Complexity Analysis of Two Classic TSP Variants
2020 ACM Transactions on Algorithms article Computer Science Complexity and Algorithms in Graphs Open access

Mark de Berg, Kevin Buchin, Bart M. P. Jansen, Gerhard J. Woeginger

17

citations
Design thinking and creativity of colocated versus globally distributed software developers
2021 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Engineering Techniques and Practices Open access

Rodi Jolak, Andreas Wortmann, Grischa Liebel, Eric Umuhoza, Michel R. V. Chaudron

6

citations
Design thinking and creativity of colocated versus globally distributed software developers
2021 Journal of Software Evolution and Process article Computer Science Software Engineering Techniques and Practices Open access

3

citations
Optimal, Qubit-Efficient Quantum Vehicle Routing via Colored-Permutations
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Kristel F. L. Michielsen

0

citations
Optimal, Qubit-Efficient Quantum Vehicle Routing via Colored-Permutations
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Kristel F. L. Michielsen

0

citations
The Complexity of Graph Exploration Games
2023 arXiv (Cornell University) preprint Computer Science Optimization and Search Problems Open access

Janosch Fuchs, Christoph Grüne, Tom Janßen

1

citations
Online Simple Knapsack with Reservation Costs
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Optimization and Search Problems Open access

Hans-Joachim Böckenhauer, Elisabet Burjons, Juraj Hromkovic̆, Henri Lotze, Peter Rossmanith

4

citations
Explainable AI for Bioinformatics: Methods, Tools and Applications
2023 Briefings in Bioinformatics article Computer Science Explainable Artificial Intelligence (XAI) Open access

Md. Rezaul Karim, Tanhim Islam, Md Shajalal, Oya Beyan, Christoph Lange, Michael Cochez, +2 more

199

citations
On the Behavior of the Mixed-Integer SMS-EMOA on Box-Constrained Quadratic Bi-Objective Models
2023 conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Ofer M. Shir, Michael Emmerich

2

citations
Structure-exploiting uncertainty quantification and control : Bayesian inference and Itô SDE methods from MRI segmentation to autonomous sensing
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Medical Image Segmentation Techniques Open access

Felix Terhag

0

citations
Editorial
2023 Computational Intelligence editorial Computer Science Robotic Path Planning Algorithms

Meng Joo Er, Zhaojie Ju, Alexander Ferrein

0

citations
Scale-preserving automatic concept extraction (SPACE)
2023 Machine Learning article Computer Science Explainable Artificial Intelligence (XAI) Open access

Andrés Felipe Posada-Moreno, Lukas Kreisköther, Tassilo Glander, Sebastian Trimpe

1

citations
An Evolution Strategy With Adaptive Fitness Sharing for Multimodal Multiobjective Optimization
2025 IEEE Transactions on Evolutionary Computation article Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Ali Ahrari, Ruhul Amin Sarker, Mike Preuß

1

citations