Refine Results
Years
  1. 2009 (189)
Publications
  1. CAV: Computer Aided Verification (5)
  2. Cell (5)
  3. CVPR: Computer Vision and Pattern Recognition (4)
  4. ICCV: International Conference on Computer Vision (4)
  5. Mechanisms of Development (4)

More Publications

Publishers
  1. Springer (40)
  2. Elsevier (16)
  3. IEEE (13)
  4. Cell Press (11)
  5. American Physical Society (10)

More Publishers

Affiliation
  1. IST Austria (17)
Peer reviewed
  1. no (133)
  2. yes (56)
Invited
  1. no (188)
  2. yes (1)

Results (189)

  • Synthesizing robust systems
    Conference paper