( en | de | ru )

 

Disambiguation of "Shilov, Nikolay V."

Author of the publication

copydeleteadd this publication to your clipboard
Program schemata technique for propositional program logics: A 30-year history.

, , and . Program. Comput. Softw., 42 (4): 239-256 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrey Shilov

Nikolay Nikolov

Nikolay Samusik

Nikolay Kaymakanov

Nikolay Robinzonov

 

Other publications of authors with the same name

Program Schemata vs. Automata for Decidability of Program Logics.. Theor. Comput. Sci., 175 (1): 15-27 (1997)F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers.. Autom. Control. Comput. Sci., 45 (7): 428-436 (2011)Towards platform-independent specification and verification of the standard trigonometry functions., , , and . CoRR, (2019)How to Find a Coin: Propositional Program Logics Made Easy., and . Bull. EATCS, (2001)Engaging students with theory through ACM collegiate programming contest., and . Commun. ACM, 45 (9): 98-101 (2002)Etude on theme of Dijkstra., and . SIGACT News, 35 (3): 102-108 (2004)Polynomial Approximations for Model Checking., and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 395-400. Springer, (2003)Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model., and . SPIN, volume 11636 of Lecture Notes in Computer Science, page 193-207. Springer, (2019)Modal Logics for Reasoning about Multiagent Systems., and . Encyclopedia of Artificial Intelligence, IGI Global, (2009)Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic.. PSPL@LICS, volume 12 of EPiC Series in Computing, page 23-24. EasyChair, (2010)