Tomás Silva

According to our database, Tomás Silva authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

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

Int. J. Softw. Tools Technol. Transf., April, 2024

2023

Lightweight Network-Based IoT Device Authentication in Cloud Services.

Tomás Silva, João Casal, Ricardo Chaves

Proceedings of the 31st IEEE International Conference on Network Protocols, 2023