1. Alternation Elimination for Automata over Nested Words

Dax, Christian Nikolaus und Klaedtke, Felix (2011)

Reports

2. A Trace-based Model for Multiparty Contracts

Hvitved, Tom, Klaedtke, Felix und Zălinescu, Eugen (2012)

Zeitschriftenbeiträge

3. Monitoring usage-control policies in distributed systems

Harvan, Matúš, Klaedtke, Felix, Zălinescu, Eugen und Basin, David A. (2011)

Reports