José M. Leitão

According to our database, José M. Leitão authored at least 3 papers between 2013 and 2019.

Collaborative distances:

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

2019

Applying Model Checking in the Verification of a Clock Masking Unit.

José M. Leitão, Ricardo Chaves, Marcelino B. Santos

Proceedings of the XXXIV Conference on Design of Circuits and Integrated Systems, 2019

2018

Low-power frequency monitoring circuit for clock failure detection.

Rodrigo B. Capeleiro, José M. Leitão, Ricardo Chaves, Marcelino B. Santos

Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018

2013

Scalable and high throughput biosensing platform.

José M. Leitão, José A. Germano, Nuno Roma, Ricardo Chaves, Pedro Tomás

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013