Refine Results
Publications
  1. CAV: Computer Aided Verification (15)
  2. LICS: Logic in Computer Science (13)
  3. CONCUR: Concurrency Theory (10)
  4. Information and Computation (7)
  5. HSCC: Hybrid Systems - Computation and Control (6)

More Publications

Affiliation
  1. IST Austria (200)
Peer reviewed
  1. yes (132)
  2. no (68)
Invited
  1. no (198)
  2. yes (2)

Results (200)

  • JTDec: A Tool for Tree Decompositions in Soot
    Conference paper