Refine Results
People
  1. Thomas Henzinger (398)
  2. Herbert Edelsbrunner (268)
  3. Nicholas Barton (241)
  4. Jiří Friml (237)
  5. Krishnendu Chatterjee (228)

More People

Publications
  1. PNAS (76)
  2. Physical Review Letters (70)
  3. Journal of Neuroscience (62)
  4. Nature (60)
  5. Development (56)

More Publications

Publishers
  1. Springer (764)
  2. Elsevier (377)
  3. Nature Publishing Group (211)
  4. Wiley-Blackwell (206)
  5. ACM (199)

More Publishers

Peer reviewed
  1. no (2104)
  2. yes (1658)

Results (3762)

  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Transport based image morphing with intensity modulation
    Conference paper