Topic Student Info
Alternating Weighted Automata Gustav Grabolle A3
Combinatory Categorial Grammars Lena Schiffer S3
Compositionality in Probabilistic Model Checking Linda Herrmann A1
Computing Preferred Models in Description Logics Willi Hieke S3
Explications for Probabilistic Model Checking Simon Jantsch A3
Knowledge Representation Formalisms under Non-Standard Semantics — Computational Properties and Practical Reasoning Lukas Schweizer A2
Model-theoretic Characteristics of Decidable Knowledge Representation Thomas Feller A3
Polynomial Time Combinations of Decision Procedures for Constraint Satisfaction Problems Johannes Greiner A2
Stream Reasoning using Temporalized Description Logics Christian Alrabbaa A3
Valued Constraint Satisfaction Problems over Infinite Domains Simon Knäuer S3
Verification of Counter Automata Danny Richter A3
Weight Accumulation and Probabilistic Model Checking Sascha Wunderlich S1
Weighted Tree Substitution Kevin Stier A3


Info Legend:

A - Originally Associated
S - Originally Scholarship Holder
1 - First Generation
2 - Second Generation
3 - Third Generation