An environment for DSP system development with extended abstract types, and dimensional design (PADDE). - Miquel Bertran; Frances Oller; Jordi Forga; J. A. Frau; Joan M. Espejo; A. Ripoll; J. C. Herranz; F. Alvarez; Joan Viaplana; Albert Duran; Miquel Porta; J. Ramio (ICASSP (1), 1993)

A design environment with simulation and formal verification (syr-padde). - Miquel Bertran; Felipe Alvarez-Cuevas; Joan Viaplana; Albert Duran; Daniel Cabedo; Antoni Garrell; Josep Maria Garrell i Guiu; Francesc Escudero; Miquel Nicolau; Miquel Porta; Bartomeu Palmer; Joan M. Espejo; et al. (CAMAD, 1994)

Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. - Miquel Bertran; Felipe Alvarez-Cuevas; Albert Duran (ARTS, 1997)

Integrating Formal Verification of Parallelization in the PADD/RALE Environment. - Miquel Bertran; Albert Duran; Miquel Porta; Francesc-Xavier Babot; August Climent; Miquel Nicolau (JISBD, 2002)

Development and Validation of AMANDA, a New Algorithm for Selecting Highly Relevant Regions in Molecular Interaction Fields. - Albert Duran; Guillermo C. Martínez; Manuel Pastor (J. Chem. Inf. Model., 2008)