Repositorio Dspace

Listar por autor "Carrillo, Miguel"

Listar por autor "Carrillo, Miguel"

Ordenar por:Orden:Resultados:

  • CTL update of Kripke models through protections 
    Rosenblueth Laguette, David Arturo (Elsevier B.V., 2014-03-02)
    We present a nondeterministic, recursive algorithm for updating a Kripke model so as to satisfy a given formula of computation-tree logic (CTL). Recursive algorithms for model update face two dual difficulties: (1) Removing ...
  • Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks 
    Azpeitia, Eugenio; Carrillo, Miguel; Rosenblueth Laguette, David Arturo (Frontiers Media S.A., 2018-03-06)
    Boolean networks are important models of biochemical systems, located at the high end of the abstraction spectrum. A number of Boolean gene networks have been inferred following essentially the same method. Such a method ...