| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2015 | J | jnl |
Bioinform.
|
| 2014 | J | jnl |
CoRR
|
| 2014 | J | jnl |
CoRR
|
| 2013 | — | conf |
SPLC Workshops
|
| 2007 | J | jnl |
J. Commun.
|
| 2006 | — | conf |
SOSE
|
| 2006 | J | jnl |
Softw. Syst. Model.
|
| 2005 | — | book |
|
| 2003 | — | conf |
IMF
|
| 2001 | J | jnl |
Sci. Comput. Program.
|
| 1999 | J | jnl |
Inform. Spektrum
|
| 1999 | — | conf |
HICSS
|
| 1998 | B | conf |
FASE
|
| 1998 | — | — |
|
| 1998 | — | conf |
Prospects for Hardware Foundations
|
| 1998 | — | conf |
DIPES
|
| 1998 | — | conf |
DIPES
|
| 1997 | — | conf |
ARTS
|
| 1997 | — | conf |
TAPSOFT
|
| 1997 | A | conf |
TACAS
|
| 1997 | — | conf |
HART
|
| 1997 | — | conf |
APDC
|
| 1996 | B | conf |
SOFSEM
|