| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
J. Funct. Program.
|
| 2025 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Trans. Intell. Veh.
|
| 2024 | C | conf |
Diagrams
|
| 2024 | J | jnl |
CoRR
|
| 2023 | — | conf |
FUZZ
|
| 2022 | J | jnl |
CoRR
|
| 2022 | C | conf |
Diagrams
|
| 2022 | J | jnl |
J. Comput. Lang.
|
| 2021 | C | conf |
Diagrams
|
| 2020 | — | conf |
ICTC
|
| 2020 | — | conf |
LOD (2)
|
| 2020 | — | conf |
ITSC
|
| 2020 | C | ed. |
Diagrams
|
| 2018 | C | ed. |
Diagrams
|
| 2018 | J | jnl |
Hum. Factors
|
| 2018 | Misc | ed. |
ICCS
|
| 2018 | C | conf |
Diagrams
|
| 2017 | — | conf |
GKR
|
| 2016 | C | conf |
FOIS
|
| 2016 | — | conf |
SetVR@Diagrams
|
| 2016 | B | conf |
VL/HCC
|
| 2016 | C | conf |
Diagrams
|
| 2015 | — | conf |
PACIS
|
| 2015 | J | jnl |
ACM Trans. Comput. Hum. Interact.
|
| 2014 | A* | conf |
USENIX Security Symposium
|
| 2014 | C | conf |
Diagrams
|
| 2014 | — | conf |
ED/GViP@Diagrams
|
| 2014 | — | conf |
DMS
|
| 2014 | J | jnl |
J. Vis. Lang. Comput.
|
| 2014 | — | conf |
3GSE
|
| 2014 | J | jnl |
J. Vis. Lang. Comput.
|
| 2014 | C | conf |
Diagrams
|
| 2014 | C | conf |
Diagrams
|
| 2013 | — | conf |
DMS
|
| 2013 | — | ch. |
Visual Reasoning with Diagrams
|
| 2013 | J | jnl |
J. Vis. Lang. Comput.
|
| 2013 | — | conf |
WOP
|
| 2012 | C | conf |
Diagrams
|
| 2012 | — | ed. |
ED@Diagrams
|
| 2012 | C | conf |
Diagrams
|
| 2011 | A* | conf |
CCS
|
| 2011 | B | conf |
VL/HCC
|
| 2011 | — | conf |
HotSec
|
| 2011 | — | conf |
ISWC (1)
|
| 2010 | C | conf |
Diagrams
|
| 2010 | B | conf |
VL/HCC
|
| 2010 | — | conf |
DMS
|
| 2009 | J | jnl |
Arch. Formal Proofs
|
| 2008 | — | conf |
AISC/MKM/Calculemus
|
| 2001 | J | jnl |
Aslib Proc.
|
| 1999 | — | conf |
HICSS
|