CRESPI REGHIZZI, STEFANO
CRESPI REGHIZZI, STEFANO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
2022 Best Paper Award Runner Up - Journal of Computer Languages
2023-01-01 Borsotti, Angelo; Breveglieri, Luca; CRESPI REGHIZZI, Stefano; Morzenti, Angelo
2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-core Architectures
2010-01-01 Silvano, Cristina; Fornaciari, William; CRESPI REGHIZZI, Stefano; Agosta, Giovanni; Palermo, Gianluca; Zaccaria, Vittorio; Bellasi, Patrick; Castro, Fabrizio; Corbetta, Simone; DI BIAGIO, Andrea; Speziale, Ettore; Tartara, Michele; D., Siorpaes; H., Hübert; B., Stabernack; J., Brandenburg; M., Palkovic; P., Raghavan; C., Ykman Couvreur; A., Bartzas; S., Xydis; D., Soudris; T., Kempf; G., Ascheid; R., Leupers; H., Meyr; J., Ansari; P., Mähönen; B., Vanthournout
2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-core Architectures.
2011-01-01 Silvano, Cristina; Fornaciari, William; CRESPI REGHIZZI, Stefano; Agosta, Giovanni; Palermo, Gianluca; Zaccaria, Vittorio; Bellasi, Patrick; F., Castro; Corbetta, Simone; DI BIAGIO, Andrea; Speziale, Ettore; Tartara, Michele; D., Melpignano; J. M., Zins; D., Siorpaes; H., Huebert; B., Stabernack; J., Brandenburg; M., Palkovic; P., Ra ghavan; C., Ykman Couvreur; A., Bartzas; S., Xydis; D., Soudris; T., Kempf; G., Ascheid; R. Leupers H., Meyr; J., Ansari; P., Mahonen; e. B., Vanthournout
A CKY parser for picture grammars
2008-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo
A class of Grammars Generating Non Counting Languages
1979-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A decidability theorem for a class of vector-addition systems
1975-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A deterministic parsing algorithm for ambiguous regular expressions
2021-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
A generalized LR(1) parser for extended context-free grammars
2020-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
A highly flexible, parallel virtual machine: design and experience of ILDJIT
2010-01-01 Campanoni, Simone; Agosta, Giovanni; CRESPI REGHIZZI, Stefano; DI BIAGIO, Andrea
A language for treating graphs
1970-01-01 CRESPI REGHIZZI, Stefano; Morpurgo, R.
A parallel dynamic compiler for CIL bytecode
2008-01-01 Campanoni, Simone; Agosta, Giovanni; CRESPI REGHIZZI, Stefano
A SAT-based parser and completer for pictures specified by tiling
2008-01-01 Pradella, Matteo; CRESPI REGHIZZI, Stefano
A scalable formal method for design and automatic checking of user interfaces
2001-01-01 J., Berstel; CRESPI REGHIZZI, Stefano; G., Roussel; SAN PIETRO, Pierluigi
A scalable formal method for design and automatic checking of user interfaces
2005-01-01 J., Berstel; CRESPI REGHIZZI, Stefano; G., Roussel; SAN PIETRO, Pierluigi
A unifying approach to picture grammars
2011-01-01 Pradella, Matteo; Cherubini, Alessandra; CRESPI REGHIZZI, Stefano
ADA for multi-microprocessors
1984-01-01 M., Tedd; CRESPI REGHIZZI, Stefano; A., Natali; Eds,
Algebraic Properties of Operator Precedence Languages
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Martin, D.
Algebraic properties of structured context-free languages: old approaches and novel developments
2009-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
An Empirical Investigation Into Large-Scale Java Open Source Code Repository
2010-01-01 M., Grechanik; C., Mcmillan; L., De Ferrari; Comi, Marco; CRESPI REGHIZZI, Stefano; D., Poshyvanyk; C., Fu; Q., Xie; Ghezzi, Carlo
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES
2023-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.