A new discretization strategy of the semiconductor equations comprising momentum and energy balance. - Alessandro Forghieri; Roberto Guerrieri; Paolo Ciampolini; Antonio Gnudi; Massimo Rudan; Giorgio Baccarani (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

Adaptive mesh generation preserving the quality of the initial grid. - Paolo Ciampolini; Alessandro Forghieri; Anna Pierantoni; Antonio Gnudi; Massimo Rudan; Giorgio Baccarani (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

Correct Components Assembly for a Product Data Management Cooperative System. - Massimo Tivoli; Paola Inverardi; Valentina Presutti; Alessandro Forghieri; Maurizio Sebastianis (CBSE, 2004)

Model Checking Publish/Subscribe Notification for thinkteam®. - Maurice H. ter Beek; Mieke Massink; Diego Latella; Stefania Gnesi; Alessandro Forghieri; Maurizio Sebastianis (FMICS, 2004)

A case study on the automated verification of groupware protocols. - Maurice H. ter Beek; Mieke Massink; Diego Latella; Stefania Gnesi; Alessandro Forghieri; Maurizio Sebastianis (ICSE, 2005)