João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 264



161
TITLE: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
162
TITLE: SMT-Based Bounded Model Checking for Embedded ANSI-C Software
AUTHORS: Cordeiro, L; Fischer, B; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 24th IEEE/ACM International Conference on Automated Software Engineering in 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 44 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
163
TITLE: Spatial and temporal design debug using partial MaxSAT
AUTHORS: Yibin Chen; Sean Safarpour; Andreas G Veneris; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
164
TITLE: TG-PRO: A new model for SAT-based ATPG
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2009, SOURCE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
INDEXED IN: Scopus DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | DBLP
165
TITLE: A MAX-SAT Algorithm Portfolio
AUTHORS: Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques Silva ;
PUBLISHED: 2008, SOURCE: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, VOLUME: 178
INDEXED IN: DBLP
IN MY: DBLP
166
TITLE: Algorithms for Maximum Satisfiability using Unsatisfiable Cores
AUTHORS: João Marques Silva ; Jordi Planes;
PUBLISHED: 2008, SOURCE: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008
INDEXED IN: Scopus DBLP CrossRef: 17 Unpaywall
IN MY: ORCID | DBLP
167
TITLE: Backtracking
AUTHORS: Inês Lynce ; Vasco Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP CrossRef
168
TITLE: Boosting haplotype inference with local search  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 11 Unpaywall
IN MY: ORCID | DBLP
169
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTHORS: Morgado, António ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451
INDEXED IN: Scopus DBLP
170
TITLE: Efficient haplotype inference with combined CP and OR techniques
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 7
Page 17 of 27. Total results: 264.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service