Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
11
TÃTULO: Proceedings 7th International Workshop on Theorem proving components for Educational software Oxford, United Kingdom, 18 july 2018 Preface
AUTORES: Pedro Quaresma; Walther Neuper;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 290
AUTORES: Pedro Quaresma; Walther Neuper;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 290
INDEXADO EM: 
WOS
WOS12
TÃTULO: Extracellular matrix during physiological and pathological cardiac aging: a proteomic study Full Text
AUTORES: Deolinda Santinha; Alessandro Ori; Henrique Almeida; Patricia Gomes Alves; Paula Alves; Lino Ferreira;
PUBLICAÇÃO: 2019, FONTE: EUROPEAN JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 49
AUTORES: Deolinda Santinha; Alessandro Ori; Henrique Almeida; Patricia Gomes Alves; Paula Alves; Lino Ferreira;
PUBLICAÇÃO: 2019, FONTE: EUROPEAN JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 49
INDEXADO EM: WOS
WOS13
TÃTULO: Geometrography in Dynamic Geometry
AUTORES: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, NÚMERO: 2
AUTORES: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, NÚMERO: 2
INDEXADO EM: WOS
WOS14
TÃTULO: COLLABORATIVE ASPECTS IN AN ELEARNING CLASSROOM
AUTORES: Santos, V; Quaresma, P;
PUBLICAÇÃO: 2019, FONTE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019)
AUTORES: Santos, V; Quaresma, P;
PUBLICAÇÃO: 2019, FONTE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019)
INDEXADO EM: WOS
WOS15
TÃTULO: Computer-Generated Geometry Proofs in a Learning Context
AUTORES: Pedro Quaresma; Vanda Santos;
PUBLICAÇÃO: 2019, FONTE: Mathematics Education in the Digital Era - Proof Technology in Mathematics Research and Teaching
AUTORES: Pedro Quaresma; Vanda Santos;
PUBLICAÇÃO: 2019, FONTE: Mathematics Education in the Digital Era - Proof Technology in Mathematics Research and Teaching
16
TÃTULO: WGL, a web laboratory for geometry
AUTORES: Quaresma, P; Santos, V; Maric, M;
PUBLICAÇÃO: 2018, FONTE: EDUCATION AND INFORMATION TECHNOLOGIES, VOLUME: 23, NÚMERO: 1
AUTORES: Quaresma, P; Santos, V; Maric, M;
PUBLICAÇÃO: 2018, FONTE: EDUCATION AND INFORMATION TECHNOLOGIES, VOLUME: 23, NÚMERO: 1
17
TÃTULO: Web geometry laboratory: case studies in Portugal and Serbia Full Text
AUTORES: Vanda Santos; Pedro Quaresma; Milena Maric; Campos, H. ;
PUBLICAÇÃO: 2018, FONTE: INTERACTIVE LEARNING ENVIRONMENTS, VOLUME: 26, NÚMERO: 1
AUTORES: Vanda Santos; Pedro Quaresma; Milena Maric; Campos, H. ;
PUBLICAÇÃO: 2018, FONTE: INTERACTIVE LEARNING ENVIRONMENTS, VOLUME: 26, NÚMERO: 1
18
TÃTULO: Exchange of Geometric Information Between Applications
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: WOS
WOS19
TÃTULO: Automatic Deduction in an AI Geometry Book
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2018, FONTE: 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), VOLUME: 11110
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2018, FONTE: 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), VOLUME: 11110
20
TÃTULO: Exchange of Geometric Information Between Applications
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
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: Pedro Quaresma; Vanda Santos; Nuno Baeta;
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
WOS