Nikolay V. Shilov

Available identifiers

zbMath Open shilov.nikolay-vMaRDI QIDQ174087

List of research outcomes

Publication	Date of Publication	Type
Boris Abramovich Trakhtenbrot	2022-05-09	Paper
Program schemata technique for propositional program logics: a 30-year history	2020-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q2979874	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979814	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979845	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979883	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2963878	2017-02-21	Paper
Program Schemata Technique to Solve Propositional Program Logics Revised	2016-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q4982354	2015-04-09	Paper
Effective generation of verification conditions for non-deterministic unstructured programs	2012-05-11	Paper
Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior	2012-04-13	Paper
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics	2012-04-13	Paper
Polynomial approximations for model checking	2010-01-05	Paper
Generation of correctness conditions for imperative programs	2009-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3023539	2005-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4665732	2005-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737553	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q3043798	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3152422	2002-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q2757842	2001-12-04	Paper
Specification and verification of distributed systems by means of the elementary-REAL language	2001-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4501688	2001-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4501136	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4499485	2000-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4947229	2000-04-16	Paper
Program schemata vs. automata for decidability of program logics	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3349961	1988-01-01	Paper
Nondeterministic program schemata and their relation to dynamic logic	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3483264	1987-01-01	Paper
Dynamic process logic	1986-01-01	Paper

Research outcomes over time

This page was built for person: Nikolay V. Shilov