| 2025 |
J |
jnl |
Simul.
Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright
|
| 2023 |
J |
jnl |
Formal Aspects Comput.
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
|
| 2023 |
— |
conf |
FMAS@iFM
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
|
| 2022 |
— |
conf |
ISoLA (4)
Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
|
| 2022 |
B |
conf |
IFM
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
|
| 2021 |
J |
jnl |
Formal Aspects Comput.
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
|
| 2020 |
C |
conf |
ABZ
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
|
| 2019 |
— |
conf |
HASE
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
|
| 2019 |
J |
jnl |
IET Comput. Digit. Tech.
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
|
| 2019 |
B |
conf |
ICECCS
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
|
| 2017 |
— |
conf |
ISSRE Workshops
Paulius Stankaitis, Alexei Iliasov
|
| 2017 |
— |
conf |
RSSRail
Paulius Stankaitis, Alexei Iliasov
|
| 2016 |
J |
jnl |
CoRR
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
|
| 2016 |
C |
conf |
ICFEM
Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
|
| 2016 |
C |
conf |
ABZ
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
|
| 2016 |
— |
conf |
RSSRail
Paulius Stankaitis, Alexei Iliasov
|
| 2016 |
— |
conf |
RSSRail
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
|
| 2015 |
— |
conf |
ACSD
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
|