João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 264



161
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
162
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
163
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
164
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
165
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
166
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
167
TÍTULO: Backtracking
AUTORES: Inês Lynce ; Vasco Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
INDEXADO EM: DBLP CrossRef
168
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 | DBLP
169
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
170
TÍTULO: Efficient haplotype inference with combined CP and OR techniques
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, VOLUME: 5015
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
Página 17 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