Miguel Carrillo Barajas
Miguel Carrillo Barajas
Professor. Departamento de Matemáticas, Facultad de Ciencias, UNAM.
Dirección de correo verificada de ciencias.unam.mx
Citado por
Citado por
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
G Arellano, J Argil, E Azpeitia, M Benítez, M Carrillo, PA Góngora, ...
BMC Bioinformatics 12, 490, 2011
An overview of existing modeling tools making use of model checking in the analysis of biochemical networks
M Carrillo, PA Góngora, DA Rosenblueth
Frontiers in plant science 3, 155, 2012
Inference of Boolean Networks from Gene Interaction Graphs using a SAT Solver
DA Rosenblueth, S Munoz, M Carrillo, E Azpeitia
These proceedings contain the papers that were presented at the First …, 2014
CTL update of Kripke models through protections
M Carrillo, DA Rosenblueth
Artificial Intelligence 211, 51-74, 2014
Nondeterministic update of CTL models by preserving satisfaction through protections
M Carrillo, DA Rosenblueth
International Symposium on Automated Technology for Verification and …, 2011
A method for CTL model update, representing Kripke Structures as table systems
M Carrillo, DA Rosenblueth
IJPAM 52, 401-431, 2009
Griffin: a tool for symbolic inference of synchronous Boolean molecular networks
S Muñoz, M Carrillo, EM Azpeitia, DA Rosenblueth
Frontiers in Genetics 9, 39, 2018
Additional file 2:(Hybrid) Computation-Tree Logic
M Carrillo
BMC bioinformatics 12 (1), 2011
Learning Models from Temporal-Logic Properties via Explanations
M Carrillo, DA Rosenblueth
ExaCt, 10-13, 2007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9