| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | conf |
HPEC
|
| 2020 | J | jnl |
J. Syst. Softw.
|
| 2018 | — | conf |
Euro-Par
|
| 2018 | J | jnl |
Softw. Syst. Model.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | C | conf |
CLUSTER
|
| 2018 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Comput. Commun. Rev.
|
| 2017 | — | conf |
Business Process Management Workshops
|
| 2017 | J | jnl |
CoRR
|
| 2016 | — | conf |
SIMPDA
|
| 2016 | — | conf |
ICL-GNSS
|
| 2016 | — | conf |
SIMPDA
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
BPM (Forum)
|
| 2016 | — | conf |
EPS
|
| 2015 | A* | conf |
AAAI
|
| 2014 | — | conf |
BPM (Demos)
|
| 2014 | B | conf |
FUZZ-IEEE
|
| 2013 | J | jnl |
Knowl. Based Syst.
|
| 2013 | Misc | conf |
SAC
|
| 2013 | J | jnl |
IEEE Wirel. Commun. Lett.
|
| 2013 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2012 | — | conf |
ACSD
|
| 2012 | B | conf |
Petri Nets
|
| 2012 | J | jnl |
Int. J. Inf. Sec.
|
| 2012 | J | jnl |
Trans. Petri Nets Other Model. Concurr.
|
| 2012 | J | jnl |
Inf. Fusion
|
| 2012 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2011 | J | jnl |
Fundam. Informaticae
|
| 2011 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2010 | J | jnl |
Comput. Networks
|
| 2010 | — | conf |
ACSD/Petri Nets Workshops
|
| 2010 | B | conf |
Petri Nets
|
| 2010 | B | conf |
ATVA
|
| 2005 | A* | conf |
CAV
|
| 2004 | — | conf |
ACSD
|
| 2002 | B | conf |
FMCAD
|