Browse by Author

Authors (A-Z) Zălinescu, Eugen

3 Results for Zălinescu, Eugen

Subscribe to RSS feed for this result set

1. A Trace-based Model for Multiparty Contracts

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


Journal Items

2. Monitoring usage-control policies in distributed systems

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


Reports

3. Shorter strings containing all k-element permutations

Zălinescu, Eugen (2012)


Journal Items