Refine Results
Years
  1. 2005 (117)
Publications
  1. Journal of Neuroscience (6)
  2. Physical Review Letters (4)
  3. CRYPTO: International Cryptology Conference (3)
  4. CVPR: Computer Vision and Pattern Recognition (3)
  5. Development (3)

More Publications

Peer reviewed
  1. no (98)
  2. yes (19)
Invited
  1. no (117)

Results (117)

  • Automatic rectangular refinement of affine hybrid systems
    Conference paper
  • Quantifying similarities between timed systems
    Conference paper
  • Semiperfect-information games
    Conference paper