From

Institution

Field

Type

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

Reset

Papers matching “decision problems” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Computational complexity of graph orientation, bilevel and robust optimization problems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Komal Muluk

0

citations
Semi online problems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Optimization and Search Problems Open access

Matthias Gehnen

0

citations
Robust optimization and variants of the scheduling problem
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

Jenny Segschneider

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Investigations on neural networks, discriminative training criteria and error bounds
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Speech Recognition and Synthesis Open access

Markus Nußbaum-Thom

0

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
Probabilistic hyperlogics: extensions and efficient model checking
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Carolina Gerlach

0

citations
Efficient person detection with LiDAR sensors for mobile robots
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Dan Ping Jia

0

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations

9 results