Machine Learning Biochemical Networks from Temporal Logic Properties-Reference-Cited by-同舟云学术

Machine Learning Biochemical Networks from Temporal Logic Properties

Published:2006 Issue: Volume: Page:68-94
ISSN:0302-9743
Container-title:Transactions on Computational Systems Biology VI
language:
Short-container-title:

Author:

Calzone Laurence,Chabrier-Rivier Nathalie,Fages François,Soliman Sylvain

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11880646_4

Reference37 articles.

1. Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the sixth Pacific Symposium of Biocomputing, pp. 459–470 (2001)

2. Lecture Notes in Bioinformatics;L. Cardelli,2005

3. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science 325, 141–167 (2004)

4. Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science 325, 69–110 (2004)

5. Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems, Biology Special issue of BioConcur 2004 (to appear)

Cited by 56 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifiable biology;Journal of The Royal Society Interface;2023-05

2. Physics-informed neural entangled-ladder network for inhalation impedance of the respiratory system;Computer Methods and Programs in Biomedicine;2023-04

3. Artificial Intelligence in Biological Modelling;A Guided Tour of Artificial Intelligence Research;2020

4. Statistical Model Checking-Based Analysis of Biological Networks;Computational Biology;2019

5. Model Checking Approach to the Analysis of Biological Systems;Computational Biology;2019