| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | — | conf |
SIGCSE (2)
|
| 2019 | A | conf |
SIGCSE
|
| 2019 | A | conf |
SIGCSE
|
| 2017 | A | conf |
SIGCSE
|
| 2016 | A | conf |
SIGCSE
|
| 2016 | A | conf |
SIGCSE
|
| 2015 | A | conf |
SIGCSE
|
| 2015 | A | conf |
SIGCSE
|
| 2015 | A | conf |
SIGCSE
|
| 2015 | A | conf |
SIGCSE
|
| 2014 | A | conf |
SIGCSE
|
| 2014 | A | conf |
SIGCSE
|
| 2013 | J | jnl |
ACM SIGCSE Bull.
|
| 2013 | A | conf |
SIGCSE
|
| 2013 | A | conf |
SIGCSE
|
| 2013 | A | conf |
SIGCSE
|
| 2012 | A | conf |
SIGCSE
|
| 2012 | J | jnl |
ACM SIGCSE Bull.
|
| 2012 | J | jnl |
Inroads
|
| 2012 | A | conf |
SIGCSE
|
| 2012 | A | conf |
SIGCSE
|
| 2011 | A | conf |
SIGCSE
|
| 2011 | A | conf |
SIGCSE
|
| 2011 | J | jnl |
ACM SIGCSE Bull.
|
| 2010 | A | conf |
SIGCSE
|
| 2009 | J | jnl |
J. Comput. Sci. Coll.
|
| 2009 | A | conf |
SIGCSE
|
| 2009 | J | jnl |
ACM Crossroads
|
| 2009 | A | conf |
SIGCSE
|
| 2009 | J | jnl |
ACM SIGCSE Bull.
|
| 2009 | A | conf |
SIGCSE
|
| 2009 | J | jnl |
Commun. ACM
|
| 2009 | A | conf |
SIGCSE
|
| 2008 | A | conf |
SIGCSE
|
| 2007 | J | jnl |
ACM SIGCSE Bull.
|
| 2007 | J | jnl |
ACM SIGCSE Bull.
|
| 2007 | A | conf |
SIGCSE
|
| 2006 | A | conf |
SIGCSE
|
| 2005 | J | jnl |
J. Comput. Sci. Coll.
|
| 2005 | A | conf |
SIGCSE
|
| 2004 | A | conf |
SIGCSE
|
| 2004 | A | conf |
SIGCSE
|
| 2003 | A | conf |
SIGCSE
|
| 2001 | A | conf |
SIGCSE
|
| 2001 | A | conf |
SIGCSE
|
| 2001 | A | conf |
SIGCSE
|
| 2000 | B | conf |
ITiCSE
|
| 2000 | A | conf |
SIGCSE
|
| 1999 | A | conf |
SIGCSE
|
| 1998 | A | conf |
SIGCSE
|
| 1998 | B | conf |
ITiCSE
|
| 1998 | A | conf |
SIGCSE
|
| 1998 | A | conf |
SIGCSE
|
| 1998 | A | conf |
SIGCSE
|
| 1997 | A | conf |
SIGCSE
|
| 1997 | J | jnl |
J. Autom. Reason.
|
| 1997 | J | jnl |
ACM SIGCSE Bull.
|
| 1996 | J | jnl |
ACM Comput. Surv.
|
| 1995 | A | conf |
SIGCSE
|
| 1994 | A | conf |
SIGCSE
|
| 1994 | J | jnl |
J. Autom. Reason.
|
| 1994 | A | conf |
SIGCSE
|
| 1994 | A | conf |
SIGCSE
|
| 1994 | A | conf |
SIGCSE
|
| 1993 | A | conf |
SIGCSE
|
| 1992 | A | conf |
CADE
|
| 1992 | A | conf |
SIGCSE
|
| 1991 | — | conf |
Automated Reasoning: Essays in Honor of Woody Bledsoe
|
| 1991 | A | conf |
SIGCSE
|
| 1990 | A | conf |
SIGCSE
|
| 1990 | — | conf |
Dagstuhl Seminar on Parallelization in Inference Systems
|