 | 2011 |
|---|
| 9 |       | Natalya Olegovna Garanina:
Exponential Acceleration of Model Checking for Perfect Recall Systems.
Ershov Memorial Conference 2011: 111-124 |
| 8 | | Natalya Olegovna Garanina:
Model checking of distributed systems with affine data structures.
Automatic Control and Computer Sciences 45(7): 397-401 (2011) |
| 2009 |
|---|
| 7 | | Nikolay V. Shilov,
Natalya Olegovna Garanina:
Modal Logics for Reasoning about Multiagent Systems.
Encyclopedia of Artificial Intelligence 2009: 1089-1094 |
| 2007 |
|---|
| 6 | | Nikolay V. Shilov,
Igor S. Anureev,
Natalya Olegovna Garanina:
Combining Two Formalism for Reasoning about Concepts.
Description Logics 2007 |
| 5 | | Nikolay V. Shilov,
Natalya Olegovna Garanina:
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems.
KONT/KPP 2007: 48-58 |
| 2006 |
|---|
| 4 | | Nikolay V. Shilov,
Natalya Olegovna Garanina:
Well-Structured Model Checking of Multiagent Systems.
Ershov Memorial Conference 2006: 363-376 |
| 3 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page