João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 265



161
TÍTULO: Restoring CSP Satisfiability with MaxSAT
AUTORES: Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: RCRA@AI*IA, VOLUME: 589, NÚMERO: 2-3
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID
162
TÍTULO: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
163
TÍTULO: SMT-Based Bounded Model Checking for Embedded ANSI-C Software
AUTORES: Cordeiro, L; Fischer, B; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 24th IEEE/ACM International Conference on Automated Software Engineering in 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 44 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
164
TÍTULO: Spatial and temporal design debug using partial MaxSAT
AUTORES: Yibin Chen; Sean Safarpour; Andreas G Veneris; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 19th ACM Great Lakes Symposium on VLSI, GLSVLSI '09 in Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
165
TÍTULO: TG-PRO: A new model for SAT-based ATPG
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | DBLP
166
TÍTULO: A MAX-SAT Algorithm Portfolio
AUTORES: Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, VOLUME: 178
INDEXADO EM: DBLP
NO MEU: DBLP
167
TÍTULO: Algorithms for Maximum Satisfiability using Unsatisfiable Cores
AUTORES: João Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2008, FONTE: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008
INDEXADO EM: Scopus DBLP CrossRef: 17 Unpaywall
NO MEU: ORCID | DBLP
168
TÍTULO: Backtracking
AUTORES: Inês Lynce ; Vasco M Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
169
TÍTULO: Boosting haplotype inference with local search  Full Text
AUTORES: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLICAÇÃO: 2008, FONTE: CONSTRAINTS, VOLUME: 13, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Unpaywall
NO MEU: ORCID
170
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTORES: Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: RCRA, VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 17 de 27. Total de resultados: 265.

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