Armando Hernandez

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Solder Ball Connect

Pspace Complete

Top Venues

Publications

Carina Gutierrez, Mario Moreno, Ponciano Rodríguez-Montero, Leticia Tecuapetla, Armando Hernandez, Adrian Itzmoyotl
Photoluminescence emission under thermal annealing of Silica and Titania nanospheres arrays. CCE (2020)
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
Improved Invariant Generation for Industrial Software Model Checking of Time Properties. QRS (2019)