Results (16)

  • Commutativity in the algorithmic Lovasz local lemma
    Conference paper
  • The complexity of general-valued CSPs
    Conference paper
  • Leakage resilient cryptography
    Conference paper
  • Intrusion resilient secret sharing
    Conference paper
  • Inferring local homology from sampled stratified spaces
    Conference paper
  • On a geometric generalization of the Upper Bound Theorem
    Conference paper
  • Topological persistance and simplification
    Conference paper
  • Concurrent reachability games
    Conference paper
  • Alternating-time temporal logic
    Conference paper
  • Algebraic decomposition of non-convex polyhedra
    Conference paper