Miguel Carrillo

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

David A. Rosenblueth, Eugenio Azpeitia, Mariana Benítez, 2011, BMC Bioinformatics.

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

David A. Rosenblueth, Eugenio Azpeitia, Stalin Muñoz, 2018, Front. Genet..

Learning Bayesian Network Structures from Small Datasets using Simulated Annealing and Bayesian Score

Rubén Morales-Menéndez, Luis E. Garza-Castañón, Francisco J. Cantú Ortiz, 2005, Artificial Intelligence and Applications.

Our ten years of work on transparet box business simulation

José Antonio Domínguez Machuca, José Carlos Ruiz del Castillo, José C. Castillo, 1998 .

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

David A. Rosenblueth, Miguel Carrillo, Pedro A. Góngora, 2012, Front. Plant Sci..