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

More Publications

Affiliation
  1. IST Austria (57)
Peer reviewed
  1. yes (59)
  2. no (41)
Invited
  1. no (98)
  2. yes (2)

Results (100)