Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
21
TÃTULO: Preface
AUTORES: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: 
WOS
WOS22
TÃTULO: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface
AUTORES: Serge Autexier; Pedro Quaresma;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 239
AUTORES: Serge Autexier; Pedro Quaresma;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 239
INDEXADO EM: WOS
WOS23
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
24
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
WOS25
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
ORCID26
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
ORCID27
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
28
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
29
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
ORCID30
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
