Biohydrogen from food waste in a discontinuous process: Effect of HRT and microbial community analysis von Moreno-Andrade, Iván, Carrillo-Reyes, Julián, Santiago, Sonia G., Bujanos-Adame, Martha C.

Volltext

State space reduction in the Maude-NRL Protocol Analyzer von Escobar, Santiago, Meadows, Catherine, Meseguer, José, Santiago, Sonia

Volltext

Feedback control strategy for optimizing biohydrogen production from organic solid waste in a discontinuous process von Jiménez-Ocampo, Ulises E., Santiago, Sonia G., Vargas, Alejandro, Moreno-Andrade, Iván

Volltext

A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA von Santiago, Sonia, Escobar, Santiago, Meadows, Catherine, Meseguer, José

Volltext

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories von Escobar, Santiago, Meadows, Catherine, Meseguer, José, Santiago, Sonia

Volltext

Analysis of the PKCS#11 API Using the Maude-NPA Tool von González-Burgueño, Antonio, Santiago, Sonia, Escobar, Santiago, Meadows, Catherine, Meseguer, José

Volltext

A Fragilidade do Ensino da Meiose von Santiago, Sônia Aparecida, Carvalho, Hernandes Faustino de

Volltext

Daños Neuropsicológicos Asociados a los Tratamientos Quimioterapéuticos: Una Propuesta de Evaluación von López-Santiago, Sonia, Cruzado, Juan Antonio, Feliu, Jaime

Volltext

ESTUDIO PROSPECTIVO DEL FUNCIONAMIENTO COGNITIVO EN PACIENTES DE CÁNCER DE COLON TRATADOS CON QUIMIOTERAPIA ADYUVANTE von Santiago, Sonia López

Volltext

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis von Erbatur, Serdar, Escobar, Santiago, Kapur, Deepak, Liu, Zhiqiang, Lynch, Christopher A., Meadows, Catherine, Meseguer, José, Narendran, Paliath, Santiago, Sonia, Sasse, Ralf

Volltext

Sequential Protocol Composition in Maude-NPA von Escobar, Santiago, Meadows, Catherine, Meseguer, José, Santiago, Sonia

Volltext

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA von Santiago Pinazo, Sonia

Volltext bestellen

CHEMOBRAIN: REVISIÓN DE ESTUDIOS QUE EVALÚAN EL DETERIORO COGNITIVO DE SUPERVIVIENTES DE CÁNCER TRATADOS CON QUIMIOTERAPIA von López-Santiago, Sonia, Cruzado, Juan A, Feliú, Jaime

Volltext

Effective Sequential Protocol Composition in Maude-NPA von Santiago, Sonia, Escobar, Santiago, Meadows, Catherine, Meseguer, José

Volltext bestellen

Estratégia de ensino: Aprenda em sala de aula von Aparecida Santiago, Sônia, Carvalho, Hernandes F

Volltext

CALIDAD DE VIDA, ESTADO EMOCIONAL, ANEMIA Y ASTENIA EN PACIENTES DE CÁNCER DE COLON TRATADOS CON CIRUGÍA von López-Santiago, Sonia, Cruzado, Juan A, Martínez, Virginia, Feliu, Jaime

Volltext

VARIABLES ASOCIADAS AL DETERIORO COGNITIVO EN PACIENTES DE CÁNCER DE COLON von López-Santiago, Sonia, Cruzado, Juan A, Custodio, Ana Belén, Feliú, Jaime

Volltext

BASES BIOLÓGICAS DEL DETERIORO DE LA FUNCIÓN COGNITIVA INDUCIDO POR LOS TRATAMIENTOS ANTINEOPLÁSICOS von Feliu, Jaime, López-Santiago, Sonia, Martínez-Marín, Virginia, Custodio, Ana Belén, Cruzado, Juan Antonio

Volltext

Elementos para calcular el costo de oportunidad para estudiar en la Universidad Politécnica de Querétaro (UPQ) von Viramontes Romero, Miguel Ángel, De Santiago Badillo, Bertha Sonia, Carretero Larrea, María Alejandra, Sánchez Aguilar, Nancy

Volltext

Factores relacionados con la reprobación en inglés en educación superior von De Santiago Badillo, Bertha Sonia, Jöns, S, Sánchez Aguilar, Nancy

Volltext