Ist

Results: 55932



#Item
51Mathematical analysis / Probability theory / Statistical theory / Evolutionary developmental biology / Gene expression / Gene regulatory network / Networks / Systems biology / Linear temporal logic / Normal distribution / Model theory

Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Add to Reading List

Source URL: pub.ist.ac.at

Language: English - Date: 2018-05-10 06:54:26
52

PDF Document

Add to Reading List

Source URL: acs.ist.psu.edu

- Date: 2006-08-27 13:05:05
    53

    PDF Document

    Add to Reading List

    Source URL: cyber.ist.ucf.edu

    - Date: 2012-02-17 14:07:26
      54

      PDF Document

      Add to Reading List

      Source URL: linda.ist.hokudai.ac.jp

      - Date: 2017-06-19 09:47:45
        55

        PDF Document

        Add to Reading List

        Source URL: www.ist.tu-darmstadt.de

        - Date: 2018-08-25 22:13:30
          56

          PDF Document

          Add to Reading List

          Source URL: printart.isr.ist.utl.pt

          - Date: 2013-06-07 11:09:03
            57

            PDF Document

            Add to Reading List

            Source URL: www-infobiz.ist.osaka-u.ac.jp

            - Date: 2013-05-16 01:08:34
              58

              PDF Document

              Add to Reading List

              Source URL: www.ist.tu-darmstadt.de

              - Date: 2018-08-25 22:13:29
                59

                PDF Document

                Add to Reading List

                Source URL: pub.ist.ac.at

                - Date: 2016-12-17 11:24:05
                  60

                  PDF Document

                  Add to Reading List

                  Source URL: vislab.isr.ist.utl.pt

                  - Date: 2017-11-24 14:17:49
                    UPDATE