pith. sign in

Peter Thiemann

Identifiers

  • name variant Peter Thiemann 0.60 · backfill

Papers (18)

  1. Partial Orders for Precise and Efficient Dynamic Deadlock Prediction cs.PL · 2025 · author #3
  2. LTL Semantic Tableaux and Alternating $\omega$-automata via Linear Factors cs.FL · 2017 · author #2
  3. A Computational Interpretation of Context-Free Expressions cs.FL · 2017 · author #2
  4. Static Contract Simplification cs.PL · 2017 · author #2
  5. Transaction-based Sandboxing for JavaScript cs.PL · 2016 · author #2
  6. Partial Derivatives for Context-Free Languages: From $\mu$-Regular Expressions to Pushdown Automata cs.FL · 2016 · author #1
  7. Static Trace-Based Deadlock Analysis for Synchronous Mini-Go cs.PL · 2016 · author #3
  8. Derivatives for Enhanced Regular Expressions cs.FL · 2016 · author #1
  9. Forkable Regular Expressions cs.FL · 2015 · author #2
  10. Combining behavioural types with security analysis cs.PL · 2015 · author #8
  11. TreatJS: Higher-Order Contracts for JavaScript cs.PL · 2015 · author #2
  12. Transparent Object Proxies for JavaScript cs.PL · 2015 · author #5
  13. A Falsification View of Success Typing cs.PL · 2015 · author #2
  14. Symbolic Solving of Extended Regular Expression Inequalities cs.FL · 2014 · author #2
  15. On the Proxy Identity Crisis cs.PL · 2013 · author #2
  16. Efficient Dynamic Access Analysis Using JavaScript Proxies cs.PL · 2013 · author #2
  17. Towards Tree Automata-based Success Types cs.PL · 2013 · author #2
  18. Type-based Dependency Analysis for JavaScript cs.PL · 2013 · author #2

Mentions

  • 1410.3227 #2 · backfill · confidence 0.70 Peter Thiemann
  • 1312.5429 #2 · backfill · confidence 0.70 Peter Thiemann
  • 1312.3184 #2 · backfill · confidence 0.70 Peter Thiemann
  • 1306.5061 #2 · backfill · confidence 0.70 Peter Thiemann
  • 1305.6721 #2 · backfill · confidence 0.70 Peter Thiemann

Frequent Coauthors