Refine Results
People
  1. Thomas Henzinger (288)
  2. Krishnendu Chatterjee (174)
  3. Krzysztof Pietrzak (70)
  4. Herbert Edelsbrunner (68)
  5. Christoph Lampert (61)

More People

Publications
  1. CAV: Computer Aided Verification (58)
  2. CONCUR: Concurrency Theory (38)
  3. ICALP: Automata, Languages and Programming (30)
  4. CVPR: Computer Vision and Pattern Recognition (29)
  5. LICS: Logic in Computer Science (27)

More Publications

Publishers
  1. Springer (442)
  2. ACM (167)
  3. IEEE (165)
  4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (70)
  5. World Scientific Publishing (19)

More Publishers

Affiliation
  1. IST Austria (517)
Peer reviewed
  1. no (590)
  2. yes (433)
Invited
  1. no (1014)
  2. yes (9)

Results (1023)

  • CurveUps: Shaping objects from flat plates with tension-actuated curvature
    Conference paper
  • A novel convex relaxation for non binary discrete tomography
    Conference paper
  • Functionality-aware retargeting of mechanisms to 3D shapes
    Conference paper
  • JTDec: A tool for tree decompositions in soot
    Conference paper