Refine Results
People
  1. Thomas Henzinger (171)
  2. Herbert Edelsbrunner (92)
  3. Krishnendu Chatterjee (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 (27)
  5. HSCC: Hybrid Systems - Computation and Control (20)

More Publications

Peer reviewed
  1. no (495)
  2. yes (269)
Invited
  1. no (759)
  2. yes (5)

Results (764)

  • Transport based image morphing with intensity modulation
    Conference paper