|
СТ |
"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями |
2021 |
Вирбицкайте И. Б., Зубарев А.Ю. |
|
|
|
Программирование |
12.10.2021 |
|
СТ |
Тестовые эквивалентности временных сетей Петри |
2020 |
Боженкова Е. Н., Вирбицкайте И. Б. |
|
|
|
Программирование |
17.08.2020 |
|
СТ |
"Истинно параллельная" и недетерминированная семантика дискоетно-временных сетей Петри |
2016 |
Вирбицкайте И. Б., Боровлев В. А., Попова-Цейгманн Л. |
|
|
|
Программирование |
06.10.2016 |
|
СТ |
Компаративная трассовая семантика временных сетей Петри |
2015 |
Бушин Д. И., Вирбицкайте И. Б. |
|
|
|
Программирование |
22.07.2015 |
|
СТ |
Восьмая международная Ершовская конференция по информатике (ПСИ 11) |
2012 |
Вирбицкайте И. Б. |
|
|
|
Программирование |
03.12.2012 |
|
СТ |
Построение ортомодулярных решеток первичных структур событий |
2012 |
Вирбицкайте И. Б., Ерофеев Е. К. |
|
|
|
Проблемы информатики |
22.08.2012 |
|
СТ |
О взаимосвязях поведенческих эквивалентностей временных сетей Петри |
2012 |
Бушин Д. И., Вирбицкайте И. Б. |
|
|
|
Проблемы информатики |
22.08.2012 |
|
СТ |
Седьмая международная конференция "Перспективы систем информатики" |
2009 |
Марчук А. Г., Вирбицкайте И. Б., Апанович З. В., Бульонков М. А., Крайнева И. А., Тихонова Т. И. |
|
|
|
Вестник РФФИ |
24.01.2011 |
|
СТ |
Об унификации поведенческих эквивалентностей временных систем переходов |
2010 |
Вирбицкайте И. Б., Грибовская Н. С. |
|
|
|
Программирование |
28.06.2010 |
|
СТ |
Семантические области временных структур событий |
2008 |
Вирбицкайте И. Б., Дубцов Р. С. |
|
|
|
Программирование |
02.08.2008 |
|
М |
Семантические модели в теории параллелизма |
2000 |
Вирбицкайте И. Б. |
|
|
ИСИ СО РАН |
|
14.11.2000 |
|
СТ |
Исследование эквивалентностных отношений структур событий с непрерывным временем |
2000 |
Вирбицкайте И. Б., Боженкова Е. Н. |
|
|
|
Программирование |
14.11.2000 |
|
СТ |
Метод параметрической верификации поведения временных сетей Петри |
1999 |
Вирбицкайте И. Б., Покозий Е. А. |
|
|
|
Программирование |
29.10.1999 |
|
СТ |
Использование техники частичных порядков для верификации временных сетей Петри |
1999 |
Вирбицкайте И. Б., Покозий Е. А. |
|
|
|
Программирование |
21.04.1999 |
|
СТ |
О некоторых свойствах стуктур событий |
1997 |
Вирбицкайте И. Б. |
|
|
|
Кибернетика и системный анализ |
20.10.1998 |
|
СТ |
Автоматический анализ и верификация распределенных систем реального времени |
1998 |
Вирбицкайте И. Б., Быстров А. В. |
|
|
|
Труды Шестого Международного семинара "Распределенная обработка информации" |
25.06.1998 |
|
СТ |
Сравнение логических и поведенческих эквивалентностей для структур событий |
1995 |
Вирбицкайте И. Б., Вотинцева А. В. |
|
|
|
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов |
14.12.1996 |
|
СТ |
О семантических аспектах потоковых вычислений с цветными фишками |
1996 |
Вирбицкайте И. Б., Вотинцева А. В., Шкляев Д. А. |
|
|
|
Программирование |
31.07.1996 |
|
П |
Семантические модели потоковых вычислений |
1993 |
Вирбицкайте И. Б., Вотинцева А. В. |
Lecture Notes in Computer Science |
|
ИСИ СО РАН |
|
28.06.1995 |
|
СТ |
Алгоритм верификации свойств поведения временных сетей Петри |
1993 |
Вирбицкайте И. Б., Трепакова С. Б. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
11.05.1995 |
|
СТ |
Анализ свойств плотности структур событий |
1993 |
Вирбицкайте И. Б., Старкова С. А. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
10.05.1995 |
|
СТ |
Организация библиотеки стандартных процедур в системе СЕТЛ |
1979 |
Левин Д. Я., Вирбицкайте И. Б. |
|
|
|
Новые задачи информатики |
09.11.1993 |
|
СТ |
Реализация основного этапа анализа в проекте ЗАПСИБ |
1980 |
Вирбицкайте И. Б., Голубева Л. А. |
|
|
|
Прикладные методы информатики |
09.11.1993 |
|
СТ |
Реализация языка спецификаций правил анализа текста |
1981 |
Вирбицкайте И. Б., Голубева Л. А. |
|
|
|
Экспериментальная информатика |
09.11.1993 |
|
СТ |
Об одной системе моделирования потоковых конструкций |
1981 |
Вальковский В. А., Вирбицкайте И. Б. |
|
|
|
Методы параллельного и теоретического программирования |
09.11.1993 |
|
СТ |
Анализ и моделирование потоковых структур |
1987 |
Вальковский В. А., Вирбицкайте И. Б. |
|
|
|
VI Всесоюз. школа-семинар, РОИ, Львов |
09.11.1993 |
|
СТ |
Об экспериментальной системе проектирования программных конструкций и устройств потокового типа |
1987 |
Вальковский В. А., Вирбицкайте И. Б. |
|
|
|
II региональный семинар |
09.11.1993 |
|
СТ |
О программной реализации системы имитации потоковых вычислений |
1987 |
Вирбицкайте И. Б. |
|
|
|
VI Всесоюз. школа-семинар, РОИ, Львов |
09.11.1993 |
|
СТ |
О преобразовании схем программ в потоковые модели |
1987 |
Вирбицкайте И. Б. |
|
|
|
Высокопроизводительные вычислительные системы и их программное обеспечение |
09.11.1993 |
|
СТ |
Рекурсивный алгоритм конструирования потоковых схем |
1988 |
Вирбицкайте И. Б. |
|
|
|
Теория и методы параллельной обработки информации |
09.11.1993 |
|
СТ |
Комплекс программ для экспериментов над потоковыми вычислениями |
1989 |
Вирбицкайте И. Б. |
|
|
|
Архитектура и программное обеспечение многопроцессорных вычислительных комплексов |
09.11.1993 |
|
П |
Потоковые вычисления над структурированными данными |
1989 |
Вирбицкайте И. Б. |
|
|
ИППММ АН УССР |
|
09.11.1993 |
|
СТ |
Обработка последовательных фрагментов на устройствах потокового типа |
1989 |
Вирбицкайте И. Б. |
|
|
|
VII Всесоюз. школа-семинар, РОИ |
09.11.1993 |
|
СТ |
Формальное описание систолических систем |
1990 |
Вирбицкайте И. Б. |
|
|
|
I Всесоюз. конф. "Однородные вычислительные среды и систолические структуры |
09.11.1993 |
|
СТ |
Алгоритм анализа свойств поведения временных сетей Петри с использованием темпоральной логики |
1992 |
Вирбицкайте И. Б., Трепакова С. Б. |
|
|
ИСИ СО РАН |
Методы теоретического и экспериментального программирования |
09.11.1993 |
|
СБ |
ЭВМ, управляемые потоками данных |
1989 |
Вирбицкайте И. Б. |
|
|
ВЦ СО АН СССР |
|
09.11.1993 |
|
СТ |
Потоковые вычислительные системы |
1993 |
Вальковский В. А., Вирбицкайте И. Б. |
|
|
|
Системы программирования. Теория и приложения |
23.09.1993 |
|
А |
Автоматическая разработка и моделирование структур потокового типа |
1990 |
Вирбицкайте И. Б. |
|
|
|
|
29.03.1990 |
