Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

David A Rosenblueth

Showing results (1-10 of 7) with videos related to

Pageof 1
Sort By:
Frontiers in Plant Science|July 27, 2012
An overview of existing modeling tools making use of model checking in the analysis of biochemical networksMiguel Carrillo, Pedro A Góngora, David A Rosenblueth
IEEE/ACM Transactions on Computational Biology and Bioinformatics|July 12, 2018
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and AttractorsFrancois Fages, Thierry Martinez, David A Rosenblueth, et al.
Frontiers in Genetics|March 22, 2018
Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular NetworksStalin Muñoz, Miguel Carrillo, Eugenio Azpeitia, et al.
BMC Bioinformatics|April 18, 2015
A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulvaNathan Weinstein, Elizabeth Ortiz-Gutiérrez, Stalin Muñoz, et al.
BMC Bioinformatics|December 24, 2011
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysisGustavo Arellano, Julián Argil, Eugenio Azpeitia, et al.
Genome Research|November 5, 2003
Regulatory network of Escherichia coli: consistency between literature knowledge and microarray profilesRosa María Gutiérrez-Ríos, David A Rosenblueth, José Antonio Loza, et al.
Scientific Reports|February 11, 2017
The combination of the functionalities of feedback circuits is determinant for the attractors' number and size in pathway-like Boolean networksEugenio Azpeitia, Stalin Muñoz, Daniel González-Tokman, et al.
Pageof 1

Showing results (1-10 of 7) with videos related to

Sort By:
Pageof 1
Frontiers in Plant Science|July 27, 2012
An overview of existing modeling tools making use of model checking in the analysis of biochemical networksMiguel Carrillo, Pedro A Góngora, David A Rosenblueth
IEEE/ACM Transactions on Computational Biology and Bioinformatics|July 12, 2018
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and AttractorsFrancois Fages, Thierry Martinez, David A Rosenblueth, et al.
Frontiers in Genetics|March 22, 2018
Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular NetworksStalin Muñoz, Miguel Carrillo, Eugenio Azpeitia, et al.
BMC Bioinformatics|April 18, 2015
A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulvaNathan Weinstein, Elizabeth Ortiz-Gutiérrez, Stalin Muñoz, et al.
BMC Bioinformatics|December 24, 2011
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysisGustavo Arellano, Julián Argil, Eugenio Azpeitia, et al.
Genome Research|November 5, 2003
Regulatory network of Escherichia coli: consistency between literature knowledge and microarray profilesRosa María Gutiérrez-Ríos, David A Rosenblueth, José Antonio Loza, et al.
Scientific Reports|February 11, 2017
The combination of the functionalities of feedback circuits is determinant for the attractors' number and size in pathway-like Boolean networksEugenio Azpeitia, Stalin Muñoz, Daniel González-Tokman, et al.
Pageof 1