Refine Results
Publications
  1. CAV: Computer Aided Verification (16)
  2. LICS: Logic in Computer Science (12)
  3. Information and Computation (8)
  4. ACM Transactions on Computational Logic (TOCL) (5)
  5. CoRR: Computing Research Repository (4)

More Publications

Affiliation
  1. IST Austria (132)
Peer reviewed
  1. yes (84)
  2. no (52)
Invited
  1. no (136)

Results (136)