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 “control flow complexity”
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
Fehlerquellen beim fachspezifischen Lesen im Informatikunterricht: Analyse von Schwierigkeiten von Schüler:innen beim Lesen und Interpretieren grafischer Darstellungen von Algorithmen am Beispiel von ikonischen Darstellungen und Programmablaufplänen
2026
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Teaching and Learning Programming
Open access
Jacqueline Anthes
0
citations
2 results