Concurrent constraint programming
Concurrent constraint programming
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
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
Programming in Hybrid Constraint Languages
Hybrid Systems II
Hybrid cc with Interval Constraints
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Timed Concurrent Constraint Programming for Analysing Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Including ordinary differential equations based constraints in the standard CP framework
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Hi-index | 0.00 |
Alternative splicing is a key process in post-transcriptional regulation, by which different mature RNA can be obtained from the same premessenger RNA. The resulting combinatorial complexity contributes to biological diversity, especially in the case of the human immunodeficiency virus HIV-1. Using a constraint programming approach, we develop a model of the alternative splicing regulation in HIV-1. Our model integrates different scales (single site vs. multiple sites), and thus allows us to exploit several types of experimental data available to us.