A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “study programs” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

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
Precedence constraints in combinatorial optimization
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Corinna Mathwieser

0

citations
Genuine videobased E-learning in Teacher education: media didactic modalities of working with Learning Management Systems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Educational Technology and E-Learning Open access

Jan Mühlhausen

0

citations

5 results