| Model checking knowledge and time in systems with perfect recall R van der Meyden, NV Shilov FSTTCS 1738, 432-445, 1999 | 190 | 1999 |
| Engaging students with theory through acm collegiate programming contest NV Shilov, K Yi Communications of the ACM 45 (9), 98-101, 2002 | 42 | 2002 |
| Model checking knowledge and fixpoints. NV Shilov, NO Garanina FICS, 25-39, 2002 | 28 | 2002 |
| How to find a coin: propositional program logics made easy NV Shilov, K Yi Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004 | 27 | 2004 |
| Program schemata vs. automata for decidability of program logics NV Shilov Theoretical Computer Science 175 (1), 15-27, 1997 | 22 | 1997 |
| Update and abstraction in model checking of knowledge and branching time NV Shilov, NO Garanina, KM Choe Fundamenta Informaticae 72 (1-3), 347-361, 2006 | 21 | 2006 |
| Model-driven methods to design of reliable multiagent cyber-physical systems S Staroletov, N Shilov, I Konyukhov, V Zyubin, T Liakh, A Rozov, I Shilov, ... CEUR workshop proceedings 2478, 74-91, 2019 | 18 | 2019 |
| On the problem of computer language classification IS Anureev, EV Bodin, LV Gorodnyaya, AG Marchuk, FA Murzin, ... Joint NCC&IIS Bulletin, Series Computer Science 27, 1-20, 2008 | 16 | 2008 |
| Model checking/spl mu/-calculus in well-structured transition systems EV Kouzmin, NV Shilov, VA Sokolov Proceedings. 11th International Symposium on Temporal Representation and …, 2004 | 16 | 2004 |
| Model checking knowledge, actions and fixpoints NO Garanina, NA Kalinina, NV Shilov Proc. of Concurrency, Specification and Programming Workshop CS&P, 351-357, 2004 | 16 | 2004 |
| Puzzles for learning model checking, model checking for programming puzzles, puzzles for testing model checkers NV Shilov, K Yi Electronic Notes in Theoretical Computer Science 43, 34-49, 2001 | 16 | 2001 |
| Basic-REAL: integrated approach for design, specification and verification of distributed systems VA Nepomniaschy, NV Shilov, EV Bodin, VE Kozura IFM, 69-88, 2002 | 15 | 2002 |
| Etude on theme of Dijkstra SO Shilova, NV Shilov ACM SIGACT News 35 (3), 102-108, 2004 | 12 | 2004 |
| An approach to Effective model-checking of real-time finite-state machines in Mu-Calculus SA Berezin, NV Shilov Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994 | 12 | 1994 |
| Generation of correctness conditions for imperative programs NV Shilov, IS Anureev, EV Bodin Programming and Computer Software 34, 307-321, 2008 | 11 | 2008 |
| Well-structured model checking of multiagent systems NV Shilov, NO Garanina Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007 | 10 | 2007 |
| Development of the computer language classification knowledge portal NV Shilov, AA Akinin, AV Zubkov, RI Idrisov Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 9 | 2012 |
| On expressive and model checking power of propositional program logics NV Shilov, K Yi Perspectives of System Informatics: 4th International Andrei Ershov Memorial …, 2001 | 9 | 2001 |
| Applying model checking approach with floating point arithmetic for verification of air collision avoidance maneuver hybrid model S Staroletov, N Shilov Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 8 | 2019 |
| Platform-independent Specification and Verification of the Standard Mathematical Square Root Function NV Shilov, DA Kondratyev, IS Anureev, EV Bodin, AV Promsky Modeling and Analysis of Information Systems 25 (6), 637-666, 2018 | 8 | 2018 |
Natalia GaraninaSenior Reseacher, A.P. Ershov INSTITUTE OF INFORMATICS SYSTEMS, Novosibirsk, RussiaVerified email at iis.nsk.su
