Authors: Pastor, E Cortadella, J Roig, O

Citation: E. Pastor et al., Symbolic analysis of bounded Petri nets, IEEE COMPUT, 50(5), 2001, pp. 432-448

Authors: Sanchez, F Cortadella, J Badia, RM

Citation: F. Sanchez et al., Optimal exploration of the unrolling degree for software pipelining, J SYST ARCH, 45(6-7), 1999, pp. 505-517

Authors: Cortadella, J Kishinevsky, M Kondratyev, A Lavagno, L Pastor, E Yakovlev, A

Citation: J. Cortadella et al., Decomposition and technology mapping of speed-independent circuits using Boolean relations, IEEE COMP A, 18(9), 1999, pp. 1221-1236

Authors: Kondratyev, A Cortadella, J Kishinevsky, M Lavagno, L Yakovlev, A

Citation: A. Kondratyev et al., Logic decomposition of speed-independent circuits, P IEEE, 87(2), 1999, pp. 347-362

Authors: Pastor, E Cortadella, J Kondratyev, A Roig, O

Citation: E. Pastor et al., Structural methods for the synthesis of speed-independent circuits, IEEE COMP A, 17(11), 1998, pp. 1108-1129