This is an old revision of the document!
Selected Publications on Transactions and Journals
- 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.