A Fast Heuristic Algorithm for Disjunctive. - Tomas Bengtsson; Andrés Martinelli; Elena Dubrova (IWLS, 2002)

A BDD-based fast heuristic algorithm for disjoint decomposition. - Tomas Bengtsson; Andrés Martinelli; Elena Dubrova (ASP-DAC, 2003)

Disjoint-support Boolean decomposition combining functional and structural methods. - Andrés Martinelli; René Krenz; Elena Dubrova (ASP-DAC, 2004)

On relation between non-disjoint decomposition and multiple-vertex dominators. - Elena Dubrova; Maxim Teslenko; Andrés Martinelli (ISCAS (4), 2004)

Bound Set Selection and Circuit Re-Synthesis for Area/Delay Driven Decomposition. - Andrés Martinelli; Elena Dubrova (DATE, 2005)

Kauffman networks: analysis and applications. - Elena Dubrova; Maxim Teslenko; Andrés Martinelli (ICCAD, 2005)

Bound-Set Preserving ROBDD Variable Orderings May Not Be Optimum. - Maxim Teslenko; Andrés Martinelli; Elena Dubrova (IEEE Trans. Computers, 2005)

Advances in Functional Decomposition: Theory and Applications. - Andrés Martinelli (2006)