Evgeny Cherkashin

Publications

Citations

H-Index

2009

Active since

Affiliations

Institute for System Dynamics and Control Theory(Current)

Evgeny Cherkashin is an author at Institute for System Dynamics and Control Theory specializing in formal methods, verification, and formal verification.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification

Publications per year

2009–2013

Publications

Structure of native laccase from<i>Trametes hirsuta</i>at 1.8 Å resolution

K. M. Polyakov, Elena V. Stepanova, Evgeny Cherkashin et al. · Acta Crystallographica Section D Biological Crystallography · 2009 · 61 citations

On the calculus of positively constructed formulas for automated theorem proving

Artem Davydov, A. A. Larionov, Evgeny Cherkashin · Automatic Control and Computer Sciences · 2011 · 17 citations

The calculus of positively constructed formulas, its features, strategies and implementation

A. A. Larionov, Artem Davydov, Evgeny Cherkashin · International Convention on Information and Communication Technology, Electronics and Microelectronics · 2013 · 12 citations

Problem Heuristics, Evolutionary Way, Engineering +14

Rows per page

1–3 of 3