Nikolay V. Shilov

From MaRDI portal
Person:174087

Available identifiers

zbMath Open shilov.nikolay-vMaRDI QIDQ174087

List of research outcomes





PublicationDate of PublicationType
Boris Abramovich Trakhtenbrot2022-05-09Paper
Program schemata technique for propositional program logics: a 30-year history2020-12-16Paper
https://portal.mardi4nfdi.de/entity/Q29798742017-04-26Paper
https://portal.mardi4nfdi.de/entity/Q29798142017-04-26Paper
https://portal.mardi4nfdi.de/entity/Q29798452017-04-26Paper
https://portal.mardi4nfdi.de/entity/Q29798832017-04-26Paper
https://portal.mardi4nfdi.de/entity/Q29638782017-02-21Paper
Program Schemata Technique to Solve Propositional Program Logics Revised2016-12-21Paper
https://portal.mardi4nfdi.de/entity/Q49823542015-04-09Paper
Effective generation of verification conditions for non-deterministic unstructured programs2012-05-11Paper
Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior2012-04-13Paper
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics2012-04-13Paper
Polynomial approximations for model checking2010-01-05Paper
Generation of correctness conditions for imperative programs2009-09-04Paper
https://portal.mardi4nfdi.de/entity/Q30235392005-07-05Paper
https://portal.mardi4nfdi.de/entity/Q46657322005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q47375532004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q30437982004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q31524222002-12-03Paper
https://portal.mardi4nfdi.de/entity/Q27578422001-12-04Paper
Specification and verification of distributed systems by means of the elementary-REAL language2001-07-24Paper
https://portal.mardi4nfdi.de/entity/Q45016882001-04-09Paper
https://portal.mardi4nfdi.de/entity/Q45011362000-09-03Paper
https://portal.mardi4nfdi.de/entity/Q44994852000-08-30Paper
https://portal.mardi4nfdi.de/entity/Q49472292000-04-16Paper
Program schemata vs. automata for decidability of program logics1998-07-23Paper
https://portal.mardi4nfdi.de/entity/Q33499611988-01-01Paper
Nondeterministic program schemata and their relation to dynamic logic1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34832641987-01-01Paper
Dynamic process logic1986-01-01Paper

Research outcomes over time

This page was built for person: Nikolay V. Shilov