Alessandro Forghieri

Publication Activity (10 Years)

Years Active: 1988-2005
Publications (10 Years): 0

Publications

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
A case study on the automated verification of groupware protocols. ICSE (2005)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
. Electron. Notes Theor. Comput. Sci. 133 (2005)
Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis
Correct Components Assembly for a Product Data Management Cooperative System. CBSE (2004)
Paolo Ciampolini, Alessandro Forghieri, Anna Pierantoni, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani
Adaptive mesh generation preserving the quality of the initial grid. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (5) (1989)
Alessandro Forghieri, Roberto Guerrieri, Paolo Ciampolini, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani
A new discretization strategy of the semiconductor equations comprising momentum and energy balance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (2) (1988)