Computing with continuous change
Science of Computer Programming - Special issue on concurrent constraint programming
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Multiscale Modeling of Alternative Splicing Regulation
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Timed Concurrent Constraint Programming for Analysing Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We present a multi-site model describing the alternative use of the RNA splicing sites A3, A4, A5 and A7 in the human immunodeficiency virus HIV-1. Our goal is to integrate experimental data obtained on individual splicing sites into a global model of HIV-1 RNA alternative splicing. We give a qualitative validation of our model, and analyse the possible impact of variations of regulatory protein concentrations on virus multiplication.