Armando Hernandez

According to our database, Armando Hernandez authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Photoluminescence emission under thermal annealing of Silica and Titania nanospheres arrays.

Carina Gutierrez, Mario Moreno, Ponciano Rodríguez-Montero, Leticia Tecuapetla, Armando Hernandez, Adrian Itzmoyotl

Proceedings of the 17th International Conference on Electrical Engineering, 2020

2019

Improved Invariant Generation for Industrial Software Model Checking of Time Properties.

Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez

Proceedings of the 19th IEEE International Conference on Software Quality, 2019