Liudmila D. Cheremisinova

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Nonlinear Equations

Signal Processor

Ultra Low Power

Top Venues

Autom. Control. Comput. Sci.

Publications

Liudmila D. Cheremisinova
Area minimization of regular structures based on solving logical equations. Autom. Control. Comput. Sci. 49 (4) (2015)
Dmitry I. Cheremisinov, Liudmila D. Cheremisinova
Low-power design of combinational CMOS networks. EWDTS (2013)
Dmitry Ya. Novikov, Liudmila D. Cheremisinova
Investigation of simulation-based verification methods for descriptions with functional indeterminacy. Autom. Control. Comput. Sci. 46 (5) (2012)
Dmitry Ya. Novikov, Liudmila D. Cheremisinova
Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability. Autom. Control. Comput. Sci. 45 (4) (2011)
Liudmila D. Cheremisinova, Dmitry Ya. Novikov
SAT-based group method for verification of logical descriptions with functional indeterminacy. EWDTS (2010)
Liudmila D. Cheremisinova, Dmitry Ya. Novikov
Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form. Autom. Control. Comput. Sci. 44 (1) (2010)
Dmitry I. Cheremisinov, Liudmila D. Cheremisinova
Programming of agents in the PRALU language. Autom. Control. Comput. Sci. 42 (4) (2008)