Refine Results
Years
  1. 2011 (26)
Affiliation
  1. IST Austria (26)
Peer reviewed
  1. no (17)
  2. yes (9)
Invited
  1. no (26)

Results (26)

  • 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