A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “flow graphs”
2
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
Competitive variants of discrete and continuous flows over time
2020
RWTH Publications (RWTH Aachen)
dissertation
Decision Sciences
Game Theory and Applications
Open access
Laura Vargas Koch
1
citations
2 results