Refine Results
Years
  1. 2002 (96)
Publications
  1. Genetics (4)
  2. CAV: Computer Aided Verification (3)
  3. Cerebral Cortex (3)
  4. Current Biology (3)
  5. EMSOFT: Embedded Software (3)

More Publications

Peer reviewed
  1. no (80)
  2. yes (16)
Invited
  1. no (96)

Results (96)