| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | — | conf |
ACT
|
| 2020 | — | conf |
ACT
|
| 2018 | — | conf |
Programming
|
| 2018 | — | conf |
Programming
|
| 2017 | J | jnl |
J. Object Technol.
|
| 2014 | B | conf |
EDBT
|
| 2012 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2011 | — | ed. |
AMAST
|
| 2011 | J | jnl |
Appl. Categorical Struct.
|
| 2008 | — | conf |
AMAST
|
| 2008 | — | conf |
AMAST
|
| 2008 | — | ch. |
Software-Intensive Systems and New Computing Paradigms
|
| 2007 | J | jnl |
Theor. Comput. Sci.
|
| 2006 | — | ed. |
AMAST
|
| 2006 | — | conf |
MFCSIT
|
| 2005 | — | conf |
FESCA@ETAPS
|
| 2003 | — | conf |
ICSM
|
| 2003 | — | conf |
CATS
|
| 2002 | — | conf |
Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR
|
| 2002 | — | conf |
CATS
|
| 2001 | J | jnl |
Acta Informatica
|
| 2001 | — | conf |
ICEIS (2)
|
| 2001 | C | conf |
FOIS
|
| 2001 | — | conf |
ICSM
|
| 2001 | C | conf |
CSCWD
|
| 2001 | Misc | conf |
ADC
|
| 1995 | — | conf |
OOER
|
| 1994 | — | conf |
Business Process Re-Engineering
|
| 1993 | — | conf |
AMAST
|