Refine Results
People
  1. Krishnendu Chatterjee (24)
  2. Calin Guet (14)
  3. Christoph Lampert (14)
  4. Thomas Henzinger (14)
  5. Andreas Pavlogiannis (13)

More People

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

More Publications

Affiliation
  1. IST Austria (198)
Peer reviewed
  1. yes (200)
Invited
  1. no (198)
  2. yes (2)

Results (200)

  • Space-time interpolants
    Conference paper