Macha Nikolskaïa

According to our database, Macha Nikolskaïa authored at least 3 papers between 1998 and 2001.

Collaborative distances:

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

2001

Size of OBDD representation of 2-level redundancies functions.

Macha Nikolskaïa, L. Nikolskaia

Theor. Comput. Sci., 2001

2000

Bypassing BDD construction for reliability analysis.

Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy

Inf. Process. Lett., 2000

1998

Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.

Macha Nikolskaïa, Antoine Rauzy, David James Sherman

Proceedings of the Formal Methods in Computer-Aided Design, 1998