V. A. Sokolov

Available identifiers

zbMath Open sokolov.valerii-anatolevichMaRDI QIDQ395106

List of research outcomes

Publication	Date of Publication	Type
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions	2023-01-17	Paper
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions	2023-01-17	Paper
An Effective Algorithm for Collision Resolution in Security Policy Rules	2022-09-21	Paper
Boris Abramovich Trakhtenbrot	2022-05-09	Paper
Nonperturbative QED vacuum birefringence	2018-02-05	Paper
Nonlinear vacuum electrodynamics influence on the spacetime structure and massive particles orbits properties in Einstein–Born–Infeld theory	2016-12-19	Paper
Using the concept of natural geometry in the nonlinear electrodynamics of the vacuum	2014-01-28	Paper
Boundedness problems for Minsky counter machines	2011-06-08	Paper
Boundedness problems for Minsky counter machines	2010-09-24	Paper
Modeling, specification, and verification of automaton programs	2009-09-04	Paper
Application of the trace assertion method to the specification, design, and verification of automaton programs	2009-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q5394328	2006-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q5695636	2005-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q3023539	2005-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3043827	2004-08-06	Paper
Modeling and traffic analysis of the adaptive rate transport protocol	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4778634	2002-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4517369	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4242497	1999-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q3796037	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3749408	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3756588	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3732098	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3921205	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5676204	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5676205	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677458	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5645407	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5799799	1949-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: V. A. Sokolov