Felipe Alvarez-Cuevas

According to our database, Felipe Alvarez-Cuevas authored at least 3 papers between 1993 and 1997.

Collaborative distances:

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

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

Voice synchronization in packet switching networks.

Felipe Alvarez-Cuevas, Miquel Bertran, Francesco Oller, Josep M. Selga

IEEE Netw., 1993