Refine Results
People
  1. Maria Ibáñez (22)
  2. Jiří Friml (21)
  3. Krishnendu Chatterjee (21)
  4. Thomas Henzinger (14)
  5. Eva Benková (10)

More People

Years
  1. 2016 (378)
Publications
  1. IST Dissertation (13)
  2. Nature Communications (10)
  3. Scientific Reports (10)
  4. Nature (7)
  5. ACS Applied Materials and Interfaces (5)

More Publications

Publishers
  1. Springer (65)
  2. Nature Publishing Group (38)
  3. ACM (21)
  4. Elsevier (21)
  5. American Chemical Society (15)

More Publishers

Affiliation
  1. IST Austria (320)
Peer reviewed
  1. yes (358)
  2. no (20)
Invited
  1. no (373)
  2. yes (5)

Results (378)

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