The SCEAS System
| |||||||

## Search the dblp DataBase
Nikolay V. Shilov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Nikolay V. Shilov, Kwangkeun Yi
**A Note on Model Checkers Reuse and Validation.**[Citation Graph (0, 0)][DBLP] APLAS, 2000, pp:69-77 [Conf] - 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, 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] - 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] - Nikolay V. Shilov, Natalya Olegovna Garanina
**Model checking knowledge and fixpoints.**[Citation Graph (0, 0)][DBLP] FICS, 2002, pp:25-39 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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
**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] - 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |