CRESPI REGHIZZI, STEFANO
CRESPI REGHIZZI, STEFANO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
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; CRESPI REGHIZZI, Stefano; Morzenti, Angelo
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
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
Algebraic Properties of Operator Precedence Languages
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Martin, D.
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES
2023-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
Associative definition of programming languages
2001-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
Associative languages descriptions
2002-01-01 Cherubini, Alessandra; CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Basi, problemi e prospettive dell'elaborazione automatica del linguaggio naturale
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Beyond operator-precedence grammars and languages
2020-01-01 Crespi Reghizzi, S.; Pradella, M.
Breadth and depth grammars and Deque automata
1990-01-01 Cherubini, Alessandra; Citrini, Claudio; CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Consensual languages and matching finite-state computations
2011-01-01 SAN PIETRO, Pierluigi; CRESPI REGHIZZI, Stefano
Counter machines, Petri Nets, and consensual computation
2017-01-01 Crespi Reghizzi, S.; San Pietro, P.
Deque automata, languages, and planar graph representations
2020-01-01 Crespi Reghizzi, S.; San Pietro, P.