Concepedia

Marco Antonio Ramírez Salinas

MA

3

Publications

92

Citations

3

H-Index

2015

Active since

Affiliations

Instituto Politécnico Nacional(Current)

Marco Antonio Ramírez Salinas is an author at Instituto Politécnico Nacional specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsSyntaxGrammarLanguageComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For Testing

Publications per year

2015–2020

3

Publications

3

Relationship of Serum Levels of IL-17, IL-18, TNF-<i>α</i>, and Lung Function Parameters in Patients with COPD, Asthma-COPD Overlap, and Bronchial Asthma

Nailya Kubysheva, Svetlana Soodaeva, Igor Klimanov et al. · Mediators of Inflammation · 2020 · 54 citations · Full text

Learning rules for Sugeno ANFIS with parametric conjunction operations

Prometeo Cortés-Antonio, Ildar Batyrshin, Alfonso Martínez-Cruz et al. · Applied Soft Computing · 2020 · 23 citations

Syntax, Engineering, Automated Reasoning +9

Automated Functional Test Generation for Digital Systems Through a Compact Binary Differential Evolution Algorithm

Alfonso Martínez-Cruz, Ricardo Barrón Fernández, Herón Molina-Lozano et al. · Journal of Electronic Testing · 2015 · 15 citations

Differential Evolution, Engineering, Computational Testing +14

Rows per page

1–3 of 3