Refine Results
People
  1. Thomas Henzinger (173)
  2. Krishnendu Chatterjee (95)
  3. Herbert Edelsbrunner (92)
  4. Krzysztof Pietrzak (64)
  5. Robert Seiringer (51)

More People

Publications
  1. Discrete & Computational Geometry (54)
  2. CAV: Computer Aided Verification (53)
  3. Communications in Mathematical Physics (37)
  4. ICALP: Automata, Languages and Programming (30)
  5. HSCC: Hybrid Systems - Computation and Control (20)

More Publications

Affiliation
  1. IST Austria (340)
Peer reviewed
  1. no (498)
  2. yes (278)
Invited
  1. no (770)
  2. yes (6)

Results (776)

  • Transport based image morphing with intensity modulation
    Conference paper