| Publication | Date of Publication | Type |
|---|
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Program schemata technique for propositional program logics: a 30-year history
Programming and Computer Software | 2020-12-16 | Paper |
| Alias calculus for a simple imperative language with decidable pointer arithmetic | 2017-04-26 | Paper |
| scientific article; zbMATH DE number 6708298 (Why is no real title available?) | 2017-04-26 | Paper |
| Unifying dynamic programming design patterns | 2017-04-26 | Paper |
| On the need to specify and verify standard functions | 2017-04-26 | Paper |
| scientific article; zbMATH DE number 6687732 (Why is no real title available?) | 2017-02-21 | Paper |
Program schemata technique to solve propositional program logics revised
Lecture Notes in Computer Science | 2016-12-21 | Paper |
| scientific article; zbMATH DE number 6423748 (Why is no real title available?) | 2015-04-09 | Paper |
Effective generation of verification conditions for non-deterministic unstructured programs
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-05-11 | Paper |
Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-04-13 | Paper |
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-04-13 | Paper |
Polynomial approximations for model checking
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Generation of correctness conditions for imperative programs
Programming and Computer Software | 2009-09-04 | Paper |
| scientific article; zbMATH DE number 2186291 (Why is no real title available?) | 2005-07-05 | Paper |
| scientific article; zbMATH DE number 2155185 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2086946 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084327 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1819632 (Why is no real title available?) | 2002-12-03 | Paper |
| scientific article; zbMATH DE number 1678389 (Why is no real title available?) | 2001-12-04 | Paper |
Specification and verification of distributed systems by means of the elementary-REAL language
Programming and Computer Software | 2001-07-24 | Paper |
| scientific article; zbMATH DE number 1500666 (Why is no real title available?) | 2001-04-09 | Paper |
| scientific article; zbMATH DE number 1499083 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1498420 (Why is no real title available?) | 2000-08-30 | Paper |
| scientific article; zbMATH DE number 1432245 (Why is no real title available?) | 2000-04-16 | Paper |
Program schemata vs. automata for decidability of program logics
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 4201593 (Why is no real title available?) | 1988-01-01 | Paper |
Nondeterministic program schemata and their relation to dynamic logic
Cybernetics | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4154413 (Why is no real title available?) | 1987-01-01 | Paper |
Dynamic process logic
Programming and Computer Software | 1986-01-01 | Paper |
