|
СТ |
Анализ производительности параллельных систем в алгебре dtsiPBC |
2014 |
Тарасюк И. В., Масиа Х., Валеро В. |
|
|
|
Программирование |
01.12.2014 |
|
СТ |
Поведенческие эквивалентности сетей Петри с невидимыми переходами |
2012 |
Тарасюк И. В. |
|
|
|
Вестник СибГУТИ |
11.06.2013 |
|
СТ |
Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC |
2009 |
Тарасюк И. В. |
|
|
|
Вестник НГУ |
26.02.2010 |
|
М |
Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем |
2007 |
Тарасюк И. В. |
|
- Касьянов В. Н.
|
ИСИ СО РАН |
|
27.02.2008 |
|
М |
Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем |
2007 |
Тарасюк И. В. |
|
- Касьянов В. Н.
|
ИСИ СО РАН |
|
26.02.2008 |
|
СТ |
Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов |
2006 |
Бухгольц П., Тарасюк И. В. |
|
|
|
Вестник НГУ |
11.01.2007 |
|
СТ |
Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов |
2006 |
Бухгольц П., Тарасюк И. В. |
|
|
|
Вестник НГУ |
10.01.2007 |
|
СТ |
Эквивалентности стохастических сетей Петри и алгебр стохастических процессов |
2006 |
Бухгольц П., Тарасюк И. В. |
|
|
|
Вестник НГУ |
27.10.2006 |
|
СТ |
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов |
2004 |
Тарасюк И. В. |
Системная информатика |
|
|
Системная информатика |
22.03.2005 |
|
СТ |
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов |
2004 |
Тарасюк И. В. |
Системная информатика |
|
|
Системная информатика |
21.03.2005 |
|
СТ |
Понятия эквивалентностей для разработки параллельных систем с использованием сетей Петри |
1998 |
Тарасюк И. В. |
|
|
|
Программирование |
23.09.1998 |
|
А |
Эквивалентностные понятия для моделей параллельных и распределенных систем |
1997 |
Тарасюк И. В. |
|
|
|
|
27.11.1997 |
|
СТ |
Алгебра AFLP : исчисление переменных недетерминированных параллельных процессов |
1995 |
Тарасюк И. В. |
|
|
|
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов |
14.12.1996 |
|
СТ |
Приведение формул алгебры AFP к каноническому виду |
1993 |
Тарасюк И. В. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
10.05.1995 |
