Refine Results
Years
  1. 2011 (28)
Publications
  1. CoRR: Computing Research Repository (2)
  2. SIES: International Symposium on Industrial Embedded Systems (1)
  3. ACM Transactions on Computational Logic (TOCL) (1)
  4. ACM Transactions on Programming Languages and Systems (TOPLAS) (1)
  5. APLAS: Asian Symposium on Programming Languages and Systems (1)

More Publications

Affiliation
  1. IST Austria (28)
Peer reviewed
  1. no (20)
  2. yes (8)
Invited
  1. no (25)
  2. yes (3)

Results (28)

  • What’s decidable about weighted automata
    Conference paper
  • Quantitative evaluation of BFT protocols
    Conference paper
  • QUASY: quantitative synthesis tool
    Conference paper
  • Determinizing discounted-sum automata
    Conference paper