| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
IEEE Secur. Priv.
|
| 2025 | J | jnl |
Games Res. Pract.
|
| 2025 | J | jnl |
Comput. Stand. Interfaces
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
ACM Trans. Comput. Educ.
|
| 2024 | — | conf |
SEET@ICSE
|
| 2024 | — | conf |
LLM4CODE@ICSE
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2022 | — | conf |
EuroS&P Workshops
|
| 2022 | J | jnl |
Digit. Investig.
|
| 2022 | — | conf |
EICC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
UKICER
|
| 2020 | — | conf |
DPM/CBT@ESORICS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
EuroS&P Workshops
|
| 2019 | — | conf |
EuroS&P Workshops
|
| 2019 | J | jnl |
CoRR
|
| 2018 | — | conf |
GALA
|
| 2018 | — | conf |
PLATEAU@SPLASH
|
| 2017 | — | conf |
SAFECOMP Workshops
|
| 2015 | — | conf |
ICSE (2)
|
| 2015 | — | conf |
ICSE (2)
|
| 2014 | — | conf |
F-IDE
|
| 2011 | J | jnl |
Commun. ACM
|
| 2010 | — | conf |
ICSE (1)
|
| 2007 | — | — |
|
| 2007 | — | conf |
Calculemus/MKM
|
| 2007 | — | conf |
Calculemus/MKM
|
| 2005 | — | conf |
MKM
|
| 2004 | — | conf |
MKM
|
| 2003 | — | conf |
MKM Symposium
|