David N. Jansen

Identifiers

• name variant David N. Jansen 0.60 · backfill

Papers (4)

1. Finding polynomial loop invariants for probabilistic programs cs.LO · 2017 · author #3
2. Distribution-based bisimulation for labelled Markov processes cs.LO · 2017 · author #2
3. Stuttering equivalence is too slow! cs.LO · 2016 · author #1
4. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations cs.LO · 2008 · author #4

Mentions

• 0808.3651 #4 · backfill · confidence 0.70 David N. Jansen

Frequent Coauthors

• Lijun Zhang 3 shared papers
• Bican Xia 1 shared papers
• Friedrich Eisenbrand 1 shared papers
• Holger Hermanns 1 shared papers
• Jeroen J.A. Keiren 1 shared papers
• Naijun Zhan 1 shared papers
• Pengfei Yang 1 shared papers
• Yijun Feng 1 shared papers