Albert Duran

Publication Activity (10 Years)

Years Active: 1993-2008
Publications (10 Years): 0

Publications

Albert Duran, Guillermo C. Martínez, Manuel Pastor
Development and Validation of AMANDA, a New Algorithm for Selecting Highly Relevant Regions in Molecular Interaction Fields. J. Chem. Inf. Model. 48 (9) (2008)
Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Integrating Formal Verification of Parallelization in the PADD/RALE Environment. JISBD (2002)
Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. ARTS (1997)
Miquel Bertran, Felipe Alvarez-Cuevas, Joan Viaplana, Albert Duran, Daniel Cabedo, Antoni Garrell, Josep M. Garrell, Francesc Escudero, Miquel Nicolau, Miquel Porta, Bartomeu Palmer, Joan M. Espejo, Frances Oller, Jordi Forga, Josep M. Solanas
A design environment with simulation and formal verification (syr-padde). CAMAD (1994)
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
An environment for DSP system development with extended abstract types, and dimensional design (PADDE). ICASSP (1) (1993)