|
Ana Sofia GraçaPhD in Computer ScienceInstituto Superior Técnico Technical University of Lisbon, Portugal INESC-ID Lisboa, SAT Group Rua Alves Redol 9, sala 328A 1000-029 Lisboa, Portugal Phone: +351 21 3100387 Fax: +351 21 3145843 Email: assg_at_sat.inesc-id.pt |
Phd in Information Systems and Computer Engineering, Instituto Superior Técnico (IST), Technical University of Lisbon, January 2011
Applied Mathematics and Computation Degree (5-year degree), Instituto Superior Técnico (IST), Technical University of Lisbon, September 2006
Book Chapters:
Ana Graça, João Marques-Silva, and Inês Lynce, "Haplotype Inference using Propositional Satisfiability", Mathematical Approaches to Polymer Sequence Analysis, Springer, In Press.
Journals:
João Marques-Silva, Josep Argelich, Ana Graça and Inês Lynce "Boolean Lexicographic Optimization: Algorithms & Applications", Annals of Mathematics and Artificial Intelligence, In Press.
Ana Graça, Inês Lynce, João Marques-Silva, and Arlindo Oliveira, "Haplotype Inference by Pure Parsimony: a Survey", Journal Computational Biology, 17(8): 969-992, 2010, Mary Ann Liebert.
Ana Graça, João Marques-Silva, Inês Lynce, and Arlindo Oliveira, "Haplotype Inference with Pseudo-Boolean Optimization", Annals of Operations Research, 184: 137-162, 2011, Springer.
Conferences and Workshops:
Ana Graça, Inês Lynce, João Marques-Silva, and Arlindo Oliveira, "Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information", Algebraic and Numeric Biology (ANB'10), July-August 2010, Hagenberg, Austria.
João Marques-Silva, Josep Argelich, Ana Graça, and Inês Lynce "Boolean Lexicographic Optimization", International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA'10), June 2010, Bologna, Italy.
Ana Graça, Inês Lynce, João Marques-Silva, and Arlindo Oliveira, "Haplotype Inference Combining Pedigrees and Unrelated Individuals", Workshop on Constraint Based Methos for Bioinformatics (WCB'09), September 2009, Lisbon, Portugal.
Inês Lynce, Ana Graça, João Marques-Silva, and Arlindo Oliveira, "Haplotype Inference with Boolean Constraint Solving: an Overview", 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08), November 2008, Dayton, Ohio, USA.
Ana Graça, Inês Lynce, João Marques-Silva, and Arlindo Oliveira, "Generic ILP vs Specialized 0-1 ILP for Haplotype Inference", Workshop on Constraint Based Methos for Bioinformatics (WCB'08), May 2008, Paris, France.
Ana Graça, João Marques-Silva, Inês Lynce and Arlindo Oliveira, "Efficient Haplotype Inference with Combined CP and OR Techniques", International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), LNCS 5015, May 2008, Paris, France.
João Marques-Silva, Inês Lynce, Ana Graça, and Arlindo Oliveira, "Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony", Portuguese Conference on Artificial Intelligence (EPIA'07), LNAI 4874, December 2007, Guimarães, Portugal.
Ana Graça, João Marques-Silva, Inês Lynce, and Arlindo Oliveira, "Efficient Haplotype Inference with Pseudo-Boolean Optimization", Algebraic Biology (AB'07), LNCS 4545, July 2007, Hagenberg, Austria.
Posters:
Ana Graça, Inês Lynce, João Marques-Silva, and Arlindo Oliveira, "On the Accuracy of Haplotype Inference Methods", International Conference on Research in Computational Molecular Biology (RECOMB'10), August 2010, Lisbon, Portugal.
Ana Graça, João Marques-Silva, Inês Lynce, and Arlindo Oliveira, "Efficient Haplotype Inference with Pseudo-Boolean Optimization", ACAI 2007: Logic for Artificial Intelligence Summer School, August 2007, Leuven, Belgium.
PhD thesis:
Satisfiability-based Algorithms for Haplotype Inference, Instituto Superior Técnico, January 2011
Graduation thesis:
Haplotype Inference by Pure Parsimony using Pseudo-Boolean Optimization, Instituto Superior Técnico, September 2006