Pedro Manuel Rangel Santos Henriques
AuthID: R-000-EWT
91
TITLE: 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)
AUTHORS: Alberto Simões; Pedro Rangel Henriques; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: SLATE, VOLUME: 83
AUTHORS: Alberto Simões; Pedro Rangel Henriques; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: SLATE, VOLUME: 83
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP92
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
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
DBLP IN MY: DBLP
DBLP93
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
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
DBLP IN MY: DBLP
DBLP94
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
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
95
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
AUTHORS: Freitas, LO; Henriques, PR; Paulo Novais;
PUBLISHED: 2020, SOURCE: International Journal of Artificial Intelligence, VOLUME: 18, ISSUE: 2
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID96
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
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
Scopus IN MY: ORCID
ORCID97
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
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
Scopus IN MY: ORCID
ORCID98
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
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
Scopus IN MY: ORCID
ORCID99
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
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
100
TITLE: C Tutor usage in relation to student achievement and progress: A study of introductory programming courses in Portugal and Serbia
AUTHORS: Luís Alves; Dusan B Gajic; Pedro Rangel Henriques; Vladimir Ivancevic; Vladimir Ivkovic; Maksim Lalic; Ivan Lukovic; Maria João Varanda Pereira; Srdan Popov; Paula Correia Tavares;
PUBLISHED: 2020, SOURCE: Comput. Appl. Eng. Educ., VOLUME: 28, ISSUE: 5
AUTHORS: Luís Alves; Dusan B Gajic; Pedro Rangel Henriques; Vladimir Ivancevic; Vladimir Ivkovic; Maksim Lalic; Ivan Lukovic; Maria João Varanda Pereira; Srdan Popov; Paula Correia Tavares;
PUBLISHED: 2020, SOURCE: Comput. Appl. Eng. Educ., VOLUME: 28, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP