Refine Results
Publications
  1. Nature Communications (5)
  2. Science (4)
  3. eLife (4)
  4. CMSB: Computational Methods in Systems Biology (3)
  5. PLoS Genetics (3)

More Publications

Affiliation
  1. IST Austria (60)
Peer reviewed
  1. yes (57)
  2. no (19)
Invited
  1. no (74)
  2. yes (2)

Results (76)

  • Faster statistical model checking for unbounded temporal properties
    Conference paper
  • Model checking gene regulatory networks
    Conference paper