Refine Results
Years
  1. 2007 (152)
Publications
  1. Current Biology (5)
  2. Journal of Neuroscience (5)
  3. CAV: Computer Aided Verification (4)
  4. Genome Research (3)
  5. Plant Cell (3)

More Publications

Peer reviewed
  1. no (122)
  2. yes (30)
Invited
  1. no (151)
  2. yes (1)

Results (152)

  • Applications of parametric maxflow in computer vision
    Conference paper
  • Stochastic Müller games are PSPACE-complete
    Conference paper