Improved Invariant Generation for Industrial Software Model Checking of Time Properties. - Vassil Todorov; Safouan Taha; Frédéric Boulanger; Armando Hernández (QRS, 2019)

Photoluminescence emission under thermal annealing of Silica and Titania nanospheres arrays. - Carina Gutierrez; Mario Moreno; Ponciano Rodríguez-Montero; Leticia Tecuapetla; Armando Hernández; Adrian Itzmoyotl (CCE, 2020)

DC and RF Sputtered ITO Thin Films as Electrodes in Light-Emitting Diodes Based on $ mathrm{a}- text{Si}_{1- mathrm{x}} mathrm{C}_{ mathrm{x}}: mathrm{H}$. - Juan Ramón Ramos Serrano; Mario Moreno; Alfredo Morales; Armando Hernández; Víctor Aca; Ignacio Juarez (CCE, 2024)