E-LIB Suche - Ergebnisse für: Kondratyev, A.

1

Algorithm of the Operation of the Structural Elements of th..:

Kondratyev, A. ; Bondyakov, A.
Physics of Particles and Nuclei. 55 (2024) 3 - p. 375-377 , 2024

Link: https://doi.org/10.1134/..

2

Running Regular Research Seminar Online:

, In: Agents and Multi-agent Systems: Technologies and Applications 2023; Smart Innovation, Systems and Technologies,

Shilov, N. V. ; Kondratyev, D. A. ; Kudasov, N.. - p. 373-382 , 2023

Link: https://doi.org/10.1007/..

3

Towards Automatic Deductive Verification of C Programs with..:

Kondratyev, D. A.
Automatic Control and Computer Sciences. 56 (2022) 7 - p. 669-687 , 2022

Link: https://doi.org/10.3103/..

4

Automation of C Program Deductive Verification without Usin..:

Kondratyev, D. A. ; Nepomniaschy, V. A.
Programming and Computer Software. 48 (2022) 5 - p. 331-346 , 2022

Link: https://doi.org/10.1134/..

5

3D unsteady and steady modeling of heat and mass transfer d..:

Kondratyev, A. ; Demina, S. ; Smirnov, A....
International Journal of Heat and Mass Transfer. 178 (2021) - p. 121604 , 2021

Link: https://doi.org/10.1016/..

6

Five-year outcomes of the modified Ross surgery in adults: ..:

Chernov, I.I. ; Enginoev, S.T. ; Kondratyev, D.A....
Patologiya krovoobrashcheniya i kardiokhirurgiya. 25 (2021) 3 - p. 43-50 , 2021

Link: https://doi.org/10.21688..

7

The Complex Approach of the C-lightVer System to the Automa..:

Kondratyev, D. A. ; Promsky, A. V.
Automatic Control and Computer Sciences. 54 (2020) 7 - p. 728-739 , 2020

Link: https://doi.org/10.3103/..

8

The Automation of C Program Verification by the Symbolic Me..:

Kondratyev, D. A. ; Maryasov, I. V. ; Nepomniaschy, V. A.
Automatic Control and Computer Sciences. 53 (2019) 7 - p. 653-662 , 2019

Link: https://doi.org/10.3103/..

9

Platform-Independent Specification and Verification of the ..:

Shilov, N. V. ; Kondratyev, D. A. ; Anureev, I. S...
Automatic Control and Computer Sciences. 53 (2019) 7 - p. 595-616 , 2019

Link: https://doi.org/10.3103/..

10

Results of the study of hormones and cytokines in patients ..:

Kondratyeva, E. ; Aybazova, M. ; Dryagina, N...
Journal of the Neurological Sciences. 405 (2019) - p. 154-155 , 2019

Link: https://doi.org/10.1016/..

11

Developing a self-applicable verification system. Theory an..:

Kondratyev, D. A. ; Promsky, A. V.
Automatic Control and Computer Sciences. 49 (2015) 7 - p. 445-452 , 2015

Link: https://doi.org/10.3103/..

12

Submarine fan reservoir architecture and heterogeneity infl..:

Kondratyev, A ; Rukavishnikov, V ; Shakirzyanov, L.
IOP Conference Series: Earth and Environmental Science. 24 (2015) - p. 012041 , 2015

Link: https://doi.org/10.1088/..

13

Automatic C program verification based on mixed axiomatic s..:

Maryasov, I. V. ; Nepomnyaschy, V. A. ; Promsky, A. V..
Automatic Control and Computer Sciences. 48 (2014) 7 - p. 407-414 , 2014

Link: https://doi.org/10.3103/..

14

Variants of hypothalamic disruptions in neurosurgical patie..:

Kondratyev, A. ; Tsentsiper, L. ; Kondratyeva, E.
European Journal of Anaesthesiology. 30 (2013) - p. 114-114 , 2013

Link: https://doi.org/10.1097/..

15

Penetration depths of injected/sputtered tungsten in the pl..:

Laengner, M. ; Brezinsek, S. ; Coenen, J.W....
Journal of Nuclear Materials. 438 (2013) - p. S865-S870 , 2013

Link: https://doi.org/10.1016/..