|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
1. |
I. V. Tarasyuk, “Performance preserving equivalence for stochastic process algebra dtsdPBC”, Сиб. электрон. матем. изв., 20:2 (2023), 646–699 |
|
2021 |
2. |
I. V. Tarasyuk, “Performance evaluation in stochastic process algebra dtsdPBC”, Сиб. электрон. матем. изв., 18:2 (2021), 1105–1145 |
|
2020 |
3. |
I. V. Tarasyuk, “Discrete time stochastic and deterministic Petri box calculus dtsdPBC”, Сиб. электрон. матем. изв., 17 (2020), 1598–1679 |
1
|
|
2019 |
4. |
I. V. Tarasyuk, P. Buchholz, “Logical characterization of fluid equivalences”, Сиб. электрон. матем. изв., 16 (2019), 826–862 |
|
2018 |
5. |
I. V. Tarasyuk, H. Macià, V. Valero, “Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC”, Сиб. электрон. матем. изв., 15 (2018), 1743–1812 |
2
|
|
2017 |
6. |
I. V. Tarasyuk, P. Buchholz, “Equivalences for fluid stochastic Petri nets”, Сиб. электрон. матем. изв., 14 (2017), 317–366 |
1
|
|
2015 |
7. |
I. V. Tarasyuk, H. Macià, V. Valero, “Stochastic process reduction for performance evaluation in dtsiPBC”, Сиб. электрон. матем. изв., 12 (2015), 513–551 |
2
|
|
2009 |
8. |
И. В. Тарасюк, “Моделирование и анализ производительности параллельных процессов в алгебре $dtsPBC$”, Вестн. НГУ. Сер. матем., мех., информ., 9:4 (2009), 90–117 |
|
2006 |
9. |
П. Бухгольц, И. В. Тарасюк, “Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов”, Вестн. НГУ. Сер. матем., мех., информ., 6:1 (2006), 14–42 |
1
|
|