Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
21
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 WOS22
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
Scopus23
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
WOS24
TITLE: The web geometry laboratory project
AUTHORS: Quaresma, P; Santos, V; Bouallegue, S;
PUBLISHED: 2013, SOURCE: Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7961 LNAI
AUTHORS: Quaresma, P; Santos, V; Bouallegue, S;
PUBLISHED: 2013, SOURCE: Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7961 LNAI
25
TITLE: Collaborative Environment for Geometry
AUTHORS: Vanda Santos; Pedro Quaresma;
PUBLISHED: 2013, SOURCE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13)
AUTHORS: Vanda Santos; Pedro Quaresma;
PUBLISHED: 2013, SOURCE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13)
INDEXED IN: Scopus WOS
Scopus WOS26
TITLE: The full angle method on the OpenGeoProver
AUTHORS: Baeta, N; Quaresma, P;
PUBLISHED: 2013, SOURCE: Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 in CEUR Workshop Proceedings, VOLUME: 1010
AUTHORS: Baeta, N; Quaresma, P;
PUBLISHED: 2013, SOURCE: Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 in CEUR Workshop Proceedings, VOLUME: 1010
INDEXED IN: Scopus
Scopus27
TITLE: The Area Method A Recapitulation Full Text
AUTHORS: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, ISSUE: 4
AUTHORS: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS28
TITLE: Effect of the calcination temperature on the composition and microstructure of hydroxyapatite derived from human and animal bone Full Text
AUTHORS: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLISHED: 2010, SOURCE: CERAMICS INTERNATIONAL, VOLUME: 36, ISSUE: 8
AUTHORS: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLISHED: 2010, SOURCE: CERAMICS INTERNATIONAL, VOLUME: 36, ISSUE: 8
29
TITLE: The Area Method - A Recapitulation
AUTHORS: Janicic, P; Narboux, J; Quaresma, P;
PUBLISHED: 2010, SOURCE: Journal of Automated Reasoning
AUTHORS: Janicic, P; Narboux, J; Quaresma, P;
PUBLISHED: 2010, SOURCE: Journal of Automated Reasoning
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID30
TITLE: The Area Method. A Recapitulation Full Text
AUTHORS: Predrag Janičić; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2010, SOURCE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 48, ISSUE: 4
AUTHORS: Predrag Janičić; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2010, SOURCE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 48, ISSUE: 4
