On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic 2021: 251-275

M. Kanovich; Kirigin T. B.; Nigam V.; Scedrov A.; Talcott C.

doi:10.1007/978-3-030-91631-2_14

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

23 июля 2026 г.

РНФ поддержал 31 проект молодых ученых НИУ ВШЭ

Российский научный фонд подвел итоги трех конкурсов, направленных на поддержку молодых ученых. Победителями признаны более 850 проектов, в том числе 31 из Высшей школы экономики. На средства грантов будут проведены исследования, направленные на решение конкретных задач в рамках приоритетов научно-технологического развития, которые определены в Стратегии научно-технологического развития Российской Федерации.

22 июля 2026 г.

Тяга к сладкому оказалась важнее заботы о здоровье

Исследователи НИУ ВШЭ в Перми с помощью ЭЭГ изучили, как тяга к сладкому и интерес к здоровому питанию влияют на оценку газированных напитков со вкусом колы. В ходе дегустации участники оценивали вкус напитка и называли максимальную сумму, которую готовы за него заплатить. Оказалось, что чем выше интерес человека к здоровью, тем более сложным и когнитивно затратным для него является решение о готовности платить и тем меньше в итоге он будет готов заплатить за такой напиток. Исследование опубликовано в журнале British Food Journal.

21 июля 2026 г.

«Нам бы хотелось, чтоб наши корпуса использовались больше»

Созданные в Международной лаборатории языковой конвергенции и Школе лингвистики НИУ ВШЭ корпуса абхазо-адыгских языков, на которых говорят народы Западного Кавказа, позволяют изучить их особенности, показывают возможности современного использования. Создание корпусов стало возможным благодаря серии экспедиций ученых и студентов Вышки на Кавказ, современным методам лингвистической обработки и взаимодействию с коллегами из региональных университетов. О работе лингвистов новостной службе «Вышка.Главное» рассказал ведущий научный сотрудник Международной лаборатории языковой конвергенции, доцент Школы лингвистики Юрий Ландер.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic 2021: 251-275

P. 251–275.

Канович М. И., Kirigin T. B., Nigam V., Scedrov A., Talcott C.

Язык: английский

Полный текст

DOI

Ключевые слова: formal systems Logic in Computer Science foundations of computer security

В книге

Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Канович М. И., Kirigin T. B., Nigam V., Scedrov A., Talcott C. Switzerland: Springer, 2021.

Descriptional Complexity of Formal Systems. 26th IFIP WG 1.02 International Conference, DCFS 2025 Loughborough, UK, July 22–24, 2025. Proceedings

Springer, 2025.

Добавлено: 24 августа 2025 г.

AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems

Auckland: International Foundation for Autonomous Agents and Multiagent Systems, 2024.

Добавлено: 19 января 2024 г.

Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Канович М. И., Kirigin T. B., Nigam V. и др., Switzerland: Springer, 2021.

Добавлено: 6 февраля 2022 г.

Subexponentials in non-commutative linear logic

Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: Mathematical Structures in Computer ScienceVol. 29. Issue 8.: Cambridge University Press, 2019. P. 1217–1249.

Добавлено: 5 февраля 2021 г.

Mathematical Structures in Computer Science

Канович М. И., Кузнецов С. Л., Щедров А. и др., Cambridge University Press, 2019.

Добавлено: 5 февраля 2021 г.

Дискретная математика. Формально-логические системы и языки.

Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...

Добавлено: 2 декабря 2017 г.

The undecidability theorem for the Horn-like fragment of linear logic (Revisited).

Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744

Добавлено: 1 сентября 2016 г.

Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

Berlin: Springer, 2014.

Добавлено: 6 октября 2014 г.