| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | Misc | conf |
ATSIP
|
| 2019 | C | conf |
ICMV
|
| 2019 | C | conf |
ICMV
|
| 2018 | B | conf |
ENASE
|
| 2018 | Misc | conf |
ATSIP
|
| 2017 | B | conf |
ENASE
|
| 2016 | — | conf |
ICSOFT-EA
|
| 2015 | — | conf |
ICSOFT-EA
|
| 2014 | — | conf |
WEBIST (Revised Selected Papers)
|
| 2014 | — | conf |
WEBIST (2)
|
| 2014 | J | jnl |
Int. J. Crit. Comput. Based Syst.
|
| 2013 | J | jnl |
J. Symb. Comput.
|
| 2012 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2012 | — | conf |
EC-Web
|
| 2011 | C | conf |
ICTAC
|
| 2011 | J | jnl |
J. Softw.
|
| 2009 | — | conf |
RelMiCS
|
| 2004 | J | jnl |
Inf. Sci.
|
| 2003 | — | conf |
JFPLC
|
| 2003 | J | jnl |
Tech. Sci. Informatiques
|
| 2003 | C | conf |
LOPSTR
|
| 2002 | — | conf |
JFPLC
|
| 1999 | C | conf |
IEA/AIE
|
| 1998 | — | conf |
RelMiCS
|
| 1997 | J | jnl |
Fundam. Informaticae
|
| 1997 | — | conf |
RelMiCS
|
| 1995 | Misc | conf |
SAC
|
| 1994 | — | conf |
WLP
|
| 1994 | — | conf |
PLILP
|
| 1994 | J | jnl |
Methods Log. Comput. Sci.
|
| 1993 | — | conf |
ILPS
|
| 1992 | C | conf |
PEPM
|
| 1992 | Misc | conf |
SAC
|
| 1992 | B | conf |
LPAR
|
| 1992 | — | conf |
ALPUK
|
| 1991 | C | conf |
LOPSTR
|