| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2018 | J | jnl |
A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue.
Int. J. Softw. Tools Technol. Transf.
|
| 2017 | — | conf |
ICAART (1)
|
| 2016 | — | conf |
ICAART (1)
|
| 2016 | — | conf |
LCN Workshops
|
| 2016 | Misc | conf |
KI
|
| 2016 | — | conf |
ICAART (Revised Selected Papers)
|
| 2016 | — | conf |
SPIN
|
| 2015 | — | conf |
MATES
|
| 2014 | — | conf |
LDIC
|
| 2014 | — | conf |
CIG
|
| 2013 | Misc | conf |
KI
|
| 2013 | — | conf |
ICAART (2)
|