Alessandro Forghieri

Adaptive mesh generation preserving the quality of the initial grid

Paolo Ciampolini, Antonio Gnudi, Giorgio Baccarani, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A case study on the automated verification of groupware protocols

Diego Latella, Mieke Massink, Maurice H. ter Beek, 2005, ICSE.

Correct Components Assembly for a Product Data Management Cooperative System

Paola Inverardi, Valentina Presutti, Maurizio Sebastianis, 2004, CBSE.

Model Checking Publish/Subscribe Notification for thinkteam®

Diego Latella, Mieke Massink, Maurice H. ter Beek, 2005, Electron. Notes Theor. Comput. Sci..

A new discretization strategy of the semiconductor equations comprising momentum and energy balance

Roberto Guerrieri, Paolo Ciampolini, Antonio Gnudi, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Helicopter's Vibroacoustic Solutions Using Hybrid SEA Validated Model

Alessandro Forghieri, Fausto Cenedese, A Costa, 2007 .