Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
41
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
42
TITLE: Supporting fraud analysis in mobile telecommunications using case-based reasoning
AUTHORS: Pedro Almeida; Marco Jorge; Luis Cortes; Filipe Martins; Marco Vieira ; Paulo Gomes;
PUBLISHED: 2008, SOURCE: 9th European Conference on Case-Based Reasoning in ADVANCES IN CASE-BASED REASONING, PROCEEDINGS, VOLUME: 5239
AUTHORS: Pedro Almeida; Marco Jorge; Luis Cortes; Filipe Martins; Marco Vieira ; Paulo Gomes;
PUBLISHED: 2008, SOURCE: 9th European Conference on Case-Based Reasoning in ADVANCES IN CASE-BASED REASONING, PROCEEDINGS, VOLUME: 5239
43
TITLE: Automatic verification of regular constructions in dynamic geometry systems
AUTHORS: Predrag Janicic; Pedro Quaresma;
PUBLISHED: 2007, SOURCE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
AUTHORS: Predrag Janicic; Pedro Quaresma;
PUBLISHED: 2007, SOURCE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
INDEXED IN: 
WOS
WOS44
TITLE: Automatic Verification of Regular Constructions in Dynamic Geometry Systems
AUTHORS: Predrag Janičić; Pedro Quaresma;
PUBLISHED: 2007, SOURCE: Lecture Notes in Computer Science - Automated Deduction in Geometry
AUTHORS: Predrag Janičić; Pedro Quaresma;
PUBLISHED: 2007, SOURCE: Lecture Notes in Computer Science - Automated Deduction in Geometry
45
TITLE: System Description: GCLCprover + GeoThms
AUTHORS: Predrag Janičić; Pedro Quaresma;
PUBLISHED: 2006, SOURCE: Lecture Notes in Computer Science - Automated Reasoning
AUTHORS: Predrag Janičić; Pedro Quaresma;
PUBLISHED: 2006, SOURCE: Lecture Notes in Computer Science - Automated Reasoning
