Logic for reasoning about bugs in loops over data sequences (IFIL) von Kondratyev, Dmitry A.

Volltext

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System von Kondratyev, Dmitry A.

Volltext

Formal verification of Cloud Sisal programs von Kasyanov, Victor N., Kasyanova, Elena V., Kondratyev, Dmitry A.

Volltext

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs von Kondratyev, Dmitry A., Promsky, Alexei V.

Volltext

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification von Maryasov, Ilya V., Nepomniaschy, Valery A., Kondratyev, Dmitry A.

Volltext

Platform-independent Specification and Verification of the Standard Mathematical Square Root Function von Shilov, Nikolay V., Kondratyev, Dmitry A., Anureev, Igor S., Bodin, Eugene V., Promsky, Alexei V.

Volltext

System and method for identifying a cryptor that encodes files of a computer system von Kondratyev, Dmitry A, Lopatin, Evgeny I

Volltext bestellen

SYSTEM AND METHOD FOR DETECTING VULNERABILITIES IN THE OPERATING SYSTEM BASED ON PROCESS AND THREAD DATA von Monastyrsky, Alexey V, Kondratyev, Dmitry A

Volltext bestellen

DETECTING A HARMFUL FILE USING A DATABASE OF VULNERABLE DRIVERS von Kondratyev, Dmitry A, Lopatin, Evgeny I

Volltext bestellen

DETECTING A HARMFUL FILE USING A DATABASE OF VULNERABLE DRIVERS von KONDRATYEV, Dmitry A, LOPATIN, Evgeny I

Volltext bestellen

SYSTEM AND METHOD FOR IDENTIFYING A CRYPTOR THAT ENCODES FILES OF A COMPUTER SYSTEM von KONDRATYEV, Dmitry A, LOPATIN, Evgeny I

Volltext bestellen

SYSTEM AND METHOD FOR IDENTIFYING A CRYPTOR THAT ENCODES FILES OF A COMPUTER SYSTEM von KONDRATYEV, Dmitry A, LOPATIN, Evgeny I

Volltext bestellen

SYSTEM AND METHOD FOR IDENTIFYING A CRYPTOR THAT ENCODES FILES OF A COMPUTER SYSTEM von Kondratyev, Dmitry A, Lopatin, Evgeny I

Volltext bestellen

SYSTEM AND METHOD FOR IDENTIFYING A CRYPTOR THAT ENCODES FILES OF A COMPUTER SYSTEM von LOPATIN EVGENY I, KONDRATYEV DMITRY A

Volltext bestellen

Spherical Hellinger--Kantorovich Gradient Flows von Kondratyev, Stanislav, Vorotnikov, Dmitry

Volltext

Convex Sobolev inequalities related to unbalanced optimal transport von Kondratyev, Stanislav, Vorotnikov, Dmitry

Volltext

Nonlinear Fokker-Planck equations with reaction as gradient flows of the free energy von Kondratyev, Stanislav, Vorotnikov, Dmitry

Volltext

Probing and Control of Guided Exciton–Polaritons in a 2D Semiconductor-Integrated Slab Waveguide von Kondratyev, Valeriy I., Permyakov, Dmitry V., Ivanova, Tatyana V., Iorsh, Ivan V., Krizhanovskii, Dmitry N., Skolnick, Maurice S., Kravtsov, Vasily, Samusev, Anton K.

Volltext

Electrostatic Control of Nonlinear Photonic-Crystal Polaritons in a Monolayer Semiconductor von Khestanova, Ekaterina, Shahnazaryan, Vanik, Kozin, Valerii K., Kondratyev, Valeriy I., Krizhanovskii, Dmitry N., Skolnick, Maurice S., Shelykh, Ivan A., Iorsh, Ivan V., Kravtsov, Vasily

Volltext

A fitness-driven cross-diffusion system from population dynamics as a gradient flow von Kondratyev, Stanislav, Monsaingeon, Léonard, Vorotnikov, Dmitry

Volltext