|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
1. |
М. К. Валиев, М. И. Дехтярь, “О сложности верификации недетерминированных вероятностных мультиагентных систем”, Модел. и анализ информ. систем, 17:4 (2010), 41–50 |
1
|
|
2008 |
2. |
М. К. Валиев, М. И. Дехтярь, “Вероятностные мультиагентные системы: семантика и верификация”, Вестник ТвГУ. Серия: Прикладная математика, 2008, № 11, 9–22 |
|
2000 |
3. |
М. К. Валиев, Е. Л. Китаев, М. И. Слепенков, “Использование службы директорий LDAP для представления метаинформации в глобальных вычислительных системах”, Препринты ИПМ им. М. В. Келдыша, 2000, 029 |
4. |
М. К. Валиев, Е. Л. Китаев, М. И. Слепенков, “Cлужба директорий LDAP как инструментальное средство для создания распределенных информационных систем”, Препринты ИПМ им. М. В. Келдыша, 2000, 023 |
|
1973 |
5. |
М. К. Валиев, “Примеры универсальных конечно-определенных групп”, Докл. АН СССР, 211:2 (1973), 265–268 |
2
|
|
1969 |
6. |
М. К. Валиев, “О сложности проблемы тождества для конечно определенных групп”, Алгебра и логика, 8:1 (1969), 5–43 |
|
1968 |
7. |
М. К. Валиев, “Об одной теореме Г. Хигмана”, Алгебра и логика, 7:3 (1968), 9–22 |
|
|
|
2013 |
8. |
Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65 |
|
1974 |
9. |
М. К. Валиев, “Поправки к статье “Примеры универсальных конечно-определенных групп” (ДАН, т. 211, № 2, 1973 г.)”, Докл. АН СССР, 215:3 (1974), 10 |
1
|
|