Search for Research

Н. В. Шилов

Автономная некоммерческая организация высшего образования Университет Иннополис

  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Logic, Reasoning, and Knowledge
  • Computability, Logic, AI Algorithms
  • Semantic Web and Ontologies

Чем занимается

Ключевые темы по публикациям: Formal Methods in Verification; Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Computability, Logic, AI Algorithms; Semantic Web and Ontologies.

Последние работы

Все 72 в OpenAlex
  • Model Checking Knowledge and Time in Systems with Perfect Recall1999
  • Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)1999
  • Engaging students with theory through ACM collegiate programming contest2002 · аннотация

    How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.

  • Model checking knowledge and fixpoints.2002
  • Update and Abstraction in Model Checking of Knowledge and Branching Time2006 · аннотация

    We present (update+abstraction) algorithm for model checking a fusion of Computation Tree Logic and Propositional Logic of Knowledge in systems with the perfect recall synchronous semantics. It has been already known…

  • A Learning Path to Functional Programming (and What Students can see on the Path)2025
  • Running Regular Research Seminar Online2023
  • Boris Abramovich Trakhtenbrot2022

Наукометрия

8h-index
72публикаций
383цитирований

Написать научруку

Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.

Шаблон письма

Здравствуйте, Н. В. Шилов! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «Model Checking Knowledge and Time in Systems with Perfect Recall» (1999) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]

На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.