| On the equivalence-checking problem for a model of programs related with multi-tape automata V Zakharov, I Zakharyaschev International Conference on Implementation and Application of Automata, 293-305, 2004 | 12 | 2004 |
| An equivalence-checking algorithm for polysemantic models of sequential programs VA Zakharov, IM Zakharyaschev International Workshop on Program Understanding (14-16 July, Altai Mountains …, 2003 | 3 | 2003 |
| О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов РИ Подловченко, ВА Захаров, ИМ Захарьящев, ДМ Русаков, ... Труды второй Всероссийской научной конференции «Методы и средства обработки …, 2005 | 1 | 2005 |
| c_uglify -- семантический фильтр GNU C для компиляции программ с помощью не-GCC I Zakharyaschev LVEE Winter 2016, 2016 | | 2016 |
| Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of “common European” and Japanese types I Zakharyaschev Syntactic structures/Синтаксические Структуры (Sintaksicheskie struktury), 2007 | | 2007 |
| On the equivalence-checking problem for sequential programs with partially commuting and monotonic statements VA Zakharov, IM Zakharyaschev XI Congress of Mathematics of Serbia and Montenegro (September 28--October 2 …, 2004 | | 2004 |
| О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами ВА Захаров, ИМ Захарьящев VI Международная конференция «Дискретные модели в теории управляющих систем …, 2004 | | 2004 |
| О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами ВА Захаров, ИМ Захарьящев VII Международный семинар «Дискретная математика и её приложения», 131-134, 2004 | | 2004 |
| On the equivalence-checking problem for polysemantic models of sequential programs IM Zakharyaschev, VA Zakharov Российская Академия наук Институт Системного Программирования 6, 179-198, 2004 | | 2004 |
| Об одной полисемантической модели последовательных программ ВА Захаров, ИМ Захарьящев V Международная конференция «Дискретные модели в теории управляющих систем …, 2003 | | 2003 |
