Your search
Author or contributor
Topic
Results
3 resources-
Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.
-
Danos, V., Feret, J., Fontana, W., Harmer, R., & Krivine, J. (2008). Rule-Based Modelling, Symmetries, Refinements. In J. Fisher (Ed.), Formal Methods in Systems Biology (pp. 103–122). Berlin, Heidelberg: Springer. https://doi.org/10/dc5k68
-
Boutillier, P., Maasha, M., Li, X., Medina-Abarca, H. F., Krivine, J., Feret, J., … Fontana, W. (2018). The Kappa platform for rule-based modeling. Bioinformatics, 34(13), i583–i592. https://doi.org/10/gdrhw6
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (3)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (2)
- Transition systems (2)
PROGRAMMING LANGUAGES
Methodology
- Implementation (2)
Topic
- Biology (3)
- Implementation (2)
- Rewriting theory (2)
- Systems biology
Resource type
- Conference Paper (1)
- Journal Article (2)
Publication year
- Between 2000 and 2022 (2)
- Unknown (1)