Refine Results
Publications
  1. CONCUR: Concurrency Theory (8)
  2. CSL: Computer Science Logic (6)
  3. FSTTCS: Foundations of Software Technology and Theoretical Computer Science (4)
  4. HSCC: Hybrid Systems - Computation and Control (4)
  5. QEST: Quantitative Evaluation of Systems (4)

More Publications

Affiliation
  1. IST Austria (46)
Open access
  1. no (103)
Peer reviewed
  1. no (73)
  2. yes (30)
Invited
  1. no (101)
  2. yes (2)

Results (103)

  • Quantitative analysis of smart contracts
    Conference paper