Refine Results
People
  1. Thomas Henzinger (185)
  2. Krishnendu Chatterjee (107)
  3. Herbert Edelsbrunner (92)
  4. Krzysztof Pietrzak (70)
  5. Robert Seiringer (55)

More People

Publications
  1. CAV: Computer Aided Verification (59)
  2. Discrete & Computational Geometry (55)
  3. Communications in Mathematical Physics (39)
  4. ICALP: Automata, Languages and Programming (30)
  5. HSCC: Hybrid Systems - Computation and Control (20)

More Publications

Affiliation
  1. IST Austria (415)
Peer reviewed
  1. no (506)
  2. yes (360)
Invited
  1. no (859)
  2. yes (7)

Results (866)

  • Numerical Software Verification
    Edited conference proceeding
  • Graphical model parameter learning by inverse linear programming
    Conference paper
  • A novel convex relaxation for non binary discrete tomography
    Conference paper