Liudmila D. Cheremisinova

According to our database, Liudmila D. Cheremisinova authored at least 7 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2015

Area minimization of regular structures based on solving logical equations.

Liudmila D. Cheremisinova

Autom. Control. Comput. Sci., 2015

2013

Low-power design of combinational CMOS networks.

Dmitry I. Cheremisinov, Liudmila D. Cheremisinova

Proceedings of the East-West Design & Test Symposium, 2013

2012

Investigation of simulation-based verification methods for descriptions with functional indeterminacy.

Dmitry Ya. Novikov, Liudmila D. Cheremisinova

Autom. Control. Comput. Sci., 2012

2011

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

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

SAT-based group method for verification of logical descriptions with functional indeterminacy.

Liudmila D. Cheremisinova, Dmitry Ya. Novikov

Proceedings of the 2010 East-West Design & Test Symposium, 2010

2008

Programming of agents in the PRALU language.

Dmitry I. Cheremisinov, Liudmila D. Cheremisinova

Autom. Control. Comput. Sci., 2008