Showing 1 - 20 results of 51 for search 'A. Zakharov', query time: 0.05s
Refine Results
-
1
-
2
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines by Vladimir A. Zakharov
Published 2020-09-01Get full text
Article -
3
-
4
-
5
The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov
Published 2010-12-01Get full text
Article -
6
From the Editors of the Issue by Vladimir A. Zakharov, Nikolay V. Shilov
Published 2019-12-01Get full text
Article -
7
A plastic stress intensity factor approach to turbine disk structural integrity assessment by V. Shlyannikov, A. Zakharov, R. Yarullin
Published 2016-07-01Get full text
Article -
8
-
9
Externalisation of Asylum Policy in the UK after Brexit by Ivan A.Zakharov, Maxim M. Agafoshin
Published 2024-04-01Get full text
Article -
10
FINE POSITIONING SYSTEM OF MACHINE PARTS by A.V. LITVIN, A.A. ZAKHAROV
Published 2010-06-01Get full text
Article -
11
Even Simple Processes of π-calculus are Hard for Analysis by Marat M. Abbas, Vladimir A. Zakharov
Published 2018-12-01Get full text
Article -
12
From the Editors of the Issue by V. A. Zakharov, N. V. Shilov
Published 2021-12-01Get full text
Article -
13
-
14
A plastic stress intensity factor approach to turbine disk structural integrity assessment by V. Shlyannikov, A. Zakharov, R. Yarullin
Published 2016-06-01Get full text
Article -
15
Some updates to the method for calculation of parameters of bottom trawl system by Egor A. Zakharov, Oleg N. Kruchinin
Published 2016-03-01Get full text
Article -
16
From the Editors of the Issue by V. A. Zakharov, N. V. Shilov
Published 2020-12-01Get full text
Article -
17
On the Minimization Problem for Sequential Programs by Vladimir A. Zakharov, Shynar R. Zhailauova
Published 2017-08-01Get full text
Article -
18
On the Minimization of Finite State Trans- ducers over Semigroups by V. A. Zakharov, G. G. Temerbekova
Published 2016-12-01Get full text
Article -
19
On the Update Problems for Software Defined Networks by V. A. Zakharov, E. V. Chemeritsky
Published 2014-12-01Get full text
Article -
20