D. Kondratyev

发表

Penetration depths of injected/sputtered tungsten in the plasma edge layer of TEXTOR

O. Schmitz, S. Brezinsek, V. Philipps, 2013 .

Developing a self-applicable verification system. Theory and practice

D. Kondratyev, A. Promsky, 2015, Automatic Control and Computer Sciences.

Atomic data and collisional–radiative model for beryllium and its ions

Y. Ralchenko, D. Fursa, I. Bray, 2014 .

Calculation of electron impact excitation and ionization cross sections for light elements

L. Vainshtein, D. Kondratyev, 2012 .

Simulation of spectroscopic patterns obtained in W/C test-limiter sputtering experiment at TEXTOR

S. Brezinsek, J. Coenen, D. Borodin, 2013 .

Automatic C program verification based on mixed axiomatic semantics

V. Nepomniaschy, D. Kondratyev, A. Promsky, 2014, Automatic Control and Computer Sciences.

Pentasil-Type Zeolites: Radical Formation, Activity in the Olefin Oligomerization and Aromatization, Processes of Coke Deposition

K. Minachev, A. Rubinstein, A. Kucherov, 1986 .

Formation of radicals and catalytic activity of H-ZSM-5-type zeolites in unsaturated hydrocarbon conversions: Part 2. Radical formation upon adsorption of aromatic compounds

K. Minachev, A. Rubinstein, A. Kucherov, 1986 .

Formation of radicals and catalytic activity of pentasil-type zeolites in unsaturated hydrocarbon conversions

A. Rubinstein, A. Kucherov, A. Slinkin, 1986 .

Evidence for Higgs boson decay to a pair of muons

S. M. Etesami, S. S. Chhibra, W. A. Khan, 2021, Journal of High Energy Physics.

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

D. Kondratyev, 2021, Automatic Control and Computer Sciences.