A guiding heuristic for the semi-formal verification of high-level designs. - Alair Dias Junior; Diógenes Cecilio da Silva Júnior (LATW, 2012)

Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs. - Alair Dias Junior; Diógenes Cecilio da Silva Júnior (ISVLSI, 2013)

Ultra-Low Power Design of Wearable Cardiac Monitoring Systems. - Rubén Braojos; Hossein Mamaghanian; Alair Dias Junior; Giovanni Ansaloni; David Atienza; Francisco J. Rincón; Srinivasan Murali (DAC, 2014)

Estimation of Blood Pressure and Pulse Transit Time Using Your Smartphone. - Alair Dias Junior; Srinivasan Murali; Francisco J. Rincón; David Atienza (DSD, 2015)

Methods for reliable estimation of pulse transit time and blood pressure variations using smartphone sensors. - Alair Dias Junior; Srinivasan Murali; Francisco J. Rincón; David Atienza (Microprocess. Microsystems, 2016)