14. STACS 1997: Lübeck, Germany
: Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes.
Specification and Verification
Luca de Alfaro
: Temporal Logics for the Specification of Performance and Reliability.
: On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams.
: Regular Expressions and Context-Free Grammars for Picture Languages.
Parallel and Distributed Systems I
Parallel and Distributed Systems II
: Finding the k Shortest Paths in Parallel.
: Sequential and Parallel Algorithms on Compactly Represented Chordal and Strongly Chordal Graphs.
Structural Complexity III
: Pattern Matching in Trace Monoids (Extended Abstract).