João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



251
TÍTULO: Realistic delay modeling in satisfiability-based timing analysis
AUTORES: Silva, LG ; Silva, JPM ; Silveira, L. Miguel ; Sakallah, KA;
PUBLICAÇÃO: 1998, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS 98) in ISCAS '98 - PROCEEDINGS OF THE 1998 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-6
INDEXADO EM: WOS CrossRef: 8
252
TÍTULO: Timing analysis using Propositional Satisfiability
AUTORES: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 3
INDEXADO EM: Scopus
NO MEU: ORCID
253
TÍTULO: Prime implicant computation using satisfiability algorithms
AUTORES: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLICAÇÃO: 1997, FONTE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 30
254
TÍTULO: Robust search algorithms for test pattern generation  Full Text
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1997, FONTE: 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27) in TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS
INDEXADO EM: WOS DBLP
NO MEU: DBLP
255
TÍTULO: Conflict analysis in search algorithms for satisfiability
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
256
TÍTULO: GRASP - A new search algorithm for satisfiability  Full Text
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
257
TÍTULO: Ravel-XL: A hardware accelerator for assigned-delay compiled-code logic gate simulation  Full Text
AUTORES: Riepe, MA; Marques, JP ; Sakallah, KA; Brown, RB;
PUBLICAÇÃO: 1996, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 4, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
258
TÍTULO: Dynamic search-space pruning techniques in path sensitization  Full Text
AUTORES: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference
INDEXADO EM: Scopus
NO MEU: ORCID
259
TÍTULO: Dynamic Search-Space Pruning Techniques in Path Sensitization
AUTORES: João Marques Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994.
INDEXADO EM: DBLP
NO MEU: DBLP
260
TÍTULO: Efficient and robust test generation-based timing analysis
AUTORES: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1
INDEXADO EM: Scopus
NO MEU: ORCID
Página 26 de 27. Total de resultados: 266.

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