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