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