Programming of agents in the PRALU language. - Dmitry I. Cheremisinov; Liudmila D. Cheremisinova (Autom. Control. Comput. Sci., 2008)

SAT-based group method for verification of logical descriptions with functional indeterminacy. - Liudmila D. Cheremisinova; Dmitry Ya. Novikov (EWDTS, 2010)

Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form. - Liudmila D. Cheremisinova; Dmitry Ya. Novikov (Autom. Control. Comput. Sci., 2010)

Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability. - Dmitry Ya. Novikov; Liudmila D. Cheremisinova (Autom. Control. Comput. Sci., 2011)

Investigation of simulation-based verification methods for descriptions with functional indeterminacy. - Dmitry Ya. Novikov; Liudmila D. Cheremisinova (Autom. Control. Comput. Sci., 2012)

Low-power design of combinational CMOS networks. - Dmitry I. Cheremisinov; Liudmila D. Cheremisinova (EWDTS, 2013)

Area minimization of regular structures based on solving logical equations. - Liudmila D. Cheremisinova (Autom. Control. Comput. Sci., 2015)