Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

por Rosenblueth, David A.
Publicado 2016

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

por Carrillo, Miguel, Góngora, Pedro A., Rosenblueth, David A.
Publicado 2012

Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks

por Muñoz, Stalin, Carrillo, Miguel, Azpeitia, Eugenio, Rosenblueth, David A.
Publicado 2018

A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva

por Weinstein, Nathan, Ortiz-Gutiérrez, Elizabeth, Muñoz, Stalin, Rosenblueth, David A, Álvarez-Buylla, Elena R, Mendoza, Luis
Publicado 2015

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

por Arellano, Gustavo, Argil, Julián, Azpeitia, Eugenio, Benítez, Mariana, Carrillo, Miguel, Góngora, Pedro, Rosenblueth, David A, Alvarez-Buylla, Elena R
Publicado 2011

The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

por Azpeitia, Eugenio, Muñoz, Stalin, González-Tokman, Daniel, Martínez-Sánchez, Mariana Esther, Weinstein, Nathan, Naldi, Aurélien, Álvarez-Buylla, Elena R., Rosenblueth, David A., Mendoza, Luis
Publicado 2017

Erratum: The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

por Azpeitia, Eugenio, Muñoz, Stalin, González-Tokman, Daniel, Martínez-Sánchez, Mariana Esther, Weinstein, Nathan, Naldi, Aurélien, Álvarez-Buylla, Elena R., Rosenblueth, David A., Mendoza, Luis
Publicado 2017