Elena Panchenko

QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES

Ulyantsev Vladimir Igorevich, Elena Panchenko, 2018 .

Effect of stress-assisted ageing in austenite and martensite on two-way shape memory effect in [001]-oriented Co35Ni35Al30 single crystals

Elena Panchenko, A. S. Eftifeeva, Eleonora Yanushonite, 2018 .

Investigation of the two-way shape memory effect in [001]-oriented Co35Ni35Al30 single crystals

Hans Jürgen Maier, Elena Panchenko, Yuriy Chumlyakov, 2016 .