| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | C | conf |
RC
|
| 2024 | C | conf |
RC
|
| 2024 | J | jnl |
J. Inf. Process.
|
| 2024 | J | jnl |
Log. Methods Comput. Sci.
|
| 2023 | — | conf |
EXPRESS/SOS
|
| 2022 | C | conf |
RC
|
| 2022 | C | conf |
FORTE
|
| 2022 | J | jnl |
CoRR
|
| 2020 | C | conf |
RC
|
| 2020 | J | jnl |
J. Inf. Process.
|
| 2020 | — | conf |
ICPHM
|
| 2020 | A | conf |
ECOOP
|
| 2020 | J | jnl |
Dagstuhl Artifacts Ser.
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Sci. Comput. Program.
|
| 2018 | J | jnl |
New Gener. Comput.
|
| 2018 | — | conf |
EXPRESS/SOS
|
| 2018 | J | jnl |
Sci. China Inf. Sci.
|
| 2017 | — | conf |
ICSRS
|
| 2017 | C | conf |
ICFEM
|
| 2017 | Misc | conf |
SETTA
|
| 2017 | — | conf |
EXPRESS/SOS
|
| 2017 | C | conf |
COORDINATION
|
| 2016 | — | conf |
FTSCS
|
| 2015 | — | conf |
FORMATS
|
| 2015 | — | conf |
SOFL+MSVL
|
| 2014 | — | conf |
SOFL+MSVL
|
| 2014 | C | conf |
RC
|
| 2013 | C | conf |
RC
|
| 2013 | — | conf |
FORMATS
|
| 2012 | C | conf |
RC
|
| 2012 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2012 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2012 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2010 | — | conf |
IPDPS Workshops
|
| 2010 | — | conf |
PLACES
|
| 2009 | Misc | conf |
TASE
|
| 2009 | J | jnl |
Inf. Comput.
|
| 2007 | C | conf |
APSEC
|
| 2006 | J | jnl |
Inf. Media Technol.
|
| 2005 | J | jnl |
J. Web Eng.
|
| 2004 | — | conf |
ARTS
|
| 2004 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2004 | — | conf |
ICWI
|
| 2003 | — | conf |
ICWI
|
| 2002 | — | conf |
IWPSE
|
| 2000 | B | conf |
CONCUR
|
| 1999 | J | jnl |
Inf. Comput.
|
| 1997 | — | conf |
AMAST
|
| 1994 | B | conf |
CONCUR
|
| 1992 | J | jnl |
Syst. Comput. Jpn.
|
| 1992 | — | conf |
NAPAW
|