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

Results (124)

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