Miguel Carrillo Barajas

Miguel Carrillo Barajas

Universidad Nacional Autónoma de México - Mexico City / Mexico
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5303849
National Autonomous University of Mexico
person_outline Miguel Carrillo Barajas's MOST POPULAR ARTICLES
1-) "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinformatics 12, 490, 2011
2-) An overview of existing modeling tools making use of model checking in the analysis of biochemical networks Frontiers in plant science 3, 155, 2012
3-) Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks Frontiers in genetics 9, 39, 2018
4-) Inference of Boolean Networks from Gene Interaction Graphs using a SAT Solver These proceedings contain the papers that were presented at the First …, 2014
5-) CTL update of Kripke models through protections Artificial Intelligence 211, 51-74, 2014