Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Publications Requiring Validation

91
TITLE: Improving Game-Based Learning Experience Through Game Appropriation
AUTHORS: Salete Teixeira; Diana Barbosa; Cristiana Araújo; Pedro Rangel Henriques;
PUBLISHED: 2020, SOURCE: First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81
INDEXED IN: DBLP
IN MY: DBLP
92
93
TITLE: Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms
AUTHORS: Mauro C Argañaraz; Mario Marcelo Beron; Maria João Varanda Pereira; Pedro Rangel Henriques;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83
INDEXED IN: DBLP
IN MY: DBLP
94
TITLE: Development of Q&A Systems Using AcQA
AUTHORS: Renato Preigschadt de Azevedo; Maria João Varanda Pereira; Pedro Rangel Henriques;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83
INDEXED IN: DBLP
IN MY: DBLP
95
TITLE: BhTSL, Behavior Trees Specification and Processing
AUTHORS: Miguel Oliveira; Pedro Mimoso Silva; Pedro Moura; José João Almeida; Pedro Rangel Henriques;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
96
TITLE: Analysis of human activities and identification of uncertain situations in context-aware systems
AUTHORS: Freitas, LO; Henriques, PR; Paulo Novais;
PUBLISHED: 2020, SOURCE: International Journal of Artificial Intelligence, VOLUME: 18, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
97
TITLE: Preface
AUTHORS: Simões, A; Henriques, PR; Queirós, R;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXED IN: Scopus
IN MY: ORCID
98
TITLE: Development of Q&A systems using AcQA
AUTHORS: De Azevedo, RP; Pereira, MJV; Henriques, PR;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXED IN: Scopus
IN MY: ORCID
99
TITLE: Detection of vulnerabilities in smart contracts specifications in ethereum platforms
AUTHORS: Argañaraz, MC; Berón, MM; Pereira, MJV; Henriques, PR;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXED IN: Scopus
IN MY: ORCID
100
TITLE: OntoJogo: An Ontology for Game Classification
AUTHORS: Salete Teixeira; Raul Vilas Boas; Francisco Oliveira; Cristiana Araújo; Pedro Rangel Henriques;
PUBLISHED: 2020, SOURCE: 8th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2020 in 8th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2020, Vancouver, BC, Canada, August 12-14, 2020
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 10 of 18. Total results: 171.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service