Refine Results
Publications
  1. Nature Communications (3)
  2. CAV: Computer Aided Verification (2)
  3. CMSB: Computational Methods in Systems Biology (2)
  4. Journal of Cell Biology (2)
  5. Molecular Microbiology (2)

More Publications

Affiliation
  1. IST Austria (38)
Peer reviewed
  1. yes (39)
  2. no (17)
Invited
  1. no (54)
  2. yes (2)

Results (56)

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