82
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
83
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
84
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
85
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
86
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
87
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
88
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
89
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
90
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
INDEXED IN: DBLP
IN MY: DBLP
Page 9 of 16. Total results: 156.