Browsing by author Oliveira, Tiago Subscribe author statistics Oliveira, Tiago

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 15 of 15.
Issue DateTitleAuthor(s)TypeAccess
2018Argumentation with goals for clinical decision support in multimorbidityOliveira, Tiago; Dauphin, Jérémie; Satoh, Ken, et al.Conference paperOpen access
Jan-2018Automatically identifying drug conflicts in clinical practice guidelinesSilva, António; Oliveira, Tiago; Satoh, Ken, et al.Conference paperOpen access
2021Enhancing decision making by providing a unified system for computer-interpretable guideline managementFerreira da Silva, Alexandre; Oliveira, Tiago; Gonçalves, Filipe Manuel, et al.ArticleRestricted access (UMinho)
2018Evaluation of business intelligence project success in tintas Robbialac: work-in-progressTeixeira, Ana; Oliveira, Tiago; Varajão, JoãoAbstractRestricted access (UMinho)
2019Evaluation of business intelligence projects success - a case studyTeixeira, Ana; Oliveira, Tiago; Varajão, JoãoArticleRestricted access (UMinho)
Sep-2023Formally verifying Kyber. Episode IV: implementation correctnessAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.ArticleOpen access
2020Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity SettingOliveira, Tiago; Dauphin, Jérémie; Satoh, Ken, et al.Conference paperOpen access
26-May-2021Improving classification based on physical surface tension-neural net for the prediction of psychosocial-risk level in public school teachersNavarro, Rodolfo Mosquera; Castrillon, Omar Danilo; Osorio, Liliana Parra, et al.ArticleOpen access
2019Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al.Conference paperOpen access
2019OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editorOliveira, Tiago; Gonçalves, Filipe Manuel; Novais, Paulo, et al.ArticleOpen access
2019PrefaceRamos, Isabel; Quaresma, Rui; Silva, Paulo, et al.Conference editorialOpen access
Apr-2022Speculative computation: application scenariosRamos, João; Oliveira, Tiago; Carneiro, Davide Rua, et al.Book partOpen access
2020The factors influencing the success of on-going agile software development projectsTam, Carlos; da Costa Moura, Eduardo Joia; Oliveira, Tiago, et al.ArticleRestricted access (UMinho)
2020The last mile: High-Assurance and High-Speed cryptographic implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2018A unified system for clinical guideline management and executionSilva, António; Oliveira, Tiago; Gonçalves, Filipe, et al.Conference paperOpen access