Griffin project
Griffin project started in 2013 with support from PAPIIT (Programa de Apoyo a Proyectos de Investigación e Innovación Tecnológica) grant IN113013 ”Análisis de Redes Genéticas Booleanas con Verificación de Modelos“. It started as a computational tool for Boolean Network model identification. Fig. 1 depicts the concept behind griffin.
From 2015 Griffin is being extended to include Boolean Network analysis capabilities as well as more flexible query formulations. Its current development is supported by CONACyT grant 221341 "Análisis de redes complejas en sistemas biológicos y sociales".
Papers:
Rosenblueth, D. A., Muñoz, S., Carrillo, M., & Azpeitia, E. (2014). Inference of Boolean networks from gene interaction graphs using a SAT solver. In Algorithms for Computational Biology (pp. 235-246). Springer International Publishing.