Refine Results
People
  1. Krishnendu Chatterjee (16)
  2. Andreas Pavlogiannis (13)
  3. Przemysław Daca (10)
  4. Michal Rolinek (8)
  5. Thomas Henzinger (8)

More People

Publications
  1. CAV: Computer Aided Verification (4)
  2. NIPS: Neural Information Processing Systems (3)
  3. ACM SIGPLAN Notices (2)
  4. Current Biology (2)
  5. Developmental Cell (2)

More Publications

Affiliation
  1. IST Austria (56)
Peer reviewed
  1. yes (56)
Invited
  1. no (56)