From

Institution

Field

Type

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

Reset

Papers matching “values” 14

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
Use the force: how force touch improves input on handheld touchscreens
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Interactive and Immersive Displays Open access

Christian Corsten

1

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
Mixture distributions as exponential families
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Bayesian Methods and Mixture Models Open access

Zhe Su

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
Identifizierung von Applikationen für paradigmenverändernde Technologien unter Betrachtung des Quantencomputing
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Quantum Computing Algorithms and Architecture Open access

Frederik Bennemann

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
Validation of room acoustic simulation models
2020 dissertation Computer Science Speech and Audio Processing Open access

Lukas Aspöck

9

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
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
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
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
Reference picture padding methods for hybrid video coding
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Video Coding and Compression Technologies Open access

Nicolas Neumann

0

citations

14 results