| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2018 | B | conf |
ITiCSE
|
| 2016 | J | jnl |
Formal Aspects Comput.
|
| 2015 | — | conf |
ICAART (1)
|
| 2015 | — | conf |
BCI
|
| 2015 | — | conf |
CSEDU (Selected Papers)
|
| 2015 | — | conf |
ICAART (Revised Selected Papers)
|
| 2014 | B | conf |
Boosting the Pedagogical Value of Classroom Clicker Systems via the Provision of Formative Feedback.
ICALT
|
| 2014 | — | conf |
KES-AMSTA
|
| 2013 | — | conf |
BCI
|
| 2012 | B | conf |
SEFM
|
| 2012 | — | conf |
S-Cube@ICSE
|
| 2011 | J | jnl |
IET Softw.
|
| 2011 | J | jnl |
Int. J. Eng. Pedagog.
|
| 2011 | — | conf |
QASBA
|
| 2010 | — | conf |
ServiceWave
|
| 2010 | B | conf |
ITiCSE
|
| 2010 | — | conf |
TAIC PART
|
| 2009 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2009 | — | conf |
ICSE Companion
|
| 2009 | B | conf |
ESWC
|
| 2009 | — | ed. |
AST@ICSE
|
| 2009 | — | conf |
ECOWS
|
| 2009 | — | conf |
AIAI (Workshops)
|
| 2008 | — | conf |
Virtual Enterprises and Collaborative Networks
|
| 1997 | — | — |
|
| 1995 | — | ch. |
Formal Development of Reactive Systems
|