Search the dblp DataBase

Publications of Author

1. Nikolay V. Shilov, Kwangkeun Yi
   A Note on Model Checkers Reuse and Validation. [Citation Graph (0, 0)][DBLP]
   APLAS, 2000, pp:69-77 [Conf]
   
2. Nikolay V. Shilov, Natalya Olegovna Garanina
   Polynomial Approximations for Model Checking. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2003, pp:395-400 [Conf]
   
3. Nikolay V. Shilov, Kwang Yi
   On Expressive and Model Checking Power of Propositional Program Logics. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2001, pp:39-46 [Conf]
   
4. V. A. Nepomniaschy, Nikolay V. Shilov
   REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Programming and Their Applications, 1993, pp:377-393 [Conf]
   
5. Nikolay V. Shilov, Natalya Olegovna Garanina
   Model checking knowledge and fixpoints. [Citation Graph (0, 0)][DBLP]
   FICS, 2002, pp:25-39 [Conf]
   
6. Ron van der Meyden, Nikolay V. Shilov
   Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1999, pp:432-445 [Conf]
   
7. V. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura
   Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:69-88 [Conf]
   
8. Sergey Berezin, Nikolay V. Shilov
   An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. [Citation Graph (0, 0)][DBLP]
   LFCS, 1994, pp:47-55 [Conf]
   
9. Igor Rents, Nikolay V. Shilov
   Some Results on Propositional Dynamic Logic with Fixed Points. [Citation Graph (0, 0)][DBLP]
   LFCS, 1997, pp:323-332 [Conf]
   
10. Nikolay V. Shilov
    Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:452-458 [Conf]
    
11. E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov
    Model Checking mu-Calculus in Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:152-155 [Conf]
    
12. Nikolay V. Shilov, Kwangkeun Yi
    Engaging students with theory through ACM collegiate programming contest. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:9, pp:98-101 [Journal]
    
13. Nikolay V. Shilov, Kwang Yi
    How to Find a Coin: Propositional Program Logics Made Easy. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:75, n:, pp:127-151 [Journal]
    
14. Nikolay V. Shilov, Kwang Yi
    Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
    
15. 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]
    
16. Nikolay V. Shilov
    Program Schemata vs. Automata for Decidability of Program Logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:175, n:1, pp:15-27 [Journal]
    
17. 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]
    
18. 
    Combining Two Formalism for Reasoning about Concepts. [Citation Graph (, )][DBLP]