Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. - Nikolay V. Shilov 002 (LFCS, 1992)

REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. - Valery A. Nepomniaschy; Nikolay V. Shilov 002 (Formal Methods in Programming and Their Applications, 1993)

An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. - Sergey Berezin; Nikolay V. Shilov 002 (LFCS, 1994)

Some Results on Propositional Dynamic Logic with Fixed Points. - Igor Rents; Nikolay V. Shilov 002 (LFCS, 1997)

Program Schemata vs. Automata for Decidability of Program Logics. - Nikolay V. Shilov 002 (Theor. Comput. Sci., 1997)

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). - Ron van der Meyden; Nikolay V. Shilov 002 (FSTTCS, 1999)

A Note on Model Checkers Reuse and Validation. - Nikolay V. Shilov 002; Kwangkeun Yi (APLAS, 2000)

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. - Nikolay V. Shilov 002; Kwang Yi (FM-Everywhere@FORTE/PSTV, 2000)

On Expressive and Model Checking Power of Propositional Program Logics. - Nikolay V. Shilov 002; Kwang Yi (Ershov Memorial Conference, 2001)

How to Find a Coin: Propositional Program Logics Made Easy. - Nikolay V. Shilov 002; Kwang Yi (Bull. EATCS, 2001)

Model checking knowledge and fixpoints. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (FICS, 2002)

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. - Valery A. Nepomniaschy; Nikolay V. Shilov 002; Evgeny V. Bodin; Vitaly E. Kozura (IFM, 2002)

Engaging students with theory through ACM collegiate programming contest. - Nikolay V. Shilov 002; Kwangkeun Yi (Commun. ACM, 2002)

Polynomial Approximations for Model Checking. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (Ershov Memorial Conference, 2003)

Model Checking mu-Calculus in Well-Structured Transition Systems. - E. V. Kouzmin; Nikolay V. Shilov 002; Valery A. Sokolov (TIME, 2004)

Etude on theme of Dijkstra. - Svetlana O. Shilova; Nikolay V. Shilov 002 (SIGACT News, 2004)

Addendum to Etude on theme of Dijkstra. - Svetlana O. Shilova; Nikolay V. Shilov 002 (SIGACT News, 2004)

Well-Structured Model Checking of Multiagent Systems. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (Ershov Memorial Conference, 2006)

Update and Abstraction in Model Checking of Knowledge and Branching Time. - Nikolay V. Shilov 002; Natalya Olegovna Garanina; K.-M. Choe (Fundam. Informaticae, 2006)

A Proposal of Description Logic on Concept Lattices. - Nikolay V. Shilov 002; Sang-Yong Han (CLA, 2007)

Combining Two Formalism for Reasoning about Concepts. - Nikolay V. Shilov 002; Igor S. Anureev; Natalya Olegovna Garanina (Description Logics, 2007)

Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (KONT/KPP, 2007)

Realization Problem for Formal Concept Analysis. - Nikolay V. Shilov 002 (Description Logics, 2008)

Generation of correctness conditions for imperative programs. - Nikolay V. Shilov 002; Igor S. Anureev; Evgeny V. Bodin (Program. Comput. Softw., 2008)

Modal Logics for Reasoning about Multiagent Systems. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (Encyclopedia of Artificial Intelligence, 2009)

Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. - Nikolay V. Shilov 002 (PSPL@LICS, 2010)

Development of the Computer Language Classification Knowledge Portal. - Nikolay V. Shilov 002; Alexander A. Akinin; Alexey V. Zubkov; Renat I. Idrisov (Ershov Memorial Conference, 2011)

Algorithm Design Template Base on Temporal ADT. - Nikolay V. Shilov 002 (TIME, 2011)

F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers. - Nikolay V. Shilov 002 (Autom. Control. Comput. Sci., 2011)

Verification of backtracking and branch and bound design templates. - Nikolay V. Shilov 002 (Autom. Control. Comput. Sci., 2012)

Towards Description Logic on Concept Lattices. - Julia V. Grebeneva; Nikolay V. Shilov 002; Natalia Olegovna Garanina (CLA, 2013)

An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic). - Nikolay V. Shilov 002 (Logic, Computation, Hierarchies, 2014)

Agent Knowledge and Beliefs in a Cloud. - Nikolay V. Shilov 002 (EGC, 2015)

Program Schemata Technique to Solve Propositional Program Logics Revised. - Nikolay Shilov 002 (Ershov Memorial Conference, 2015)

Program schemata technique for propositional program logics: A 30-year history. - Nikolay V. Shilov 002; Svetlana O. Shilova; A. Yu. Bernshtein (Program. Comput. Softw., 2016)

Towards platform-independent verification of the standard mathematical functions: the square root function. - Nikolay V. Shilov 002; Igor S. Anureev; Mikhail Berdyshev; Dmitry Kondratev; Aleksey V. Promsky (CoRR, 2018)

Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems. - Nikolay V. Shilov 002; Danila Danko (FISEE, 2019)

Fun with Formal Methods for Better Education. - Nikolay V. Shilov 002; Evgeniy Muravev; Svetlana O. Shilova (FMFun, 2019)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model. - Sergey M. Staroletov; Nikolay V. Shilov 002 (SPIN, 2019)

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Igor S. Anureev; Evgeny V. Bodin; Alexey V. Promsky (Autom. Control. Comput. Sci., 2019)

Towards platform-independent specification and verification of the standard trigonometry functions. - Nikolay V. Shilov 002; Boris L. Faifel; Svetlana O. Shilova; Aleksey V. Promsky (CoRR, 2019)

Particular sides with working with talented students in professional training of a teacher. - Nikolai Vyacheslavovich Shilov; Svetlana Olegovna Shilova (Russ. Digit. Libr. J., 2019)

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. - Tatiana V. Liakh; Andrei Rozov; Vladimir Zyubin; Sergey M. Staroletov; Thomas Baar; Horst Schulte; Ivan Konyukhov; Nikolay Shilov 002 (FedCSIS, 2021)

Knowledge-Based Algorithms for BDI Agents. - Nikolay V. Shilov 002; Natalia Olegovna Garanina (Autom. Control. Comput. Sci., 2021)

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs. - Nikolai Kudasov; Mikhail Olokin; Oleksii Potyomkin; Nikolay Shilov 002; Maxim Stepanov (CoRR, 2022)

Running Regular Research Seminar Online. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Nikolai Kudasov; Igor S. Anureev (KES-AMSTA, 2023)

A Learning Path to Functional Programming (and What Students can see on the Path). - Lidia Gorodnyaya; Dmitry A. Kondratyev; Nikolay Shilov 002 (KES-AMSTA, 2024)