Concepedia

Miguel Carrillo

MC

Statistics

Publications

3

Citations

91

H-Index

3

Active since

2011

Affiliations

Universidad Nacional Autónoma de México(Current)

Miguel Carrillo is an author at Universidad Nacional Autónoma de México specializing in biological systems modeling, biological networks, and boolean network models.

ORCID

Publications per year

2011–2018

3

Publications

3

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

Gustavo Arellano, Julián Argil, Eugenio Azpeitia et al. · BMC Bioinformatics · 2011 · 40 citations · Full text

, , +16

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

Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth · Frontiers in Plant Science · 2012 · 33 citations · Full text

, , +13

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

Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia et al. · Frontiers in Genetics · 2018 · 18 citations · Full text

, , +16

1–3 of 3