|
Search the dblp DataBase
Natalya Olegovna Garanina:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nikolay V. Shilov, Natalya Olegovna Garanina
Polynomial Approximations for Model Checking. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2003, pp:395-400 [Conf]
- Nikolay V. Shilov, Natalya Olegovna Garanina
Model checking knowledge and fixpoints. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:25-39 [Conf]
- Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
Update and Abstraction in Model Checking of Knowledge and Branching Time. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:72, n:1-3, pp:347-361 [Journal]
- Nikolay V. Shilov, Natalya Olegovna Garanina
Well-Structured Model Checking of Multiagent Systems. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2006, pp:363-376 [Conf]
Combining Two Formalism for Reasoning about Concepts. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|