Your search
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
MODEL CHECKING AND STATE MACHINES
Online resource
Results
4 resources-
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
-
Fages, F., Martinez, T., Rosenblueth, D. A., & Soliman, S. (2018). Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE/ACM Trans. Comput. Biol. Bioinformatics, 15(4), 1138–1151. https://doi.org/10/ggdf94
-
Brown, R., & Porter, T. (2008). Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience. ArXiv:Math/0306223. Retrieved from http://arxiv.org/abs/math/0306223
-
Fages, F., Calzone, L., & Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14), 1805–1807. https://doi.org/10/dfv
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
-
Biology
- Emergence (1)
- Systems biology (3)
- Neuroscience (1)
MODEL CHECKING AND STATE MACHINES
PROGRAMMING LANGUAGES
Methodology
- Implementation (2)
- Sketchy (1)
Topic
- Abstract machines (1)
- Biology (3)
- Emergence (1)
- Implementation (2)
- Neuroscience (1)
- Rewriting theory (4)
- Sketchy (1)
- Symbolic logic (2)
- Systems biology (3)
Resource type
- Journal Article (4)