Refine Results
Years
  1. 2018 (37)
Publications
  1. SoCG: Symposium on Computational Geometry (6)
  2. CAV: Computer Aided Verification (4)
  3. 29th Annual ACM SIAM Symposium on Discrete Algorithms SODA 2018 (2)
  4. Eurocrypt: Advances in Cryptology (2)
  5. FORMATS: Formal Modeling and Analysis of Timed Systems (2)

More Publications

Affiliation
  1. IST Austria (36)
Peer reviewed
  1. yes (36)
  2. no (1)
Invited
  1. no (36)
  2. yes (1)

Results (37)

  • Monitoring temporal logic with clock variables
    Conference paper
  • Parameter-independent strategies for pMDPs via POMDPs
    Conference paper
  • Inverted leftover hash lemma
    Conference paper
  • Layered Concurrent Programs
    Conference paper