Nikolay V. Shilov
Orcid: 0000-0001-7515-9647Affiliations:
- Innopolis University, Innopolis, Russia
- Ershov Institute of Informatics Systems, Novosibirsk, Russia (former)
According to our database1,
Nikolay V. Shilov
authored at least 46 papers
between 1992 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
1
3
1
1
1
1
1
1
2
1
1
1
1
4
2
1
2
1
1
3
1
1
1
2
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.
CoRR, 2022
2021
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.
Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021
2019
Particular sides with working with talented students in professional training of a teacher.
Russ. Digit. Libr. J., 2019
Towards platform-independent specification and verification of the standard trigonometry functions.
CoRR, 2019
Platform-Independent 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
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems.
Proceedings of the Frontiers in Software Engineering Education, 2019
2018
Towards platform-independent verification of the standard mathematical functions: the square root function.
CoRR, 2018
2016
Program. Comput. Softw., 2016
2015
Proceedings of the Perspectives of System Informatics, 2015
Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015
2014
An Approach to Design of Automata-Based 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
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 Multi-agent 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
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
Basic-REAL: 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
How to Find a Coin: Propositional Program Logics Made Easy.
Bull. EATCS, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.
Proceedings of the Formal Methods Elsewhere, 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 Model-Checking of Real-Time Finite-State Machines in Mu-Calculus.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1993
REAL92: A Combined Specification Language for Real-Time 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