Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



81
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
82
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: ASE
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
83
TÍTULO: Boolean Lexicographic Optimization
AUTORES: João Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLICAÇÃO: 2010, FONTE: RCRA@CPAIOR, VOLUME: 616
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
84
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: DBLP
85
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: ANB, VOLUME: 6479 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 9 Unpaywall
NO MEU: DBLP
86
TÍTULO: Haplotype Inference by Pure Parsimony: A Survey
AUTORES: Graça, 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: DBLP
87
TÍTULO: Improving Search Space Splitting for Parallel SAT Solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: DBLP
88
TÍTULO: Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTORES: Manquinho, V ; Martins, R; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: DBLP
89
TÍTULO: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
90
TÍTULO: On Computing Backbones of Propositional Theories
AUTORES: Marques Silva, J ; Janota, M; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
Página 9 de 14. Total de resultados: 140.

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

Links Úteis

Ajuda

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