A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “validation practices” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
Interaction-based integration testing of component-based software systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Software Testing and Debugging Techniques Open access

Nils Wild

0

citations
Artificial Intelligence for Diagnostic Support in Neuropathology
2026 Qucosa (Saxon State and University Library Dresden) dissertation Computer Science AI in cancer detection Open access

Katherine J. Hewitt

0

citations
Nicht-parametrische Schätzung von Kundensegmenten mit Paneldaten
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Bayesian Methods and Mixture Models Open access

Johannes Ferdinand Jörg

1

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

Sebastian Junges

27

citations

6 results