Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



91
TITLE: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTHORS: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLISHED: 2011, SOURCE: LoCoCo, VOLUME: 65
INDEXED IN: DBLP arXiv
IN MY: DBLP
92
TITLE: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
93
TITLE: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
INDEXED IN: CrossRef: 1 Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
94
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce ;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
95
TITLE: Apt-pbo. solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Paulo Trezentos; Inês Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
INDEXED IN: CrossRef: 21
IN MY: ORCID | CIÊNCIAVITAE
96
TITLE: Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Trezentos, P; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 in ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
97
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLISHED: 2010, SOURCE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
98
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
99
TITLE: Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
AUTHORS: Ana Graça; Inês Lynce ; João Marques Silva ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Algebraic and Numeric Biology - 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers, VOLUME: 6479
INDEXED IN: DBLP Unpaywall
IN MY: DBLP
100
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 10 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service