Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 156



91
TÍTULO: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTORES: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2011, FONTE: LoCoCo, VOLUME: 65
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
92
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 107, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
93
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
INDEXADO EM: CrossRef: 1 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
94
TÍTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
95
TÍTULO: Apt-pbo. solving the software dependency problem using pseudo-boolean optimization
AUTORES: Paulo Trezentos; Inês Lynce ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
INDEXADO EM: CrossRef: 21
NO MEU: ORCID | CIÊNCIAVITAE
96
TÍTULO: Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization
AUTORES: Trezentos, P; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
97
TÍTULO: Boolean Lexicographic Optimization PDF
AUTORES: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
98
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTORES: Delgado, J; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
99
TÍTULO: Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
AUTORES: Ana Graça; Inês Lynce ; João Marques Silva ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2010, FONTE: Algebraic and Numeric Biology - 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers, VOLUME: 6479
INDEXADO EM: DBLP Unpaywall
NO MEU: DBLP
100
TÍTULO: Haplotype Inference by Pure Parsimony: A Survey
AUTORES: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 10 de 16. Total de resultados: 156.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service