João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 264



141
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
142
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 102, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
143
TÍTULO: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | DBLP
144
TÍTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
145
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
146
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
147
TÍTULO: How to Complete an Interactive Configuration Process?
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
148
TÍTULO: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
AUTORES: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 in Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, VOLUME: 6255
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
149
TÍTULO: Minimal Unsatisfiability: Models, Algorithms & Applications
AUTORES: Marques Silva, J ;
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
NO MEU: ResearcherID
150
TÍTULO: Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)
AUTORES: João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010
INDEXADO EM: DBLP CrossRef: 28 Unpaywall
NO MEU: ORCID | DBLP
Página 15 de 27. Total de resultados: 264.

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