Business Process Verification: The Application of Model Checking and Timed Automata by Luis E. Mendoza Morales

Get full text

Verificación Automática de Procesos Industriales Críticos con Autómatas by Luis E Mendoza Morales

Get full text

Automatic Verification of Critical Industrial Process with Automata by Luis E. Mendoza Morales

Get full text

A network model for the specification of vulval precursor cells and cell fusion control in Caenorhabditis elegans by Nathan eWeinstein, Luis eMendoza

Get full text

Quality in Development Process for Software Factories According to ISO 15504 by Kenyer Domínguez, María Pérez, Luis E. Mendoza, Anna Grimán

Get full text

Normal vs Malignant Hematopoiesis: the Complexity of Acute Leukemia Through Systems Biology by Jennifer eEnciso, Luis eMendoza, Rosana ePelayo

Get full text

Segmentation of Magnetic Resonance Imaging MRI using LS-SVM and Wavelet Multiresolution Analysis by Luis A. Muñoz-Bedoya, Luis E. Mendoza, Hernando J. Velandia-Villamizar

Get full text

Speech Subvocal Signal Processing using Packet Wavelet and Neuronal Network by Luis E. Mendoza, Jesus Peña, Luis A. Muñoz-Bedoya, Hernando J. Velandia-Villamizar

Get full text

Determinants of intentions to prevent triatomine infestation based on the health belief model: An application in rural southern Ecuador. by Benjamin R Bates, Anita G Villacís, Angela Mendez-Trivino, Luis E Mendoza, Mario J Grijalva

Get full text

Colecistectomía Ambulatoria por Minilaparotomía by Aníbal Pimentel Rodríguez, Alfonso Palmieri Luna, Luis E. Mendoza Argüello, Nayib Zurita Medrano, Francisco Herrera Sáenz

Get full text

Establishing the Ideal Conditions to Create an Airway Fire Using a Porcine Airway Model by Andrew M. Bysice, Tyler Oswald, Luis E. Mendoza Vasquez, Francisco Laxague, M. Elise Graham, Ruediger Noppens, Kevin Fung

Get full text

Identifying Barriers and Facilitators for Home Reconstruction for Prevention of Chagas Disease: An Interview Study in Rural Loja Province, Ecuador by Benjamin R. Bates, Majo Carrasco-Tenezaca, Angela M. Mendez-Trivino, Luis E. Mendoza, Claudia Nieto-Sanchez, Esteban G. Baus, Mario J. Grijalva

Get full text

Finding missing interactions of the Arabidopsis thaliana root stem cell niche gene regulatory network by Eugenio eAzpeitia, Eugenio eAzpeitia, Nathan eWeinstein, Mariana eBenítez, Mariana eBenítez, Luis eMendoza, Elena R. Alvarez-Buylla, Elena R. Alvarez-Buylla

Get full text