From

Institution

Field

Type

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

Reset

Papers matching “data value” 11

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Efficiency and scalability exploration of an application-specific instruction-set processor for deep convolutional neural networks
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Andreas Bytyn

0

citations
Translationale Modellierung der Wirksamkeit von Medikamenten in Krebspatienten
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Computational Drug Discovery Methods Open access

Lisa-Katrin Schätzle

0

citations
Validation of room acoustic simulation models
2020 dissertation Computer Science Speech and Audio Processing Open access

Lukas Aspöck

9

citations
Mixture distributions as exponential families
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Bayesian Methods and Mixture Models Open access

Zhe Su

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
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

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
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

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

11 results