| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | A | conf |
DATE
|
| 2010 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2009 | A | conf |
SAT
|
| 2008 | A* | conf |
CAV
|
| 2007 | J | jnl |
J. Satisf. Boolean Model. Comput.
|
| 2006 | Misc | conf |
CODES+ISSS
|
| 2006 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2006 | A | conf |
ICCAD
|
| 2006 | A | conf |
DATE
|
| 2005 | A | conf |
TACAS
|
| 2005 | A* | conf |
DAC
|
| 2004 | — | conf |
BMC@CAV
|
| 2004 | A | conf |
SAT
|
| 2004 | — | conf |
SAT (Selected Papers
|
| 2004 | A* | conf |
CAV
|
| 2004 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2004 | A* | conf |
DAC
|
| 2003 | A | conf |
ICCAD
|
| 2002 | A | conf |
TACAS
|
| 2002 | A | conf |
TACAS
|
| 1999 | A | conf |
ISLPED
|