Title | ||
---|---|---|
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic |
Abstract | ||
---|---|---|
We developed a method for analyzing the dynamics of gene regulatory networks in purely qualitative fashion. In our method, constraints for possible behaviors of a network and a biological property of interest are described as Linear Temporal Logic formulas, being automatically analyzed by satisfiability checking. In this way, we can investigate whether there exists some behavior which satisfies a specified property or whether all the behaviors satisfy a specified property, which are difficult in quantitative analysis. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/BIBE.2010.45 | BIBE |
Keywords | Field | DocType |
qualitative fashion,specified property,qualitative analysis,satisfiability checking,quantitative analysis,possible behavior,gene regulatory network,gene regulatory networks,linear temporal logic formula,biological property,genetics,mathematical model,formal method,production,systems biology,temporal logic,microorganisms,open systems,system biology,satisfiability,linear temporal logic | Existential quantification,Computer science,Satisfiability,Algorithm,Linear temporal logic,Theoretical computer science,Formal methods,Bioinformatics,Temporal logic,Gene regulatory network,Open system (systems theory) | Conference |
Citations | PageRank | References |
7 | 0.54 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sohei Ito | 1 | 32 | 6.22 |
Naoko Izumi | 2 | 20 | 2.95 |
Shigeki Hagihara | 3 | 78 | 12.33 |
Naoki Yonezaki | 4 | 107 | 20.02 |