Data | Título | Autor(es) | Tipo | Acesso |
2018 | Argumentation with goals for clinical decision support in multimorbidity | Oliveira, Tiago; Dauphin, Jérémie; Satoh, Ken, et al. | Artigo em ata de conferência | Acesso aberto |
Jan-2018 | Automatically identifying drug conflicts in clinical practice guidelines | Silva, António; Oliveira, Tiago; Satoh, Ken, et al. | Artigo em ata de conferência | Acesso aberto |
2021 | Enhancing decision making by providing a unified system for computer-interpretable guideline management | Ferreira da Silva, Alexandre; Oliveira, Tiago; Gonçalves, Filipe Manuel, et al. | Artigo | Acesso restrito UMinho |
2018 | Evaluation of business intelligence project success in tintas Robbialac: work-in-progress | Teixeira, Ana; Oliveira, Tiago; Varajão, João | Resumo em ata de conferência | Acesso restrito UMinho |
2019 | Evaluation of business intelligence projects success - a case study | Teixeira, Ana; Oliveira, Tiago; Varajão, João | Artigo | Acesso restrito UMinho |
Set-2023 | Formally verifying Kyber. Episode IV: implementation correctness | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
2020 | Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting | Oliveira, Tiago; Dauphin, Jérémie; Satoh, Ken, et al. | Artigo em ata de conferência | Acesso aberto |
26-Mai-2021 | Improving classification based on physical surface tension-neural net for the prediction of psychosocial-risk level in public school teachers | Navarro, Rodolfo Mosquera; Castrillon, Omar Danilo; Osorio, Liliana Parra, et al. | Artigo | Acesso aberto |
2019 | Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3 | Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |
2019 | OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editor | Oliveira, Tiago; Gonçalves, Filipe Manuel; Novais, Paulo, et al. | Artigo | Acesso aberto |
2019 | Preface | Ramos, Isabel; Quaresma, Rui; Silva, Paulo, et al. | Editorial em ata de conferência | Acesso aberto |
Abr-2022 | Speculative computation: application scenarios | Ramos, João; Oliveira, Tiago; Carneiro, Davide Rua, et al. | Capítulo de livro | Acesso aberto |
2020 | The factors influencing the success of on-going agile software development projects | Tam, Carlos; da Costa Moura, Eduardo Joia; Oliveira, Tiago, et al. | Artigo | Acesso restrito UMinho |
2020 | The last mile: High-Assurance and High-Speed cryptographic implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | A unified system for clinical guideline management and execution | Silva, António; Oliveira, Tiago; Gonçalves, Filipe, et al. | Artigo em ata de conferência | Acesso aberto |