15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), California, Amerika Birleşik Devletleri, 19 - 21 Ocak 2014, cilt.8318, ss.322-336
A relevant problem in systems biology is the description of the regulatory interactions between genes. It is observed that pairs of genes have significant correlation through several experimental conditions. The question is to find causal relationships that can explain this experimental evidence.