E. V. Kuzmin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
LTL-specification for development and verification of control programs Modeling and Analysis of Information Systems	2024-01-29	Paper
The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator Modeling and Analysis of Information Systems	2023-10-05	Paper
LTL-Specification of Counter Machines Modeling and Analysis of Information Systems	2023-01-24	Paper
LTL-specification of bounded counter machines Modeling and Analysis of Information Systems	2022-09-21	Paper
Boundedness problems for Minsky counter machines Doklady Mathematics	2011-06-08	Paper
Boundedness problems for Minsky counter machines Programming and Computer Software	2010-09-24	Paper
Modeling, specification, and verification of automaton programs Programming and Computer Software	2009-09-04	Paper
Application of the trace assertion method to the specification, design, and verification of automaton programs Programming and Computer Software	2009-09-04	Paper
scientific article; zbMATH DE number 5068370 (Why is no real title available?)	2006-10-30	Paper
scientific article; zbMATH DE number 2186291 (Why is no real title available?)	2005-07-05	Paper

Research outcomes over time

This page was built for person: E. V. Kuzmin