Lightweight Network-Based IoT Device Authentication in Cloud Services. - Tomás Silva; João Casal; Ricardo Chaves (ICNP, 2023)

Monitoring of spatio-temporal properties with nonlinear SAT solvers. - André de Matos Pedro; Tomás Silva; Tiago F. Sequeira; João Lourenço; João Costa Seco; Carla Ferreira 001 (Int. J. Softw. Tools Technol. Transf., 2024)