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

por Carrillo, Miguel, Góngora, Pedro A., Rosenblueth, David A.
Publicado 2012

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

por Muñoz, Stalin, Carrillo, Miguel, Azpeitia, Eugenio, Rosenblueth, David A.
Publicado 2018

Derivatives of 10,16-Dihydroxyhexadecanoic Acid Isolated from Tomato (Solanum lycopersicum) as Potential Material for Aliphatic Polyesters

por Arrieta-Baez, Daniel, Cruz-Carrillo, Miguel, Gómez-Patiño, Mayra Beatriz, Zepeda-Vallejo, L. Gerardo
Publicado 2011

Variations in bile salt surfactant structure allow tuning of the sorting of single-wall carbon nanotubes by aqueous two-phase extraction

por Avramenko, Marina, Defillet, Joeri, López Carrillo, Miguel Ángel, Martinati, Miles, Wenseleers, Wim, Cambré, Sofie
Publicado 2022

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

por Arellano, Gustavo, Argil, Julián, Azpeitia, Eugenio, Benítez, Mariana, Carrillo, Miguel, Góngora, Pedro, Rosenblueth, David A, Alvarez-Buylla, Elena R
Publicado 2011

Selective use of postoperative neck radiotherapy in oral cavity and oropharynx cancer: a prospective clinical study

por Martínez Carrillo, Miguel, Tovar Martín, Isabel, Martínez Lara, Ildefonso, Ruiz de Almodóvar Rivera, José Mariano, Del Moral Ávila, Rosario
Publicado 2013

Insoluble and Thermostable Polyhydroxyesters From a Renewable Natural Occurring Polyhydroxylated Fatty Acid

por Benítez, José Jesús, Guzman-Puyol, Susana, Cruz-Carrillo, Miguel Antonio, Ceseracciu, Luca, González Moreno, Ana, Heredia, Antonio, Heredia-Guerrero, José Alejandro
Publicado 2019

Impact of Oxygen Delivery on the Development of Acute Kidney Injury in Patients Undergoing Valve Heart Surgery

por Carrasco-Serrano, Elena, Jorge-Monjas, Pablo, Muñoz-Moreno, María Fé, Gómez-Sánchez, Esther, Priede-Vimbela, Juan Manuel, Bardají-Carrillo, Miguel, Cubero-Gallego, Héctor, Tamayo, Eduardo, Ortega-Loubon, Christian
Publicado 2022

Salvage Radiosurgery for Selected Patients with Recurrent Malignant Gliomas

por Martínez-Carrillo, Miguel, Tovar-Martín, Isabel, Zurita-Herrera, Mercedes, Del Moral-Ávila, Rosario, Guerrero-Tejada, Rosario, Saura-Rojas, Enrique, Osorio-Ceballos, Juan Luis, Arrebola-Moreno, Juan Pedro, Expósito-Hernández, José
Publicado 2014

Influence of Renal Dysfunction on the Differential Behaviour of Procalcitonin for the Diagnosis of Postoperative Infection in Cardiac Surgery

por de la Varga-Martínez, Olga, Martín-Fernández, Marta, Heredia-Rodríguez, María, Ceballos, Francisco, Cubero-Gallego, Hector, Priede-Vimbela, Juan Manuel, Bardají-Carrillo, Miguel, Sánchez-de Prada, Laura, López-Herrero, Rocío, Jorge-Monjas, Pablo, Tamayo, Eduardo, Gómez-Sánchez, Esther
Publicado 2022