Refine Results
Years
  1. 2009 (188)
Publications
  1. CAV: Computer Aided Verification (5)
  2. Cell (5)
  3. Physical Review Letters (5)
  4. CVPR: Computer Vision and Pattern Recognition (4)
  5. ICCV: International Conference on Computer Vision (4)

More Publications

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

More Publishers

Affiliation
  1. IST Austria (17)
Peer reviewed
  1. no (133)
  2. yes (55)
Invited
  1. no (187)
  2. yes (1)

Results (188)

  • Synthesizing robust systems
    Conference paper