Refine Results
People
  1. Thomas Henzinger (277)
  2. Krishnendu Chatterjee (153)
  3. Herbert Edelsbrunner (65)
  4. Christoph Lampert (61)
  5. Krzysztof Pietrzak (61)

More People

Publications
  1. CAV: Computer Aided Verification (52)
  2. CONCUR: Concurrency Theory (36)
  3. CVPR: Computer Vision and Pattern Recognition (29)
  4. ICALP: Automata, Languages and Programming (27)
  5. LICS: Logic in Computer Science (24)

More Publications

Affiliation
  1. IST Austria (426)
Peer reviewed
  1. no (590)
  2. yes (297)
Invited
  1. no (879)
  2. yes (8)

Results (887)

  • Probabilistic Image Colorization
    Conference paper
  • A message passing algorithm for the minimum cost multicut problem
    Conference paper
  • Multi-Task Learning with Labeled and Unlabeled Tasks
    Conference paper
  • Timed Network Games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Transport based image morphing with intensity modulation
    Conference paper