Refine Results
Publications
  1. Nature Communications (4)
  2. eLife (4)
  3. PLoS Genetics (3)
  4. Science (3)
  5. CAV: Computer Aided Verification (2)

More Publications

Affiliation
  1. IST Austria (48)
Peer reviewed
  1. yes (50)
  2. no (15)
Invited
  1. no (65)

Results (65)