Refine Results
People
  1. Krishnendu Chatterjee (41)
  2. Thomas Henzinger (21)
  3. Carl-Philipp Heisenberg (20)
  4. Martin Chmelik (20)
  5. Andreas Pavlogiannis (13)

More People

Publications
  1. CAV: Computer Aided Verification (8)
  2. Nature Cell Biology (5)
  3. Developmental Cell (3)
  4. Genetics (3)
  5. IST Dissertation (3)

More Publications

Affiliation
  1. IST Austria (157)
Peer reviewed
  1. yes (160)
Invited
  1. no (160)

Results (160)

  • Static scheduling in clouds
    Conference paper