From

Institution

Field

Type

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

Reset

Papers matching “formal proof” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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 Formal Methods in Verification Open access

Jonas Seidel

0

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Marcel Hark

1

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, Reasoning, and Knowledge Open access

Ira Fesefeldt

0

citations
Eine Klasse von Gradientenflüssen von Differentialformen in negativen homogenen Sobolevräumen
2021 RWTH Publications (RWTH Aachen) dissertation Mathematics Nonlinear Partial Differential Equations Open access

Marco Doemeland

0

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Jonas Broeckmann

0

citations
A transformation between object-centric causal nets and object-centric Petri nets
2025 RWTH Publications (RWTH Aachen) dissertation Business, Management and Accounting Business Process Modeling and Analysis Open access

Ole Kuhlmann

0

citations
Investigations on neural networks, discriminative training criteria and error bounds
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Neural Networks and Applications Open access

Markus Nußbaum-Thom

0

citations
Development of a method to extend the safety analyses for the operational phase of Deep Geological Repositories based on probabilistics and with the use of FEP
2020 RWTH Publications (RWTH Aachen) dissertation Decision Sciences Risk and Safety Analysis Open access

Stephan Uhlmann

0

citations

9 results