Alfonso Martínez-Cruz

Publications

192

Citations

H-Index

2002

Active since

Affiliations

National Institute of Astrophysics, Optics and Electronics(Current)

Instituto Politécnico Nacional

Secretaría de Ciencia, Humanidades, Tecnología e Innovación

Alfonso Martínez-Cruz is an author at National Institute of Astrophysics, Optics and Electronics specializing in engineering, formal methods, and computer engineering.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware TestingDesign For TestingFormal VerificationSystems EngineeringComputer EngineeringLiverSyntax

Publications per year

2002–2024

Publications

Security on in-vehicle communication protocols: Issues, challenges, and future research directions

Alfonso Martínez-Cruz, Kelsey Alejandra Ramírez-Gutiérrez, Claudia Feregrino-Uribe et al. · Computer Communications · 2021 · 55 citations

Internet Of Vehicle, Vehicle Communication, Engineering +9

Regulation of Mammalian Liver Methionine Adenosyltransferase

Fernando J. Corrales, Isabel Pérez-Mato, Manuel M. Sánchez del Pino et al. · Journal of Nutrition · 2002 · 47 citations

Transcriptional Regulation, Hepatology, Biochemistry +9

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

A Machine Learning approach for anomaly detection on the Internet of Things based on Locality-Sensitive Hashing

Mireya Lucia Hernandez-Jaimes, Alfonso Martínez-Cruz, Kelsey Alejandra Ramírez-Gutiérrez · Integration · 2024 · 15 citations

Rows per page

1–5 of 8