Nikolay V. Shilov
According to our database^{1},
Nikolay V. Shilov
authored at least 39 papers
between 1992 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2019
Towards platformindependent specification and verification of the standard trigonometry functions.
CoRR, 2019
PlatformIndependent Specification and Verification of the Standard Mathematical Square Root Function.
Autom. Control. Comput. Sci., 2019
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.
Proceedings of the Model Checking Software  26th International Symposium, 2019
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems.
Proceedings of the Frontiers in Software Engineering Education, 2019
2018
Towards platformindependent verification of the standard mathematical functions: the square root function.
CoRR, 2018
2016
Program. Comput. Softw., 2016
2015
Proceedings of the Embracing Global Computing in Emerging Economies  First Workshop, 2015
2014
An Approach to Design of AutomataBased Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic).
Proceedings of the Logic, Computation, Hierarchies, 2014
2013
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013
2012
Autom. Control. Comput. Sci., 2012
2011
Autom. Control. Comput. Sci., 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the Perspectives of Systems Informatics, 2011
2010
TableauLike AutomataBased Axiomatization for Propositional Linear Temporal Logic.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010
2009
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009
2008
Program. Comput. Softw., 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
2007
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multiagent Systems.
Proceedings of the Knowledge Processing and Data Analysis  First International Conference, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Fifth International Conference on Concept Lattices and Their Applications, 2007
2006
Fundam. Informaticae, 2006
Proceedings of the Perspectives of Systems Informatics, 2006
2004
SIGACT News, 2004
SIGACT News, 2004
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004
2003
Proceedings of the Perspectives of Systems Informatics, 2003
2002
Commun. ACM, 2002
BasicREAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
Model checking knowledge and fixpoints.
Proceedings of the Fixed Points in Computer Science, 2002
2001
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.
Electron. Notes Theor. Comput. Sci., 2001
How to Find a Coin: Propositional Program Logics Made Easy.
Bull. EATCS, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
A Note on Model Checkers Reuse and Validation.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000
1999
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract).
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999
1997
Theor. Comput. Sci., 1997
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
1994
An Approach to Effective ModelChecking of RealTime FiniteState Machines in MuCalculus.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1993
REAL92: A Combined Specification Language for RealTime Concurrent Systems and Properties.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993
1992
Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines.
Proceedings of the Logical Foundations of Computer Science, 1992