1. A Trace-based Model for Multiparty Contracts

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

Zeitschriftenbeiträge

2. Monitoring usage-control policies in distributed systems

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

Reports

3. Shorter strings containing all k-element permutations

Zălinescu, Eugen (2012)

Zeitschriftenbeiträge