Steffen Smolka

Identifiers

• name variant Steffen Smolka 0.60 · backfill

Papers (4)

1. Scalable Verification of Probabilistic Networks cs.PL · 2019 · author #1
2. Probabilistic Program Equivalence for NetKAT cs.PL · 2017 · author #1
3. Cantor meets Scott: Semantic Foundations for Probabilistic Networks cs.PL · 2016 · author #1
4. A Fast Compiler for NetKAT cs.PL · 2015 · author #1

Mentions

• 1506.06378 #1 · backfill · confidence 0.70 Steffen Smolka

Frequent Coauthors

• Nate Foster 4 shared papers
• Alexandra Silva 3 shared papers
• Dexter Kozen 3 shared papers
• Praveen Kumar 3 shared papers
• Justin Hsu 2 shared papers
• Arjun Guha 1 shared papers
• David Kahn 1 shared papers
• David M Kahn 1 shared papers
• Spiridon Eliopoulos 1 shared papers