Refine Results
People
  1. Krishnendu Chatterjee (200)
  2. Thomas Henzinger (149)
  3. Jiří Friml (98)
  4. Nicholas Barton (72)
  5. Herbert Edelsbrunner (56)

More People

Publications
  1. IST Dissertation (43)
  2. PNAS (40)
  3. Nature Communications (31)
  4. PLoS One (28)
  5. CAV: Computer Aided Verification (27)

More Publications

Publishers
  1. Springer (396)
  2. Elsevier (154)
  3. ACM (117)
  4. Nature Publishing Group (108)
  5. Wiley-Blackwell (88)

More Publishers

Affiliation
  1. IST Austria (1888)
Peer reviewed
  1. yes (1561)
  2. no (327)

Results (1888)