Luis E. Mendoza Morales

Business process automatic verification with a compositional approach

María A. Pérez, Luis E. Mendoza Morales, Manuel I. Capel Tuñón, 2013 .

Business process verification using a Formal Compositional Approach and Timed Automata

Luis E. Mendoza Morales, L. Morales, 2013, 2013 XXXIX Latin American Computing Conference (CLEI).

Specifying BPMN diagrams with Timed Automata: Proposal of some mapping rules

Luis E. Mendoza Morales, 2014, CISTI 2014.

Automatic Verification of Critical Industrial Process with Automata

Luis E. Mendoza Morales, 2016 .

Formal verification of business processes as timed automata

Carlos Monsalve, Mónica Villavicencio, Luis E. Mendoza Morales, 2017, 2017 12th Iberian Conference on Information Systems and Technologies (CISTI).

Reliability and Validity of Postural Evaluations with Kinect v2 Sensor Ergonomic Evaluation System

Javier Vargas, Luis E. Mendoza Morales, Christian Mariño, 2018 .

MODELO SISTÉMICO PARA LA ADOPCIÓN DE TECNOLOGÍA POR LA INDUSTRIA QUÍMICA.

Luis E. Mendoza Morales, Martín Enrique Durán García, Maria Angelica Perez De Ovalles, 2011 .