Álvaro Silva

According to our database, Álvaro Silva authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Leveraging Large Language Models to Boost Dafny's Developers Productivity.

Álvaro Silva, Alexandra Mendes, João F. Ferreira

CoRR, 2024

2022

Association Models for Relating Problems with Semiologic Data in Intensive Medicine.

Inês Tavares, Júlio Duarte, Hugo Peixoto, Álvaro Silva, Maria Manuel, César Quintas

Proceedings of the 13th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2022) / The 12th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2022), 2022

Data Mining Models for Automatic Problem Identification in Intensive Medicine.

Inês Quesado, Julio Duarte, Álvaro Silva, Maria Manuel, César Quintas

Proceedings of the 13th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2022) / The 12th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2022), 2022

Decision models on therapies for intensive medicine.

Maria Passos, Julio Duarte, Álvaro Silva, Maria Manuel, César Quintas

Proceedings of the 13th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2022) / The 12th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2022), 2022