| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
J. Comput. High. Educ.
|
| 2024 | J | jnl |
J. Comput. High. Educ.
|
| 2023 | J | jnl |
ACM Trans. Comput. Educ.
|
| 2023 | J | jnl |
ACM Trans. Comput. Educ.
|
| 2023 | — | conf |
Koli Calling
|
| 2023 | — | ch. |
Past, Present and Future of Computing Education Research
|
| 2022 | J | jnl |
CoRR
|
| 2021 | — | conf |
LTEC
|
| 2020 | J | jnl |
Educ. Inf. Technol.
|
| 2020 | J | jnl |
Inroads
|
| 2020 | J | jnl |
Comput. Hum. Behav.
|
| 2020 | A | conf |
ICER
|
| 2019 | — | conf |
LTEC
|
| 2019 | A | conf |
ICER
|
| 2018 | J | jnl |
ACM Trans. Comput. Educ.
|
| 2018 | B | conf |
ITiCSE
|
| 2018 | — | conf |
ITiCSE (Companion)
|
| 2018 | B | conf |
ITiCSE
|
| 2018 | C | conf |
ACE
|
| 2018 | — | conf |
IMCL
|
| 2018 | — | conf |
LTEC@KMO
|
| 2017 | J | jnl |
Int. J. Eng. Pedagog.
|
| 2017 | — | conf |
LTEC@KMO
|
| 2017 | J | jnl |
ACM Trans. Comput. Educ.
|
| 2017 | — | conf |
ITiCSE-WGR
|
| 2017 | B | conf |
ITiCSE
|
| 2017 | J | jnl |
Int. J. Learn. Technol.
|
| 2016 | — | conf |
ICL (2)
|
| 2016 | J | jnl |
Int. J. Learn. Technol.
|
| 2016 | — | conf |
ACSW
|
| 2016 | — | conf |
LTEC@KMO
|
| 2016 | — | conf |
ITiCSE-WGR
|
| 2016 | J | jnl |
Int. J. Learn. Technol.
|
| 2016 | — | conf |
WiPSCE
|
| 2015 | — | conf |
LTEC@KMO
|
| 2015 | — | conf |
Koli Calling
|
| 2015 | J | jnl |
Int. J. Learn. Technol.
|
| 2015 | B | conf |
ITiCSE
|
| 2015 | — | conf |
Koli Calling
|
| 2014 | — | conf |
LTEC@KMO
|
| 2014 | J | jnl |
Br. J. Educ. Technol.
|
| 2014 | — | ed. |
LTEC@KMO
|
| 2013 | J | jnl |
IEEE Trans. Learn. Technol.
|
| 2013 | J | jnl |
Int. J. Learn. Technol.
|
| 2013 | — | conf |
LTEC
|
| 2012 | — | conf |
STAST
|
| 2011 | J | jnl |
IEEE Trans. Educ.
|
| 2009 | C | conf |
ICIW
|
| 2009 | J | jnl |
Educ. Inf. Technol.
|
| 2009 | — | conf |
BIS
|
| 2007 | J | jnl |
Formal Aspects Comput.
|
| 2005 | — | conf |
Australian Software Engineering Conference
|
| 2005 | — | conf |
AVoCS
|
| 2005 | B | conf |
APLAS
|
| 2005 | C | conf |
APSEC
|
| 2004 | — | conf |
TFM
|
| 2004 | J | jnl |
Formal Aspects Comput.
|
| 2001 | B | conf |
FASE
|
| 2000 | J | jnl |
J. Univers. Comput. Sci.
|
| 2000 | — | conf |
MFCSIT
|
| 1999 | B | conf |
IFM
|
| 1999 | Misc | conf |
PDPTA
|
| 1998 | — | — |
|
| 1997 | J | jnl |
J. Comput. Secur.
|
| 1996 | — | conf |
CSFW
|
| 1995 | J | jnl |
Formal Aspects Comput.
|
| 1994 | — | conf |
HPCN
|
| 1991 | — | book |
Introduction to formal specification and Z.
|