Igor V. Tarasyuk

Available identifiers

zbMath Open tarasyuk.igor-valerevichMaRDI QIDQ1798122

List of research outcomes

Publication	Date of Publication	Type
Performance evaluation in stochastic process algebra dtsdPBC	2021-12-08	Paper
Discrete time stochastic and deterministic Petri box calculus dtsdPBC	2020-11-24	Paper
Logical characterization of fluid equivalences	2019-08-30	Paper
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC	2019-05-09	Paper
Equivalence and lumpability of FSPNs	2018-10-23	Paper
Equivalences for fluid stochastic Petri nets	2017-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2979815	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979825	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979884	2017-04-26	Paper
Stochastic process reduction for performance evaluation in dtsiPBC	2016-07-28	Paper
Equivalence relations for modular performance evaluation in dtsPBC	2016-07-26	Paper
Performance analysis of concurrent systems in algebra dtsiPBC	2016-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2898944	2012-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2882947	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2883054	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2880610	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q3429643	2007-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q3023541	2005-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3152933	2002-11-03	Paper
Equivalence notions applied to designing concurrent systems with the use of Petri nets	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4517366	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4517382	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4517039	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499486	2000-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4947318	2000-04-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Igor V. Tarasyuk