Alair Dias Junior

According to our database, Alair Dias Junior authored at least 5 papers between 2012 and 2016.

Collaborative distances:

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

2016

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

2015

Estimation of Blood Pressure and Pulse Transit Time Using Your Smartphone.

Alair Dias Junior, Srinivasan Murali, Francisco J. Rincón, David Atienza

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

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

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

2012

A guiding heuristic for the semi-formal verification of high-level designs.

Alair Dias Junior, Diógenes Cecilio da Silva Júnior

Proceedings of the 13th Latin American Test Workshop, 2012