Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nikolay V. Shilov
Author information
- Ershov Institute of Informatics Systems, Novosibirsk, Russia
2010 – today
- 2012
[j10]Nikolay V. Shilov: Verification of backtracking and branch and bound design templates. Automatic Control and Computer Sciences 46(7): 402-409 (2012)- 2011
- [j9]Nikolay V. Shilov: F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers. Automatic Control and Computer Sciences 45(7): 428-436 (2011)
- [c18]Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov, Renat I. Idrisov: Development of the Computer Language Classification Knowledge Portal. Ershov Memorial Conference 2011: 340-348
- [c17]
2000 – 2009
- 2009
- [r1]Nikolay V. Shilov, Natalya Olegovna Garanina: Modal Logics for Reasoning about Multiagent Systems. Encyclopedia of Artificial Intelligence 2009: 1089-1094
- 2008
- [j8]Nikolay V. Shilov, Igor S. Anureev, E. V. Bodin: Generation of correctness conditions for imperative programs. Programming and Computer Software 34(6): 307-321 (2008)
- [c16]
- 2007
- [c15]
- [c14]Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina: Combining Two Formalism for Reasoning about Concepts. Description Logics 2007
- [c13]Nikolay V. Shilov, Natalya Olegovna Garanina: Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. KONT/KPP 2007: 48-58
- 2006
- [j7]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)
- [c12]Nikolay V. Shilov, Natalya Olegovna Garanina: Well-Structured Model Checking of Multiagent Systems. Ershov Memorial Conference 2006: 363-376
- 2004
- [j6]
- [j5]S. O. Shilova, Nikolay V. Shilov: Addendum to Etude on theme of Dijkstra. SIGACT News 35(4): 118 (2004)
- [c11]E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov: Model Checking mu-Calculus in Well-Structured Transition Systems. TIME 2004: 152-155
- 2003
- [c10]Nikolay V. Shilov, Natalya Olegovna Garanina: Polynomial Approximations for Model Checking. Ershov Memorial Conference 2003: 395-400
- 2002
- [j4]Nikolay V. Shilov, Kwangkeun Yi: Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45(9): 98-101 (2002)
- [c9]Nikolay V. Shilov, Natalya Olegovna Garanina: Model checking knowledge and fixpoints. FICS 2002: 25-39
- [c8]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
- 2001
- [j3]Nikolay V. Shilov, Kwang Yi: How to Find a Coin: Propositional Program Logics Made Easy. Bulletin of the EATCS 75: 127-151 (2001)
- [j2]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: 34-49 (2001)
- [c7]Nikolay V. Shilov, Kwang Yi: On Expressive and Model Checking Power of Propositional Program Logics. Ershov Memorial Conference 2001: 39-46
- 2000
- [c6]
1990 – 1999
- 1999
- [c5]Ron van der Meyden, Nikolay V. Shilov: Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS 1999: 432-445
- 1997
- [j1]Nikolay V. Shilov: Program Schemata vs. Automata for Decidability of Program Logics. Theor. Comput. Sci. 175(1): 15-27 (1997)
- [c4]Igor Rents, Nikolay V. Shilov: Some Results on Propositional Dynamic Logic with Fixed Points. LFCS 1997: 323-332
- 1994
- [c3]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
- [c2]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
- [c1]Nikolay V. Shilov: Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. LFCS 1992: 452-458
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-09 14:34 CET by the dblp team