| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
CSEE&T
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Simul.
|
| 2024 | J | jnl |
ACM Trans. Comput. Log.
|
| 2024 | J | jnl |
J. Autom. Reason.
|
| 2024 | — | conf |
From Computational Logic to Computational Biology
|
| 2024 | A | conf |
CSF
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Theory Pract. Log. Program.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
J. Autom. Reason.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Comput. J.
|
| 2023 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | C | conf |
CLEI
|
| 2022 | J | jnl |
Comput. J.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Sensors
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
J. Autom. Reason.
|
| 2021 | J | jnl |
J. Autom. Reason.
|
| 2021 | J | jnl |
J. Autom. Reason.
|
| 2021 | — | conf |
SCCC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CLEI Electron. J.
|
| 2021 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
J. Autom. Reason.
|
| 2020 | — | conf |
ACNS Workshops
|
| 2019 | J | jnl |
Simul.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
CIbSE
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2018 | C | conf |
RAMiCS
|
| 2018 | J | jnl |
CLEI Electron. J.
|
| 2018 | — | ed. |
SETS@ABZ
|
| 2018 | — | conf |
SETS@ABZ
|
| 2017 | A | conf |
CADE
|
| 2017 | C | conf |
CLEI
|
| 2016 | — | conf |
CAV (1)
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
Theory Pract. Log. Program.
|
| 2015 | J | jnl |
Simul. Model. Pract. Theory
|
| 2015 | J | jnl |
RITA
|
| 2015 | J | jnl |
Int. J. Web Inf. Syst.
|
| 2015 | — | conf |
FMSEE&T@FM
|
| 2015 | — | conf |
FMSEE&T@FM
|
| 2014 | J | jnl |
CoRR
|
| 2014 | — | conf |
ICCSA (1)
|
| 2014 | J | jnl |
Simul. Model. Pract. Theory
|
| 2014 | B | conf |
FASE
|
| 2014 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2013 | B | conf |
SEFM
|
| 2012 | — | conf |
SpringSim (TMS-DEVS)
|
| 2012 | — | conf |
MBT
|
| 2012 | C | conf |
ABZ
|
| 2011 | C | conf |
ICFEM
|
| 2011 | C | conf |
SEW
|
| 2010 | B | conf |
INLG
|
| 2010 | — | conf |
LATW
|
| 2010 | B | conf |
SEFM
|
| 2009 | J | jnl |
CLEI Electron. J.
|
| 2009 | C | conf |
ICFEM
|