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
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Petri Net Representations in Metabolic Pathways
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
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
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
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
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
A multi-scale constraint programming model of alternative splicing regulation
Theoretical Computer Science - Special issue: Computational systems biology
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Timed Concurrent Constraint Programming for Analysing Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional modelling of signalling pathways in timed concurrent constraint programming
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
Building and analysing an integrative model of HIV-1 RNA alternative splicing
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
The biochemical abstract machine BIOCHAM
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Hi-index | 0.00 |
Systems biology is a new area in biology that aims at achieving a systems-level understanding of biological systems. While current genome projects provide a huge amount of data on genes or proteins, lots of research is still necessary to understand how the different parts of a biological system interact in order to perform complex biological functions. Computational models that help to analyze, explain or predict the behavior of biological systems play a crucial role in systems biology. The goal of this paper is to show that hybrid concurrent constraint programming [11] may be a promising alternative to existing modeling approaches in systems biology. Hybrid cc is a declarative compositional programming language with a well-defined semantics. It allows one to model and simulate the dynamics of hybrid systems, which exhibit both discrete and continuous change. We show that Hybrid cc can be used naturally to model a variety of biological phenomena, such as reaching thresholds, kinetics, gene interaction or biological pathways.