| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | — | conf |
ICST Workshops
|
| 2020 | A | conf |
ICST
|
| 2018 | — | conf |
ICST Workshops
|
| 2014 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2013 | B | conf |
ECMFA
|
| 2013 | — | conf |
FOSAD
|
| 2013 | — | conf |
ICST Workshops
|
| 2012 | — | conf |
OCL@MoDELS
|
| 2003 | — | conf |
JFPLC
|
| 2003 | J | jnl |
Tech. Sci. Informatiques
|
| 1995 | — | conf |
JFPLC
|
| 1993 | — | conf |
ICLP Workshop on Logic Programming with Sets
|