Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
21
TÃTULO: Towards an Intelligent and Dynamic Geometry Book
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 3-4
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 3-4
22
TÃTULO: Are perfectionism cognitions and cognitive emotion regulation strategies mediators between perfectionism and psychological distress? Full Text
AUTORES: Antonio Macedo; Cristiana Marques; Vasco Quaresma; Maria Joao Soares; Ana Paula Amaral; Ana Isabel Araujo; Ana Telma Pereira;
PUBLICAÇÃO: 2017, FONTE: PERSONALITY AND INDIVIDUAL DIFFERENCES, VOLUME: 119
AUTORES: Antonio Macedo; Cristiana Marques; Vasco Quaresma; Maria Joao Soares; Ana Paula Amaral; Ana Isabel Araujo; Ana Telma Pereira;
PUBLICAÇÃO: 2017, FONTE: PERSONALITY AND INDIVIDUAL DIFFERENCES, VOLUME: 119
INDEXADO EM: 
WOS
WOS23
TÃTULO: Current Status of the I2GATP Common Format
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
INDEXADO EM: 
Scopus WOS
Scopus WOS NO MEU: 
ORCID
ORCID24
TÃTULO: Automated Deduction in Geometry: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9-11, 2014 Revised Selected Papers
AUTORES: Botana, F; Quaresma, P;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry, ADG 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
AUTORES: Botana, F; Quaresma, P;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry, ADG 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID25
TÃTULO: Automated Deduction in Geometry
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
26
TÃTULO: Current Status of the I2GATP Common Format
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: Automated Deduction in Geometry - Lecture Notes in Computer Science
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: Automated Deduction in Geometry - Lecture Notes in Computer Science
27
TÃTULO: Preface
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID28
TÃTULO: Querying geometric figures using a controlled language, ontological graphs and dependency lattices
AUTORES: Haralambous, Y; Quaresma, P;
PUBLICAÇÃO: 2014, FONTE: 2014 International Conference on Intelligent Computer Mathematics, CICM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8543 LNAI
AUTORES: Haralambous, Y; Quaresma, P;
PUBLICAÇÃO: 2014, FONTE: 2014 International Conference on Intelligent Computer Mathematics, CICM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8543 LNAI
29
TÃTULO: Reproducing a geometric working session web geometry laboratory project
AUTORES: Quaresma, P; Santos, V; Moral, J;
PUBLICAÇÃO: 2014, FONTE: Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 in CEUR Workshop Proceedings, VOLUME: 1186
AUTORES: Quaresma, P; Santos, V; Moral, J;
PUBLICAÇÃO: 2014, FONTE: Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 in CEUR Workshop Proceedings, VOLUME: 1186
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID30
TÃTULO: Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
AUTORES: Yannis Haralambous; Pedro Quaresma;
PUBLICAÇÃO: 2014, FONTE: International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, VOLUME: 8543
AUTORES: Yannis Haralambous; Pedro Quaresma;
PUBLICAÇÃO: 2014, FONTE: International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, VOLUME: 8543
INDEXADO EM: WOS
WOS