Albert Duran

According to our database, Albert Duran authored at least 5 papers between 1993 and 2008.

Collaborative distances:

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

2008

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

2002

Integrating Formal Verification of Parallelization in the PADD/RALE Environment.

Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

1997

Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.

Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1994

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, Frances Oller, Jordi Forga, Josep M. Solanas

Proceedings of the Fifth IEEE International Workshop on Computer-Aided Modeling, 1994

1993

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

Proceedings of the IEEE International Conference on Acoustics, 1993