Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



91
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
92
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
93
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
94
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 | CIÊNCIAVITAE
95
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
96
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 | CIÊNCIAVITAE
97
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: ORCID | DBLP | CIÊNCIAVITAE
98
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: 9
NO MEU: ORCID | CIÊNCIAVITAE
99
TÍTULO: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, 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: ORCID | DBLP | CIÊNCIAVITAE
100
TÍTULO: On Computing Backbones of Propositional Theories
AUTORES: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 10 de 16. Total de resultados: 152.

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

Links Úteis

Ajuda

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