Publicaciones

  1. Miguel Carrillo and David A. Rosenblueth. CTL update of Kripke models through protections. Artificial Intelligence, 211(0):51–74, 2014.
  2. David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, and Eugenio Azpeitia. Inference of boolean networks from gene interaction graphs using a SAT solver. In Adrian Horia, Carlos Martín-Vide, and Bianca Truthe, editors, Algorithms for Computational Biology, AlCoB 2014, volume 8542 of Lecture Notes in Computer Science, pages 235–246. Springer, 2014.
  3. Miguel Carrillo, Pedro A. Góngora, and David A. Rosenblueth. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Frontiers in Plant Science, 3(155), 2012.
  4. Miguel Carrillo and David A. Rosenblueth. A source of incompleteness in CTL update methods [en línea]. https://sites.google.com/site/miguelmcb/home/publicaciones/incompleteness-CTL-update-AIJ-2012.pdf, 2012. Consulta: enero 2014.
  5. Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, and Elena R. Alvarez-Buylla. “Ante-lope”: a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinformatics, page 490, 2011.
  6. Miguel Carrillo and David A. Rosenblueth. Nondeterministic update of CTL models by preserving satisfaction through protections. In Tevfik Bultan and Pao-Ann Hsiung, editors, Automated Technology for Verification and Analysis (ATVA 2011), volume 6996 of Lecture Notes in Computer Science, pages 60–74. Springer, 2011.
  7. Miguel Carrillo and David A. Rosenblueth. A method for CTL model update, representing Kripke structures as “table systems”. International Journal of Pure and Applied Mathematics, 52(3):401–431, 2009.
  8. Miguel Carrillo and David A. Rosenblueth. Learning models from temporal-logic proper-ties via explanations. In Thomas R. Roth-Berghofer, Stefan Schulz, and David B. Leake, editors, AAAI-07 workshop on Explanation-aware Computing ExaCt 2007, Technical Report WS-07-06, pages 10–13. AAAI Press, 2007.
  9. Miguel Carrillo. ¿Máquina vs. hombre? u ¿Hombre vs. máquina? Ciencia y Desarrollo, (76), Sep 1987.