| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
ASPLOS (3)
|
| 2023 | — | conf |
ASPLOS (4)
|
| 2022 | A* | conf |
AAAI
|
| 2018 | J | jnl |
J. ACM
|
| 2014 | Misc | conf |
ISAIM
|
| 2013 | A | conf |
CP
|
| 2013 | A | conf |
ICCAD
|
| 2013 | A* | conf |
IJCAI
|
| 2011 | J | jnl |
Artif. Intell.
|
| 2011 | A* | conf |
DAC
|
| 2011 | A* | conf |
ICAPS
|
| 2011 | — | conf |
ASP-DAC
|
| 2010 | J | jnl |
Ann. Oper. Res.
|
| 2010 | J | jnl |
IEEE Des. Test Comput.
|
| 2010 | — | conf |
ISPD
|
| 2009 | A | conf |
ICCAD
|
| 2008 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2008 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2008 | — | conf |
ASP-DAC
|
| 2008 | A* | conf |
DAC
|
| 2008 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2008 | — | conf |
ISPD
|
| 2008 | — | conf |
ISPD
|
| 2007 | — | — |
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | A* | conf |
AAAI
|
| 2006 | A* | conf |
DAC
|
| 2006 | A* | conf |
ICAPS
|
| 2006 | A* | conf |
AAAI
|
| 2005 | — | conf |
AAAI Spring Symposium: Persistent Assistants: Living and Working with AI
|
| 2005 | A | conf |
IUI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | A* | conf |
AAAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | Misc | conf |
FLAIRS
|
| 2005 | A* | conf |
ICAPS
|