Machine Learning Biochemical Networks from Temporal Logic Properties
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 68-94
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Modeling and querying biomolecular interaction networksTheoretical Computer Science, 2004
- Formal molecular biologyTheoretical Computer Science, 2004
- BioAmbients: an abstraction for biological compartmentsTheoretical Computer Science, 2004
- Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logicJournal of Theoretical Biology, 2004
- Modelling and querying interaction networks in the biochemical abstract machine BIOCHAMJournal of Biological Physics and Chemistry, 2002
- Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptorsNature Biotechnology, 2002
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many ChannelsThe Journal of Physical Chemistry A, 2000
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- A general method for numerically simulating the stochastic time evolution of coupled chemical reactionsJournal of Computational Physics, 1976