| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | J | jnl |
Commun. ACM
|
| 2009 | J | jnl |
Comput. Sci. Res. Dev.
|
| 2007 | J | jnl |
Theor. Comput. Sci.
|
| 2005 | — | conf |
Formal Methods in Software and Systems Modeling
|
| 2005 | — | conf |
Formal Methods in Software and Systems Modeling
|
| 2004 | B | conf |
FASE
|
| 2004 | J | jnl |
Softw. Syst. Model.
|
| 2003 | — | conf |
AGTIVE
|
| 2003 | — | conf |
Petri Net Technology for Communication-Based Systems
|
| 2003 | — | conf |
UNIGRA
|
| 2003 | — | ed. |
UNIGRA
|
| 2002 | J | jnl |
Sci. Comput. Program.
|
| 2002 | — | conf |
GraBaTs
|
| 2002 | — | conf |
GT-VMT@ICGT
|
| 2002 | B | conf |
ICGT
|
| 2001 | — | conf |
WADT
|
| 2001 | — | conf |
HCC
|
| 2001 | — | conf |
UNIGRA
|
| 2001 | — | conf |
GT-VMT@ICALP
|
| 2000 | — | conf |
SBES
|
| 2000 | — | — |
|
| 2000 | — | conf |
ICALP Satellite Workshops
|
| 2000 | A | conf |
TACAS
|
| 1999 | — | conf |
AGTIVE
|
| 1998 | — | conf |
TAGT
|
| 1998 | — | conf |
VL
|
| 1994 | — | conf |
GI Jahrestagung
|