Scalable and high throughput biosensing platform. - José M. Leitão; José A. Germano; Nuno Roma; Ricardo Chaves; Pedro Tomás (FPL, 2013)

Low-power frequency monitoring circuit for clock failure detection. - Rodrigo B. Capeleiro; José M. Leitão; Ricardo Chaves; Marcelino B. Santos (DCIS, 2018)

Applying Model Checking in the Verification of a Clock Masking Unit. - José M. Leitão; Ricardo Chaves; Marcelino B. Santos (DCIS, 2019)