S. Campanoni, A. Di Biagio, G. Agosta and S. Crespi Reghizzi: A highly flexible, parallel virtual machine: design and experience of ILDJIT. To appear in Software – Practice and Experience, accepted June 2009.

M. Pradella and S. Crespi Reghizzi: A SAT-based parser and completer for pictures specified by tiling, Pattern Recognition, Volume 41, Issue 2, February 2008, pages 555-566.

S. Crespi Reghizzi and M. Pradella:A CKY parser for picture grammars, Information Processing Letters, Volume 105, 213-217, March 2008.

G. Agosta, G. Palermo and C. Silvano. Efficient Architecture/Compiler Co-Exploration Using Analytical Models. In Design Automation for Embedded Systems, Vol 11, No 1, Mar 2006, Springer.

Anna Beletska. “Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations”. In Electronic Modelling, no.5, (2006)

Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro: A scalable formal method for design and automatic checking of user interfaces. ACM Trans. Softw. Eng. Methodol. 14(2): 124-167 (2005)

Giovanni Agosta, Stefano Crespi Reghizzi, Gerlando Falauto, Martino Sykora. “Just-In-Time Scheduling Translation for Parallel Processors”. In Scientific Programming 3(13), 2005, IOS Press

S. Crespi Reghizzi and M. Pradella, Tile rewriting grammars and picture languages, Theoretical Computer Science, Vol. 340/2 pp 257-272, 2005.