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

More Publications

Affiliation
  1. IST Austria (45)
Peer reviewed
  1. yes (50)
  2. no (40)
Invited
  1. no (88)
  2. yes (2)

Results (90)