Refine Results
People
  1. Thomas Henzinger (323)
  2. Ryuichi Shigemoto (218)
  3. Herbert Edelsbrunner (208)
  4. Nicholas Barton (172)
  5. Jiří Friml (152)

More People

Publications
  1. IST Dissertation (56)
  2. Journal of Neuroscience (48)
  3. Development (44)
  4. CAV: Computer Aided Verification (38)
  5. Discrete & Computational Geometry (35)

More Publications

Publishers
  1. Springer (506)
  2. Elsevier (209)
  3. ACM (132)
  4. IEEE (128)
  5. Wiley-Blackwell (119)

More Publishers

Affiliation
  1. IST Austria (355)
Peer reviewed
  1. no (2163)

Results (2163)