Refine Results
Publications
  1. Information and Computation (8)
  2. Theoretical Computer Science (7)
  3. Logical Methods in Computer Science (6)
  4. ACM Transactions on Computational Logic (TOCL) (5)
  5. Formal Methods in System Design (4)

More Publications

Affiliation
  1. IST Austria (70)
Peer reviewed
  1. yes (71)
  2. no (9)
Invited
  1. no (80)

Results (80)