| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
SIGCSE (2)
|
| 2025 | — | conf |
ITiCSE (1)
|
| 2025 | — | conf |
SIGCSE (2)
|
| 2024 | — | conf |
SIGCSE (2)
|
| 2023 | — | conf |
SIGCSE (1)
|
| 2023 | — | conf |
CSEDU (2)
|
| 2022 | — | conf |
SIGCSE (2)
|
| 2021 | — | conf |
ITiCSE (2)
|
| 2021 | A | conf |
SIGCSE
|
| 2020 | B | conf |
ITiCSE
|
| 2020 | — | conf |
Koli Calling
|
| 2020 | B | conf |
ITiCSE
|
| 2019 | — | conf |
CompEd
|
| 2019 | A | conf |
SIGCSE
|
| 2012 | — | conf |
ICLP (Technical Communications)
|
| 2012 | — | conf |
CSEE&T
|
| 2012 | Misc | conf |
ICCS
|
| 2012 | — | conf |
CSEDU (2)
|
| 2011 | — | conf |
TICTTL
|
| 2011 | — | conf |
CSEE&T
|
| 2011 | C | conf |
PPDP
|
| 2011 | — | conf |
CSEDU (2)
|
| 2011 | Misc | conf |
ICCS
|
| 2011 | B | conf |
ITiCSE
|
| 2010 | — | conf |
LSFA
|
| 2010 | — | conf |
CSEDU (2)
|
| 2010 | — | conf |
AMAST
|
| 2010 | — | conf |
FECS
|
| 2009 | — | conf |
LSFA
|
| 2009 | — | conf |
WFLP
|
| 2009 | C | conf |
PPDP
|
| 2009 | — | conf |
CSEDU (2)
|
| 2009 | — | conf |
ICCS (2)
|
| 2009 | J | jnl |
CoRR
|
| 2009 | J | jnl |
Theory Pract. Log. Program.
|
| 2008 | C | conf |
PPDP
|
| 2008 | Misc | conf |
FLOPS
|
| 2008 | — | conf |
ICCS (1)
|
| 2007 | C | conf |
ICTAC
|
| 2007 | J | jnl |
High. Order Symb. Comput.
|
| 2007 | J | jnl |
Theory Pract. Log. Program.
|
| 2007 | B | conf |
ICLP
|
| 2006 | — | conf |
WFLP
|
| 2006 | — | conf |
PROLE
|
| 2006 | J | jnl |
CoRR
|
| 2006 | B | conf |
ICLP
|
| 2005 | — | conf |
FroCoS
|
| 2005 | — | conf |
WCFLP
|
| 2004 | C | conf |
PPDP
|
| 2004 | — | conf |
WRLA
|
| 2003 | C | conf |
PPDP
|