Nikolay V. Shilov

2007
20	EE	Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina: Combining Two Formalism for Reasoning about Concepts. Description Logics 2007
2006
19	EE	Nikolay V. Shilov, Natalya Olegovna Garanina: Well-Structured Model Checking of Multiagent Systems. Ershov Memorial Conference 2006: 363-376
18	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)
2004
17	EE	E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov: Model Checking mu-Calculus in Well-Structured Transition Systems. TIME 2004: 152-155
16	EE	S. O. Shilova, Nikolay V. Shilov: Etude on theme of Dijkstra. SIGACT News 35(3): 102-108 (2004)
15	EE	S. O. Shilova, Nikolay V. Shilov: Addendum to Etude on theme of Dijkstra. SIGACT News 35(4): 118 (2004)
2003
14	EE	Nikolay V. Shilov, Natalya Olegovna Garanina: Polynomial Approximations for Model Checking. Ershov Memorial Conference 2003: 395-400
2002
13		Nikolay V. Shilov, Natalya Olegovna Garanina: Model checking knowledge and fixpoints. FICS 2002: 25-39
12	EE	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
11	EE	Nikolay V. Shilov, Kwangkeun Yi: Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45(9): 98-101 (2002)
2001
10	EE	Nikolay V. Shilov, Kwang Yi: On Expressive and Model Checking Power of Propositional Program Logics. Ershov Memorial Conference 2001: 39-46
9		Nikolay V. Shilov, Kwang Yi: How to Find a Coin: Propositional Program Logics Made Easy. Bulletin of the EATCS 75: 127-151 (2001)
8	EE	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)
2000
7		Nikolay V. Shilov, Kwangkeun Yi: A Note on Model Checkers Reuse and Validation. APLAS 2000: 69-77
1999
6	EE	Ron van der Meyden, Nikolay V. Shilov: Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS 1999: 432-445
1997
5		Igor Rents, Nikolay V. Shilov: Some Results on Propositional Dynamic Logic with Fixed Points. LFCS 1997: 323-332
4	EE	Nikolay V. Shilov: Program Schemata vs. Automata for Decidability of Program Logics. Theor. Comput. Sci. 175(1): 15-27 (1997)
1994
3		Sergey Berezin, Nikolay V. Shilov: An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. LFCS 1994: 47-55
1993
2		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
1992
1		Nikolay V. Shilov: Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. LFCS 1992: 452-458

Coauthor Index

1	Igor S. Anureev	[20]
2	Sergey Berezin	[3]
3	E. V. Bodin	[12]
4	K.-M. Choe	[18]
5	Natalya Olegovna Garanina	[13] [14] [18] [19] [20]
6	E. V. Kouzmin	[17]
7	Vitaly E. Kozura	[12]
8	Ron van der Meyden	[6]
9	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[2] [12]
10	Igor Rents	[5]
11	S. O. Shilova	[15] [16]
12	Valery A. Sokolov	[17]
13	Kwang Yi	[8] [9] [10]
14	Kwangkeun Yi	[7] [11]

Colors in the list of coauthors