Refine Results
People
  1. Krishnendu Chatterjee (166)
  2. Thomas Henzinger (140)
  3. Jiří Friml (85)
  4. Nicholas Barton (63)
  5. Herbert Edelsbrunner (51)

More People

Publications
  1. IST Dissertation (38)
  2. PNAS (27)
  3. CAV: Computer Aided Verification (24)
  4. PLoS One (24)
  5. Nature Communications (23)

More Publications

Publishers
  1. Springer (340)
  2. Elsevier (116)
  3. ACM (101)
  4. Nature Publishing Group (83)
  5. IEEE (72)

More Publishers

Affiliation
  1. IST Austria (1471)
Peer reviewed
  1. yes (1175)
  2. no (296)

Results (1471)