PRADELLA, MATTEO
PRADELLA, MATTEO
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
Toward a theory of input-driven locally parsable languages
2017 Stefano CrespiReghizzi;Violetta Lonati;Dino Mandrioli;Matteo Pradella
Bounded satisfiability checking of metric temporal logic specifications
2013 Pradella M.; Morzenti A.; San Pietro P.
A unifying approach to picture grammars
2011 Pradella M.; Cherubini A.; Crespi Reghizzi S.
Strategies to scan pictures with automata based on Wang tiles
2011 Lonati, V; Pradella, M
Deterministic recognizability of picture languages with Wang automata
2010 Lonati, V; Pradella, M
Comments on Temporal Logics for Real-Time System Specification
2009 C. A. Furia; M. Pradella; M. Rossi
A CKY Parser for Picture Grammars
2008 S. Crespi Reghizzi; M. Pradella
A SAT-Based Parser and Completer for Pictures Specified by Tiling
2008 Pradella, M; CRESPI REGHIZZI, Stefano
Model checking temporal metric specifications with Trio2Promela
2007 D. Bianculli; P. Spoletini; A. Morzenti; M. Pradella; P. San Pietro
Comments on An interval logic for Real-Time System specification
2006 A Furia, C; Morzenti, A; Pradella, M; G Rossi, M
Tiling Systems versus Tile Rewriting Grammars
2006 Cherubini, A; CRESPI REGHIZZI, Stefano; Pradella, M; San Pietro, P
A UML-compatible formal language for system architecture description, SDL
2005 Pradella, M; Mandrioli, D; Rossi, M
Tile Rewriting Grammars and Picture Languages
2005 S. Crespi Reghizzi; M. Pradella
A Formal Approach for Designing CORBA based Applications
2003 Coenporisini, A; Pradella, M; Rossi, M; Mandrioli, D
Associative Definition of Programming Languages, Computer Languages
2001 S. Crespi Reghizzi; M. Pradella; P. San Pietro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Toward a theory of input-driven locally parsable languages | 1-gen-2017 | Stefano CrespiReghizzi;Violetta Lonati;Dino Mandrioli;Matteo Pradella | |
| Bounded satisfiability checking of metric temporal logic specifications | 1-gen-2013 | Pradella M.; Morzenti A.; San Pietro P. | |
| A unifying approach to picture grammars | 1-gen-2011 | Pradella M.; Cherubini A.; Crespi Reghizzi S. | |
| Strategies to scan pictures with automata based on Wang tiles | 1-gen-2011 | Lonati, V; Pradella, M | |
| Deterministic recognizability of picture languages with Wang automata | 1-gen-2010 | Lonati, V; Pradella, M | |
| Comments on Temporal Logics for Real-Time System Specification | 1-gen-2009 | C. A. Furia; M. Pradella; M. Rossi | |
| A CKY Parser for Picture Grammars | 1-gen-2008 | S. Crespi Reghizzi; M. Pradella | |
| A SAT-Based Parser and Completer for Pictures Specified by Tiling | 1-gen-2008 | Pradella, M; CRESPI REGHIZZI, Stefano | |
| Model checking temporal metric specifications with Trio2Promela | 1-gen-2007 | D. Bianculli; P. Spoletini; A. Morzenti; M. Pradella; P. San Pietro | |
| Comments on An interval logic for Real-Time System specification | 1-gen-2006 | A Furia, C; Morzenti, A; Pradella, M; G Rossi, M | |
| Tiling Systems versus Tile Rewriting Grammars | 1-gen-2006 | Cherubini, A; CRESPI REGHIZZI, Stefano; Pradella, M; San Pietro, P | |
| A UML-compatible formal language for system architecture description, SDL | 1-gen-2005 | Pradella, M; Mandrioli, D; Rossi, M | |
| Tile Rewriting Grammars and Picture Languages | 1-gen-2005 | S. Crespi Reghizzi; M. Pradella | |
| A Formal Approach for Designing CORBA based Applications | 1-gen-2003 | Coenporisini, A; Pradella, M; Rossi, M; Mandrioli, D | |
| Associative Definition of Programming Languages, Computer Languages | 1-gen-2001 | S. Crespi Reghizzi; M. Pradella; P. San Pietro |