Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
21
TITLE: Towards an Intelligent and Dynamic Geometry Book
AUTHORS: Quaresma, P;
PUBLISHED: 2017, SOURCE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 3-4
AUTHORS: Quaresma, P;
PUBLISHED: 2017, SOURCE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 3-4
22
TITLE: Are perfectionism cognitions and cognitive emotion regulation strategies mediators between perfectionism and psychological distress? Full Text
AUTHORS: Antonio Macedo; Cristiana Marques; Vasco Quaresma; Maria Joao Soares; Ana Paula Amaral; Ana Isabel Araujo; Ana Telma Pereira;
PUBLISHED: 2017, SOURCE: PERSONALITY AND INDIVIDUAL DIFFERENCES, VOLUME: 119
AUTHORS: Antonio Macedo; Cristiana Marques; Vasco Quaresma; Maria Joao Soares; Ana Paula Amaral; Ana Isabel Araujo; Ana Telma Pereira;
PUBLISHED: 2017, SOURCE: PERSONALITY AND INDIVIDUAL DIFFERENCES, VOLUME: 119
INDEXED IN: 
WOS
WOS23
TITLE: Current Status of the I2GATP Common Format
AUTHORS: Pedro Quaresma; Nuno Baeta;
PUBLISHED: 2015, SOURCE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
AUTHORS: Pedro Quaresma; Nuno Baeta;
PUBLISHED: 2015, SOURCE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
INDEXED IN: 
Scopus WOS
Scopus WOS IN MY: 
ORCID
ORCID24
TITLE: Automated Deduction in Geometry: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9-11, 2014 Revised Selected Papers
AUTHORS: Botana, F; Quaresma, P;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Botana, F; Quaresma, P;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID25
TITLE: Automated Deduction in Geometry
AUTHORS: Francisco Botana; Pedro Quaresma;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
AUTHORS: Francisco Botana; Pedro Quaresma;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
26
TITLE: Current Status of the I2GATP Common Format
AUTHORS: Pedro Quaresma; Nuno Baeta;
PUBLISHED: 2015, SOURCE: Automated Deduction in Geometry - Lecture Notes in Computer Science
AUTHORS: Pedro Quaresma; Nuno Baeta;
PUBLISHED: 2015, SOURCE: Automated Deduction in Geometry - Lecture Notes in Computer Science
27
TITLE: Preface
AUTHORS: Francisco Botana; Pedro Quaresma;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
AUTHORS: Francisco Botana; Pedro Quaresma;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID28
TITLE: Querying geometric figures using a controlled language, ontological graphs and dependency lattices
AUTHORS: Haralambous, Y; Quaresma, P;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Haralambous, Y; Quaresma, P;
PUBLISHED: 2014, SOURCE: 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
TITLE: Reproducing a geometric working session web geometry laboratory project
AUTHORS: Quaresma, P; Santos, V; Moral, J;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Quaresma, P; Santos, V; Moral, J;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID30
TITLE: Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
AUTHORS: Yannis Haralambous; Pedro Quaresma;
PUBLISHED: 2014, SOURCE: International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, VOLUME: 8543
AUTHORS: Yannis Haralambous; Pedro Quaresma;
PUBLISHED: 2014, SOURCE: International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, VOLUME: 8543
INDEXED IN: WOS
WOS