Sebastian K\"upper

Identifiers

No identifiers captured yet.

Papers (4)

1. PAWS: A Tool for the Analysis of Weighted Systems cs.FL · 2017 · author #2
2. Conditional Transition Systems with Upgrades cs.SE · 2017 · author #3
3. On path-based coalgebras and weak notions of bisimulation cs.LO · 2017 · author #2
4. Up-To Techniques for Weighted Systems (Extended Version) cs.FL · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Barbara K\"onig 3 shared papers
• Harsh Beohar 2 shared papers
• Alexandra Silva 1 shared papers
• Christina Mika 1 shared papers
• Filippo Bonchi 1 shared papers