92
TÍTULO: Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms
AUTORES: Mauro C Argañaraz; Mario Marcelo Beron; Maria João Varanda Pereira; Pedro Rangel Henriques;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
93
TÍTULO: Development of Q&A Systems Using AcQA
AUTORES: Renato Preigschadt de Azevedo; Maria João Varanda Pereira; Pedro Rangel Henriques;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
94
TÍTULO: BhTSL, Behavior Trees Specification and Processing
AUTORES: Miguel Oliveira; Pedro Mimoso Silva; Pedro Moura; José João Almeida; Pedro Rangel Henriques;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
95
TÍTULO: Analysis of human activities and identification of uncertain situations in context-aware systems
AUTORES: Freitas, LO; Henriques, PR; Paulo Novais;
PUBLICAÇÃO: 2020, FONTE: International Journal of Artificial Intelligence, VOLUME: 18, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
96
TÍTULO: Preface
AUTORES: Simões, A; Henriques, PR; Queirós, R;
PUBLICAÇÃO: 2020, FONTE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXADO EM: Scopus
NO MEU: ORCID
97
TÍTULO: Development of Q&A systems using AcQA
AUTORES: De Azevedo, RP; Pereira, MJV; Henriques, PR;
PUBLICAÇÃO: 2020, FONTE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXADO EM: Scopus
NO MEU: ORCID
98
TÍTULO: Detection of vulnerabilities in smart contracts specifications in ethereum platforms
AUTORES: Argañaraz, MC; Berón, MM; Pereira, MJV; Henriques, PR;
PUBLICAÇÃO: 2020, FONTE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXADO EM: Scopus
NO MEU: ORCID
99
TÍTULO: OntoJogo: An Ontology for Game Classification
AUTORES: Salete Teixeira; Raul Vilas Boas; Francisco Oliveira; Cristiana Araújo; Pedro Rangel Henriques;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
100
TÍTULO: C Tutor usage in relation to student achievement and progress: A study of introductory programming courses in Portugal and Serbia
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: Comput. Appl. Eng. Educ., VOLUME: 28, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
Página 10 de 17. Total de resultados: 170.