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

More People

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

More Publications

Affiliation
  1. IST Austria (140)
Peer reviewed
  1. yes (125)
  2. no (18)
Invited
  1. no (141)
  2. yes (2)

Results (143)

  • Probabilistic Image Colorization
    Conference paper
  • Multi-Task Learning with Labeled and Unlabeled Tasks
    Conference paper