Refine Results
People
  1. Krishnendu Chatterjee (180)
  2. Thomas Henzinger (144)
  3. Jiří Friml (83)
  4. Nicholas Barton (62)
  5. Herbert Edelsbrunner (52)

More People

Publications
  1. IST Dissertation (39)
  2. PNAS (34)
  3. Nature Communications (28)
  4. CAV: Computer Aided Verification (27)
  5. PLoS One (25)

More Publications

Publishers
  1. Springer (374)
  2. Elsevier (130)
  3. ACM (103)
  4. Nature Publishing Group (92)
  5. IEEE (75)

More Publishers

Affiliation
  1. IST Austria (1645)
Peer reviewed
  1. yes (1334)
  2. no (311)

Results (1645)