Refine Results
Years
  1. 2005 (123)
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 (25)
Invited
  1. no (123)

Results (123)

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