| |
| 2007 | ||
|---|---|---|
| 5 | EE | Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina: Combining Two Formalism for Reasoning about Concepts. Description Logics 2007 |
| 2006 | ||
| 4 | EE | Nikolay V. Shilov, Natalya Olegovna Garanina: Well-Structured Model Checking of Multiagent Systems. Ershov Memorial Conference 2006: 363-376 |
| 3 | EE | Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe: Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundam. Inform. 72(1-3): 347-361 (2006) |
| 2003 | ||
| 2 | EE | Nikolay V. Shilov, Natalya Olegovna Garanina: Polynomial Approximations for Model Checking. Ershov Memorial Conference 2003: 395-400 |
| 2002 | ||
| 1 | Nikolay V. Shilov, Natalya Olegovna Garanina: Model checking knowledge and fixpoints. FICS 2002: 25-39 | |
| 1 | Igor S. Anureev | [5] |
| 2 | K.-M. Choe | [3] |
| 3 | Nikolay V. Shilov | [1] [2] [3] [4] [5] |