Refine Results
People
  1. Jan Kretínský (17)
  2. Jiří Friml (11)
  3. Krishnendu Chatterjee (11)
  4. Tatjana Petrov (11)
  5. Uli Wagner (11)

More People

Publications
  1. Discrete & Computational Geometry (8)
  2. Nature Communications (8)
  3. Physical Review Letters (6)
  4. SoCG: Symposium on Computational Geometry (5)
  5. CAV: Computer Aided Verification (4)

More Publications

Publishers
  1. Springer (41)
  2. Nature Publishing Group (17)
  3. American Physical Society (15)
  4. ACM (14)
  5. Elsevier (14)

More Publishers

Affiliation
  1. IST Austria (187)
Peer reviewed
  1. yes (183)
  2. no (21)
Invited
  1. no (202)
  2. yes (2)

Results (204)