Löbel, Raphaela
Linear Tree Transducers
2020
Dissertation
120 p.

Müller, Alexander Christian
Proving Noninterference in Multi-Agent Systems
2020
Dissertation
175 p.