Refine Results
Publications
  1. CMSB: Computational Methods in Systems Biology (3)
  2. Nature Communications (3)
  3. CAV: Computer Aided Verification (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