| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | B | conf |
FMCAD
|
| 2020 | B | conf |
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.
FMCAD
|
| 2019 | B | conf |
FMCAD
|
| 2016 | A | conf |
ICCAD
|
| 2014 | Misc | conf |
VLSID
|
| 2011 | B | conf |
FMCAD
|
| 2011 | B | conf |
FMCAD
|
| 2009 | B | conf |
FMCAD
|
| 2006 | C | conf |
ICCD
|
| 2005 | A* | conf |
DAC
|
| 2004 | B | conf |
FMCAD
|