Refine Results
People
  1. Jiří Friml (21)
  2. Krishnendu Chatterjee (20)
  3. Thomas Henzinger (16)
  4. Michael Sixt (12)
  5. Nicholas Barton (12)

More People

Years
  1. 2016 (347)
Publications
  1. IST Dissertation (13)
  2. Scientific Reports (9)
  3. Nature Communications (8)
  4. Genetics (5)
  5. Nature (5)

More Publications

Publishers
  1. Springer (66)
  2. Nature Publishing Group (31)
  3. ACM (21)
  4. Elsevier (21)
  5. American Physical Society (15)

More Publishers

Affiliation
  1. IST Austria (316)
Peer reviewed
  1. yes (325)
  2. no (22)
Invited
  1. no (342)
  2. yes (5)

Results (347)

  • Parallel reachability analysis for hybrid systems
    Conference paper
  • Commutativity in the algorithmic Lovasz local lemma
    Conference paper