|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
I. V. Tarasyuk, “Performance preserving equivalence for stochastic process algebra dtsdPBC”, Sib. Èlektron. Mat. Izv., 20:2 (2023), 646–699  |
|
2021 |
| 2. |
I. V. Tarasyuk, “Performance evaluation in stochastic process algebra dtsdPBC”, Sib. Èlektron. Mat. Izv., 18:2 (2021), 1105–1145  |
|
2020 |
| 3. |
I. V. Tarasyuk, “Discrete time stochastic and deterministic Petri box calculus dtsdPBC”, Sib. Èlektron. Mat. Izv., 17 (2020), 1598–1679 |
1
|
|
2019 |
| 4. |
I. V. Tarasyuk, P. Buchholz, “Logical characterization of fluid equivalences”, Sib. Èlektron. Mat. Izv., 16 (2019), 826–862 |
|
2018 |
| 5. |
I. V. Tarasyuk, H. Macià, V. Valero, “Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC”, Sib. Èlektron. Mat. Izv., 15 (2018), 1743–1812 |
2
|
|
2017 |
| 6. |
I. V. Tarasyuk, P. Buchholz, “Equivalences for fluid stochastic Petri nets”, Sib. Èlektron. Mat. Izv., 14 (2017), 317–366 |
1
|
|
2015 |
| 7. |
I. V. Tarasyuk, H. Macià, V. Valero, “Stochastic process reduction for performance evaluation in dtsiPBC”, Sib. Èlektron. Mat. Izv., 12 (2015), 513–551 |
2
|
|
2009 |
| 8. |
I. V. Tarasyuk, “Modeling and Performance Analysis of Concurrent Processes in the Algebra $dtsPBC$”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 9:4 (2009), 90–117 |
|
2006 |
| 9. |
P. Buchholz, I. V. Tarasyuk, “Equivalences for stochastic Petri nets and stochastic process algebras”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006), 14–42 |
1
|
|
| Organisations |
|
| |
|
|
Contact us: