| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
Period. Polytech. Electr. Eng. Comput. Sci.
|
| 2021 | — | conf |
SoCC
|
| 2017 | — | conf |
SoCC
|
| 2015 | — | conf |
MACRo
|
| 2015 | Misc | conf |
SACI
|
| 2014 | Misc | conf |
SACI
|
| 2014 | Misc | conf |
SACI
|
| 2007 | J | jnl |
Formal Methods Syst. Des.
|
| 2005 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2005 | J | jnl |
Sci. Comput. Program.
|
| 2005 | J | jnl |
J. Syst. Archit.
|
| 2004 | — | conf |
ARCS
|
| 2003 | C | conf |
FDL
|
| 2002 | J | jnl |
Appl. Artif. Intell.
|
| 2001 | C | conf |
IEA/AIE
|
| 1978 | J | jnl |
Microprocess.
|