Refine Results
People
  1. Krishnendu Chatterjee (43)
  2. Thomas Henzinger (37)
  3. Carl-Philipp Heisenberg (24)
  4. Martin Chmelik (23)
  5. Damien Zufferey (17)

More People

Publications
  1. IST Dissertation (32)
  2. CAV: Computer Aided Verification (12)
  3. Nature Cell Biology (5)
  4. POPL: Principles of Programming Languages (4)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (4)

More Publications

Affiliation
  1. IST Austria (192)
Peer reviewed
  1. yes (140)
  2. no (60)
Invited
  1. no (200)

Results (200)

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