| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | — | conf |
MSAN
|
| 2013 | J | jnl |
Multim. Tools Appl.
|
| 2012 | — | ed. |
PROLE
|
| 2011 | B | conf |
NOSSDAV
|
| 2011 | — | conf |
PROLE
|
| 2011 | — | ed. |
PROLE
|
| 2010 | — | conf |
PROLE
|
| 2010 | C | conf |
ISM
|
| 2010 | — | conf |
PROLE
|
| 2010 | — | conf |
AST@ICSE
|
| 2009 | — | conf |
EUROCAST
|
| 2009 | — | conf |
EUROCAST
|
| 2009 | J | jnl |
J. Symb. Comput.
|
| 2009 | — | conf |
FMCO
|
| 2008 | C | conf |
ICIW
|
| 2008 | J | jnl |
J. Decis. Syst.
|
| 2008 | — | conf |
AISC/MKM/Calculemus
|
| 2007 | — | conf |
EUROCAST
|
| 2007 | — | conf |
JIISIC
|
| 2007 | — | conf |
WEBIST (1)
|
| 2007 | C | conf |
ISCC
|
| 2007 | — | conf |
EUROCAST
|
| 2007 | — | conf |
EUROCAST
|
| 2006 | — | conf |
ICEIS (3)
|
| 2005 | — | conf |
Erlang Workshop
|
| 2005 | — | conf |
EUROCAST
|
| 2005 | — | conf |
LANC
|
| 2005 | — | conf |
EUROCAST
|
| 2005 | J | jnl |
J. Funct. Program.
|
| 2004 | — | conf |
UCS
|
| 2003 | — | conf |
LANC
|
| 2003 | — | conf |
EUROCAST
|
| 2003 | C | conf |
PADL
|
| 2003 | — | conf |
EUROCAST
|
| 2002 | — | conf |
ICWI
|
| 2002 | J | jnl |
J. Inf. Sci. Eng.
|
| 2002 | Misc | conf |
SAC
|
| 2001 | — | conf |
EUROCAST
|
| 1998 | — | conf |
APPIA-GULP-PRODE
|
| 1998 | — | conf |
Computer Performance Evaluation (Tools)
|
| 1997 | — | conf |
EUROCAST
|
| 1997 | — | conf |
APPIA-GULP-PRODE
|
| 1996 | — | conf |
JIDBD
|
| 1996 | — | conf |
APPIA-GULP-PRODE
|
| 1995 | — | conf |
GULP-PRODE
|
| 1994 | — | conf |
GULP-PRODE (2)
|