| 2007 |
|---|
| 3 | EE | Felipe S. Marques,
Leomar S. da Rosa Jr.,
Renato P. Ribas,
Sachin S. Sapatnekar,
André Inácio Reis:
DAG based library-free technology mapping.
ACM Great Lakes Symposium on VLSI 2007: 293-298 |
| 2006 |
|---|
| 2 | EE | Leomar S. da Rosa Jr.,
Felipe S. Marques,
Tiago Muller Gil Cardoso,
Renato P. Ribas,
Sachin S. Sapatnekar,
André Inácio Reis:
Fast disjoint transistor networks from BDDs.
SBCCI 2006: 137-142 |
| 2005 |
|---|
| 1 | EE | Felipe S. Marques,
Renato P. Ribas,
Sachin S. Sapatnekar,
André Inácio Reis:
A new approach to the use of satisfiability in false path detection.
ACM Great Lakes Symposium on VLSI 2005: 308-311 |
