From

Institution

Field

Type

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

Reset

Papers matching “partial correctness” 8

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
Bewertung von Netz- und Umrichterfehlern bei der Auslegung von Getrieben für Windenergieanlagen
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Gear and Bearing Dynamics Analysis Open access

Julian Röder

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
Low-overhead fault tolerance for safety-critical neural network applications
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Radiation Effects in Electronics Open access

Christoph Schorn

0

citations
Direct numerical simulation and modeling of carbon monoxide in turbulent premixed combustion with flame-wall interaction
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Combustion and flame dynamics Open access

Kai Niemietz

0

citations
Accelerating fundamental components of a quantum chemical multilevel workflow by means of GPU offloading
2026 RWTH Publications (RWTH Aachen) dissertation Physics and Astronomy Advanced Chemical Physics Studies Open access

Pit Steinbach

0

citations
Stochastic and deterministic algorithms for set-based data-driven computational mechanics
2026 RWTH Publications (RWTH Aachen) dissertation Physics and Astronomy Model Reduction and Neural Networks Open access

E. Prume

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

8 results