Alessandro Forghieri

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2005
j3		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: Model Checking Publish/Subscribe Notification for thinkteam^®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)
c2		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: 596-603
	2004
c1		Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis: Correct Components Assembly for a Product Data Management Cooperative System. CBSE 2004: 84-99
	1989
j2		Paolo Ciampolini, Alessandro Forghieri, Anna Pierantoni, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani: Adaptive mesh generation preserving the quality of the initial grid. IEEE Trans. on CAD of Integrated Circuits and Systems 8(5): 490-500 (1989)
	1988
j1		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. on CAD of Integrated Circuits and Systems 7(2): 231-242 (1988)

Coauthor Index

Last update Sat May 25 08:07:07 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page