| 2011 | SAT | Empirical Study of the Anatomy of Modern Sat Solvers. | Hadi Katebi, Karem A. Sakallah, Joo P. Marques Silva |
| 2000 | DAC | Boolean satisfiability in electronic design automation. | Joo P. Marques Silva, Karem A. Sakallah |
| 2000 | DATE | On Applying Incremental Satisfiability to Delay Fault Testing. | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, Joo P. Marques Silva |
| 2000 | DATE | An Experimental Study of Satisfiability Search Heuristics. | Karem A. Sakallah, Fadi A. Aloul, Joo P. Marques Silva |
| 1998 | ASPDAC | Integer Programming Models for Optimization Problems in Test Generation. | Joo P. Marques Silva |
| 1998 | ICCD | An exact solution to the minimum size test pattern problem. | Paulo F. Flores, Horcio C. Neto, Joo P. Marques Silva |
| 1998 | SPIRE | Efficient Search Techniques for the Inference of Minimum Size Finite Automata. | Arlindo L. Oliveira, Joo P. Marques Silva |
| 1997 | ICTAI | Prime Implicant Computation Using Satisfiability Algorithms. | Vasco M. Manquinho, Paulo F. Flores, Joo P. Marques Silva, Arlindo L. Oliveira |
| 1996 | ICCAD | GRASP - a new search algorithm for satisfiability. | Joo P. Marques Silva, Karem A. Sakallah |
| 1996 | ICTAI | Conflict Analysis in Search Algorithms for Satisfiability. | Joo P. Marques Silva, Karem A. Sakallah |
| 1994 | DAC | Dynamic Search-Space Pruning Techniques in Path Sensitization. | Joo P. Marques Silva, Karem A. Sakallah |
| 1994 | ISCAS | Efficient and Robust Test Generation-Based Timing Analysis. | Joo P. Marques Silva, Karem A. Sakallah |
| 1993 | ICCD | Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation. | Michael A. Riepe, Joo P. Marques Silva, Karem A. Sakallah, Richard B. Brown |
| 1993 | ICCD | An Analysis of Path Sensitization Criteria. | Joo P. Marques Silva, Karem A. Sakallah |
| 1991 | ICCAD | FPD - An Environment for Exact Timing Analysis. | Joo P. Marques Silva, Karem A. Sakallah, Lus M. Vidigal |