Refine Results
People
  1. Krishnendu Chatterjee (19)
  2. Christoph Lampert (15)
  3. Andreas Pavlogiannis (11)
  4. Thomas Henzinger (11)
  5. Przemysław Daca (9)

More People

Publications
  1. CAV: Computer Aided Verification (6)
  2. Nature Communications (5)
  3. Current Biology (4)
  4. eLife (4)
  5. CVPR: Computer Vision and Pattern Recognition (3)

More Publications

Affiliation
  1. IST Austria (147)
Peer reviewed
  1. yes (150)
Invited
  1. no (149)
  2. yes (1)

Results (150)